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.
File:OMCW chapter01 AssertionsConstraintsOCL.York.pdf
OMCW_chapter01_AssertionsConstraintsOCL.York.pdf (file size: 388 KB, MIME type: application/pdf)
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: