Specification Analysis
Evaluation of each safety-critical
software requirement? with respect to a list of qualities such as completeness, correctness, consistency, testability, robustness, integrity, reliability, usability, flexibility, maintainability, portability, interoperability, accuracy, auditability, performance, internal instrumentation, security and training.
--
PatrickEgan? - 18 Dec 2002