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