Is Engineering Software Amenable to Formal Specification?
John W. Baugh Jr.Published in: Larch (1992)
Keyphrases
- formal specification
- object oriented design
- software components
- formal methods
- specification language
- model checking
- specification languages
- software systems
- data abstraction
- process algebra
- reverse engineering
- software development
- software engineering
- software design
- model checker
- concurrent systems
- software process
- artificial intelligence
- software maintenance
- temporal logic
- user interface
- information systems
- formal specification language
- software architecture
- building blocks
- query language
- cooperative
- multi agent
- real world
- protocol specification