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