600.436 High-
Assurance Systems
Fall 01/Introduction
15
Requirements Documentation
User
Developer
Evaluator
Requirements
(Purpose)
Evidence
(Product)
Validation
(Proof)
