600.436 High-Assurance Systems
Fall 01/Introduction
33
Representation Correspondence
¨Under the CC, developers are required to provide traceability matrices between all:
–ST and Functional Specification
–Functional Specification and SPM
–Functional Specification and HLD
–HLD and LLD
–LLD and Implementation