HOL-OCL
/
ocl-examples
Archived
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Added the famous royals and loyals example.

This commit is contained in:
Achim D. Brucker 2016-10-02 14:21:55 +01:00
parent b889599e11
commit 98ec7ee186
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
README.md
View File

@ -5,6 +5,9 @@ OCL in the context of UML as well as SecureUML models. Most of the
models were developed in the context of the original HOL-OCL and
SecureUML.
## Models
* **Royals and Loyals:** The famous royals-and-loyals example.
## Team
* [Achim D. Brucker](http://www.brucker.ch/)