Engineering requirements for production quality verification systems.
Stephen D. CrockerPublished in: ACM SIGSOFT Softw. Eng. Notes (1985)
Keyphrases
- engineering systems
- management system
- artificial intelligence
- quality control
- engineering design
- retrieval systems
- complex systems
- computer systems
- model checking
- high quality
- quality assessment
- information systems
- higher quality
- quality aware
- building blocks
- data quality
- requirements engineering
- product quality
- asynchronous circuits
- design criteria
- design requirements
- neural network
- automated verification