An Object-Oriented Executable Requirements Specification Language.
Oscar BarrosGermán PavezPublished in: DEXA (1991)
Keyphrases
- specification language
- formal specification
- requirements specification
- programming language
- symbolic execution
- description language
- object oriented
- model checking
- software environment
- reverse engineering
- user interface
- functional requirements
- workflow models
- artificial intelligence
- domain specific
- search space
- information systems