Toward Verification and Validation of Software Requirements.
G. M. ShiIsao MiyamotoPublished in: SEKE (1990)
Keyphrases
- software requirements
- requirements specification
- software systems
- systems development
- software development
- functional requirements
- software architecture
- development process
- requirements engineering
- software engineering
- knowledge based systems
- model checking
- written in natural language
- face verification
- machine learning
- formal methods
- formal verification
- intrusion detection
- data mining