Automating software feature verification.
Gerard J. HolzmannMargaret H. SmithPublished in: Bell Labs Tech. J. (2000)
Keyphrases
- software design
- user interface
- software architecture
- model checking
- software systems
- software tools
- software development
- feature vectors
- commercial software
- computer systems
- high assurance
- hardware designs
- image features
- formal verification
- software packages
- computer vision
- verification method
- functional verification
- software evolution
- software package
- feature values
- software quality
- software maintenance
- software developers
- development process
- software engineering