-
Notifications
You must be signed in to change notification settings - Fork 1
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Extend Core Requirement Traceability Model with Implementation Sort and Satisfies relation #93
Labels
Comments
ferhaterata
changed the title
Extend Core Requirement Traceability Model with Implementation Sort
Extend Core Requirement Traceability Model with Implementation Sort and Satisfies relation
May 26, 2017
ferhaterata
added a commit
to ModelWriter/Demonstrations
that referenced
this issue
May 29, 2017
ferhaterata
added a commit
to ModelWriter/Demonstrations
that referenced
this issue
May 29, 2017
Object Oriented Programs can be treated as requirement test data Interface Implementation, Inheritance <- refines |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Sort Implementation satisfies Sort Requirement
Develop an Alloy Abstraction for your axioms
DO-178C implies that:
The text was updated successfully, but these errors were encountered: