Towards Automation in Software Quality Control: The Case of Products Described by Formal Grammars.
Adriana BicegoM. JacoboneMarco MaiocchiU. PoggiPublished in: IFIP Congress (1986)
Keyphrases
- quality control
- product quality
- quality assurance
- software product
- machine vision
- manufacturing systems
- visual languages
- software development
- manufacturing process
- software vendors
- software development life cycle
- source code
- product line
- user interface
- automated visual inspection
- oil field
- formal methods
- software architecture
- software systems
- open source
- product development
- formal language
- software maintenance
- quality management
- development process
- multi view
- surface inspection
- cooperative