Improvement of Design Specifications with Inspection and Testing.

Dietmar Winkler Bernhard Riedl Stefan Biffl

Published in: EUROMICRO-SEAA (2005)

Keyphrases

design process
computer vision
knowledge based systems
formal verification
database
software engineering
machine vision
design decisions
formal methods
defect detection
design requirements