600.436
High-Assurance Systems
Fall 01/Introduction
12
This May Change…
¨Assurance is raising the bar for
what constitutes
“acceptable” software
¨Software liability will create standards of practice
¨Component
structure makes the process investment reusable
¨The
per-component overhead is acceptable