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

Fixed typo.

This commit is contained in:
Achim D. Brucker 2016-10-11 21:53:34 +01:00
parent 00cac90647
commit f41a0f3afd
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -14,7 +14,7 @@ were developed in the context of the HOL-OCL and SecureUML projects.
* **[ISP:](./isp)** A simple example of an ISP.
* **[Mini Company:](./mini_company)** A tiny company example modelling a management hierarchy.
* **[Priority Queue:](./priority_queue)** A simple priority queue model.
* **[Red-Black-Tree:](./rbt)** A UML/OCL model of red-black-trees.
* **[Red-Black Tree:](./rbt)** A UML/OCL model of red-black trees.
* **[Royals and Loyals:](./royals_and_loyals)** The famous royals-and-loyals example.
* **[Simple:](./simple)** A very simple toy example showing a few OCL syntax variations.
* **[Simple Chair:](./simple_chair)** A simple conference management system.