HOL-OCL
/
ocl-examples
Archived
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
A collection of (toy) examples using OCL.
This repository has been archived on 2024-04-22. You can view files and clone it, but cannot push or open issues or pull requests.
15 Commits 1 Branch 0 Tags 518 KiB
Go to file
Achim D. Brucker 121a8e142a Added class diagram as PDF. 2016-10-03 00:50:41 +01:00
calendar Added class diagram as PDF. 2016-10-03 00:50:41 +01:00
company Added the company model. 2016-10-02 21:46:22 +01:00
isp Added ISP example. 2016-10-02 22:10:25 +01:00
royals_and_loyals Only link to main directory. 2016-10-02 14:21:22 +01:00
stack Added stack example. 2016-10-02 14:29:20 +01:00
LICENSE Changed default license. 2016-10-02 13:57:54 +01:00
README.md Added calendar example. 2016-10-03 00:40:59 +01:00

README.md

ocl-examples

A collection of (toy) examples using OCL that demonstrate the use of OCL in the context of UML as well as SecureUML models. Most of the models were developed in the context of the HOL-OCL and SecureUML projects.

Models

Team

License

This project is licensed under a 2-clause BSD license.

Publications