![]() | TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.4.A – Teil 1DocID: 1rnyk - View Document |
![]() | Featherweight OCL A study for the consistent semantics of OCL 2.3 in HOL Achim D. Brucker Burkhart Wolff∗DocID: 1rdaI - View Document |
![]() | Dynamic validation of OCL constraints with mOdCL Manuel Rold´an Francisco Dur´anDocID: 1r8Xz - View Document |
![]() | Electronic Communications of the EASST Volume ?? (2011) Proceedings of the Workshop on OCL and Textual Modelling (OCL 2011)DocID: 1qVzt - View Document |
![]() | Rules – Models - Data OCL Workshop, September 2012 Experiences using OCL for Business Rules on Financial Data Author: David GarryDocID: 1qOnc - View Document |