An example of formal specification as an aid to design and development.
Robert B. TerwilligerMark J. MaybeeLeon J. OsterweilPublished in: IWSSD (1989)
Keyphrases
- formal specification
- object oriented design
- design process
- formal methods
- design methodology
- knowledge based systems
- specification languages
- software design
- user interface
- model checking
- design methodologies
- software engineering
- case study
- design tools
- artificial intelligence
- process algebra
- code generation
- design patterns
- specification language
- databases
- development process
- software architecture
- open source
- machine learning