The Embedded Software of an Electricity Meter: An Experience in Using Formal Methods in an Industrial Project.
André ArnoldDidier BégayJean-Pierre RadouxPublished in: Sci. Comput. Program. (1997)
Keyphrases
- formal methods
- embedded software
- development projects
- development lifecycle
- embedded systems
- software engineering
- software development
- software architecture
- knowledge based systems
- model checking
- software projects
- artificial intelligence
- formal specification
- development process
- project management
- database development
- sequence diagrams
- real world
- expert systems
- case study