Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "File:OMCW chapter01 AssertionsConstraintsOCL.York.pdf"
(This lecture explains the usage of OCL in specifying assertions and constraints in the context of design by contract.) |
|||
| Line 1: | Line 1: | ||
| + | ==Assertions, Constraints, and OCL== | ||
This lecture explains the usage of OCL in specifying assertions and constraints in the context of design by contract. | This lecture explains the usage of OCL in specifying assertions and constraints in the context of design by contract. | ||
Latest revision as of 15:52, 18 October 2018
Assertions, Constraints, and OCL
This lecture explains the usage of OCL in specifying assertions and constraints in the context of design by contract.
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Dimensions | User | Comment | |
|---|---|---|---|---|
| current | 15:47, 18 October 2018 | (388 KB) | Dwagelaar.gmail.com (Talk | contribs) | This lecture explains the usage of OCL in specifying assertions and constraints in the context of design by contract. |
- You cannot overwrite this file.
File usage
The following page links to this file: