HOL-OCL
/
ocl-examples
Archived
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
45 Commits 1 Branch 0 Tags 518 KiB
Commit Graph

45 Commits

Author SHA1 Message Date
Achim D. Brucker bf7e22a930 Added master repository URL. 2017-12-07 21:53:00 +00:00
Achim D. Brucker 394d570c0c Added SPDX identifier. 2017-12-06 19:25:16 +00:00
Achim D. Brucker fb448f4d2e Fixed typos. 2016-11-02 23:30:14 +00:00
Achim D. Brucker d2ffabaf3d Enabled derive example. 2016-11-01 23:05:53 +00:00
Achim D. Brucker d8968257da Fixed typo. 2016-10-23 18:06:47 +01:00
Achim D. Brucker f41a0f3afd Fixed typo. 2016-10-11 21:53:34 +01:00
Achim D. Brucker 00cac90647 Fixed typo. 2016-10-06 08:27:31 +01:00
Achim D. Brucker 5c5c4f4e27 Minor cleanup. 2016-10-06 00:14:34 +01:00
Achim D. Brucker c51543c886 Cleanup: outdated commented stuff. 2016-10-05 08:01:04 +01:00
Achim D. Brucker d031448347 Cleanup: outdated commented stuff. 2016-10-05 08:00:59 +01:00
Achim D. Brucker e49a398051 Cleanup: outdated commented stuff. 2016-10-05 08:00:53 +01:00
Achim D. Brucker b389a6cc01 Cleanup: outdated commented stuff. 2016-10-05 08:00:47 +01:00
Achim D. Brucker 5c904d5109 Cleanup: outdated commented stuff. 2016-10-05 08:00:42 +01:00
Achim D. Brucker ac496284b5 Cleanup: outdated commented stuff. 2016-10-05 08:00:37 +01:00
Achim D. Brucker f014b94444 Cleanup: outdated commented stuff. 2016-10-05 08:00:33 +01:00
Achim D. Brucker eeaa8bc034 Cleanup: outdated commented stuff. 2016-10-05 08:00:29 +01:00
Achim D. Brucker 1ab1de4a5e Cleanup: outdated commented stuff. 2016-10-05 08:00:24 +01:00
Achim D. Brucker f10028567c Red-Black-Tree model. 2016-10-05 01:26:15 +01:00
Achim D. Brucker 7d2bd3c766 The InvoicingOrders system. 2016-10-05 00:38:00 +01:00
Achim D. Brucker f8cebe36f0 Added a simple conference management example. 2016-10-04 10:23:37 +01:00
Achim D. Brucker 87f190814e Added simple priority queue. 2016-10-04 10:12:05 +01:00
Achim D. Brucker 91a8269eac Added simple example showing various OCL syntax variations. 2016-10-04 00:40:27 +01:00
Achim D. Brucker 66d5335b2f Fixed typo. 2016-10-03 08:37:05 +01:00
Achim D. Brucker d1e15667b6 Added a simple filesystem model. 2016-10-03 08:11:30 +01:00
Achim D. Brucker a6ffc7838e Added simple calender model using ControllerUML. 2016-10-03 06:39:32 +01:00
Achim D. Brucker f1165b437a Added simple digraph example. 2016-10-03 06:08:44 +01:00
Achim D. Brucker 7b5fbbf669 Added tiny management hierarchy example. 2016-10-03 05:58:56 +01:00
Achim D. Brucker 37544cf650 Added simple vehicle example. 2016-10-03 04:31:24 +01:00
Achim D. Brucker 254d25ed97 Added small health system example. 2016-10-03 04:19:55 +01:00
Achim D. Brucker e91414dc0d Added ebank example. 2016-10-03 01:09:25 +01:00
Achim D. Brucker 121a8e142a Added class diagram as PDF. 2016-10-03 00:50:41 +01:00
Achim D. Brucker f0445417c3 Added calendar example. 2016-10-03 00:40:59 +01:00
Achim D. Brucker 950f64242f Updated description. 2016-10-02 22:11:08 +01:00
Achim D. Brucker a869230a14 Added ISP example. 2016-10-02 22:10:25 +01:00
Achim D. Brucker 046b105301 Added the company model. 2016-10-02 21:46:22 +01:00
Achim D. Brucker 2806808761 Added stack example. 2016-10-02 14:29:20 +01:00
Achim D. Brucker fb0e696818 Link to example. 2016-10-02 14:23:42 +01:00
Achim D. Brucker 98ec7ee186 Added the famous royals and loyals example. 2016-10-02 14:21:55 +01:00
Achim D. Brucker b889599e11 Only link to main directory. 2016-10-02 14:21:22 +01:00
Achim D. Brucker dd01af52d4 Added the famous royals and loyals example. 2016-10-02 14:19:17 +01:00
Achim D. Brucker 84edb3fbb7 Changed default license. 2016-10-02 13:57:54 +01:00
Achim D. Brucker 6ed3522a18 Added publications. 2016-10-02 13:45:32 +01:00
Achim D. Brucker 69b83143a4 Improved description. 2016-10-02 13:35:24 +01:00
Achim D. Brucker 61f87c509e Added team/license information. 2016-10-02 11:23:56 +01:00
Achim D. Brucker 9a0376b3e0 initial commit 2016-10-02 12:07:16 +02:00