Keyphrases
- written in natural language
- software development
- software design
- software systems
- reactive systems
- control flow
- functional requirements
- software maintenance
- specification language
- formal specification
- software tools
- software architecture
- computer systems
- high level
- case study
- development process
- real time
- software package
- source code
- operational semantics
- software platform
- information retrieval
- requirements specification
- data sets