Book review: Software prototyping, formal methods and VDM by Sharam Hekmatpour and Darrel Ince (Addison-Wesley, 1988).
Lindsay GrovesPublished in: ACM SIGCHI Bull. (1990)
Keyphrases
- formal methods
- safety critical
- formal analysis
- development lifecycle
- knowledge based systems
- artificial intelligence
- software engineering
- model checking
- formal specification
- provably correct
- reactive systems
- process algebra
- model checker
- modeling language
- formal specification language
- software architecture
- development process
- real world
- temporal properties
- software development
- high level
- information systems
- machine learning