Formal methods and formal description techniques: their understanding, development, support and use in the context of ESPRIT.
R. JacquartPublished in: FJCC (1987)
Keyphrases
- formal methods
- knowledge based systems
- formal specification
- safety critical
- software engineering
- formal analysis
- development lifecycle
- decision support
- support systems
- future development
- active participation
- model checking
- model checker
- end users
- theoretical and practical implications
- artificial intelligence
- tool support
- design tools
- context aware
- case study