Keyphrases
- specification language
- requirements specification
- software requirements
- formal specification
- programming language
- description language
- functional requirements
- software systems
- software development
- software architecture
- systems development
- requirements engineering
- cooperative
- software environment
- orders of magnitude
- model checking
- knowledge based systems
- general purpose
- user interface
- relational databases
- decision making
- written in natural language