600.436
High-Assurance Systems
Fall 01/Introduction
14
By The Way…
¨Despite appearances,
documentation requirements
need not constrain process
¨Process
is how you create
¨Documentation
is how you explain what you have created