600.436 High-
Assurance Systems
Fall 01/Introduction
13
Modeling Today’s Reality
¨
Build it, make it work, ship it
¨
Back-fill the support documents for
maintainance
¨
Then enter the more conventional process
cycle.