Book Review: Larch: Languages and Toole for Formal Specification by John V. Guttag and James J. Horning.
William M. WaitePublished in: ACM SIGOPS Oper. Syst. Rev. (1993)
Keyphrases
- formal specification
- specification languages
- model checking
- object oriented design
- specification language
- data abstraction
- process algebra
- concurrent systems
- reverse engineering
- formal methods
- programming language
- temporal logic
- software components
- model checker
- protocol specification
- real world
- fuzzy logic
- relational databases
- information technology
- database systems
- artificial intelligence