First Page | Document Content | |
---|---|---|
![]() Date: 2014-11-03 12:05:44Unified Modeling Language Systems engineering Metamodeling QVT Model-driven engineering Entityrelationship model Object Constraint Language ATLAS Transformation Language | Source URL: alfa.di.uminho.ptDownload Document from Source WebsiteFile Size: 505,72 KBShare Document on Facebook |
![]() | 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 |