600.436 High-Assurance
Systems
Fall 01/System Security Realization
57
Stepwise Refinement
¨Also
Called Top-Down Development
¨Goal
Is To Develop System As A Series of Progressively Less Abstract
Representations – With Source Code As the Least Abstract Representation
¨Implicitly
Assumed Approach In CC