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-06 08:27:31 +01:00
parent 5c5c4f4e27
commit 00cac90647
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
README.md
View File

@ -1,8 +1,7 @@
# ocl-examples # ocl-examples
A collection of (toy) examples using OCL that demonstrate the use of A collection of (toy) examples that demonstrate the use of OCL in
OCL in the context of UML as well as SecureUML models. Most of the the context of UML as well as SecureUML models. Most of the models
models were developed in the context of the HOL-OCL and SecureUML were developed in the context of the HOL-OCL and SecureUML projects.
projects.
## Models ## Models
* **[Controller Calendar:](./controller_calendar)** A simple calendar/meeting model using ControllerUML. * **[Controller Calendar:](./controller_calendar)** A simple calendar/meeting model using ControllerUML.