Using the B Formal Approach for Incremental Specification Design of Interactiv Systems.
Yamine Aït AmeurPatrick GirardFrancis JambonPublished in: EHCI (1998)
Keyphrases
- formal methods
- highly modular
- design criteria
- building blocks
- knowledge based systems
- design issues
- high level
- specification languages
- distributed systems
- formal languages
- reactive systems
- search engine
- formal specification
- software design
- embedded systems
- requirements specification
- computer aided
- complex systems
- software systems
- expert systems
- information systems