Formal Specifications of User Requirements.
Robert G. ClarkAna M. D. MoreiraPublished in: Autom. Softw. Eng. (1999)
Keyphrases
- user requirements
- formal specification
- model checking
- object oriented design
- specification languages
- end users
- specification language
- reverse engineering
- formal methods
- process algebra
- concurrent systems
- personalized services
- design methodology
- formal specification language
- software components
- temporal logic
- distributed systems
- object oriented
- multi agent systems
- database systems
- high level
- artificial intelligence