Extend Core Requirement Traceability Model with Implementation Sort and Satisfies relation

[ferhaterata]

Sort Implementation satisfies Sort Requirement

Develop an Alloy Abstraction for your axioms

DO-178C implies that:

Verification ensures that:

• All system requirements have been developed into software requirements that satisfy those system requirements
• Software requirements have been developed into a software architecture that satisfies those requirements
• The source code satisfies the software requirements and the architecture
• Executable code derived from the source code satisfies the software requirements

[ferhaterata]

Object Oriented Programs can be treated as requirement test data

Interface Implementation, Inheritance <- refines
Import <- requires
Package, namespace <- contains
Method Call <- requires