| 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 |
|||||||||
|
|
| 600.436 High- |
|
| Assurance
Systems |
|
| Fall
01/Introduction |
| 33 |