TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software - ISO standards - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2012-02-20 08:24:14 Unified 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 1 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Download Document from Source Website File Size: 1,65 MB Share 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 1 DocID: 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´an DocID: 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 Garry DocID: 1qOnc - View Document