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.
14 Commits 1 Branch 0 Tags 518 KiB
Go to file
Achim D. Brucker f0445417c3 Added calendar example. 2016-10-03 00:40:59 +01:00
calendar Added calendar example. 2016-10-03 00:40:59 +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