The Embedded Software of an Electrical Meter: An Experiment in Using Formal Methods in an Industrial Project.
André ArnoldDidier BégayJean-Pierre RadouxPublished in: AMAST (1996)
Keyphrases
- formal methods
- embedded software
- development projects
- model checking
- development lifecycle
- software architecture
- software development
- software engineering
- embedded systems
- knowledge based systems
- project management
- formal specification
- development process
- software projects
- artificial intelligence
- project managers
- sequence diagrams
- case study
- real world
- databases
- database
- knowledge acquisition
- software systems
- open source
- low cost
- active rules
- real time