A Synthesis of Evaluation Criteria for Software Specifications and Specification Techniques.
Amir A. KhwajaJoseph E. UrbanPublished in: Int. J. Softw. Eng. Knowl. Eng. (2002)
Keyphrases
- evaluation criteria
- control flow
- reactive systems
- formal specification
- requirements specification
- specification language
- written in natural language
- evaluation methods
- data flow
- transition systems
- evaluation process
- software systems
- high level
- formal methods
- operational semantics
- software development
- software architecture
- software design
- model checking
- software requirements
- code generation
- protocol specification
- artificial neural networks
- active learning
- program synthesis
- information extraction
- software components
- unit testing
- source code
- machine learning