Automated conversion from requirements documentation to an object-oriented formal specification language.
Beum-Seuk LeeBarrett R. BryantPublished in: SAC (2002)
Keyphrases
- formal specification language
- object oriented
- written in natural language
- temporal logic
- fully automated
- computer aided
- formal methods
- semi automated
- data sets
- databases
- uml models
- tool support
- legacy systems
- application specific
- neural network
- database
- requirements engineering
- functional requirements
- semi automatic
- information retrieval
- user interface
- decision trees