First Page | Document Content | |
---|---|---|
Date: 2012-02-20 08:24:14Unified Modeling Language Software engineering Computing ISO standards Scientific modeling Data modeling Meta-Object Facility Metamodeling KM3 Object Constraint Language Generic Modeling Environment Semantics | 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 1Add to Reading ListSource URL: spes2020.informatik.tu-muenchen.deDownload Document from Source WebsiteFile Size: 1,65 MBShare 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 |