1![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 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](https://www.pdfsearch.io/img/0ca83b5a725d0873d7ce7fc0c6248773.jpg) | Add to Reading ListSource URL: spes2020.informatik.tu-muenchen.deLanguage: English - Date: 2012-02-20 08:24:14
|
---|
2![Featherweight OCL A study for the consistent semantics of OCL 2.3 in HOL Achim D. Brucker Burkhart Wolff∗ Featherweight OCL A study for the consistent semantics of OCL 2.3 in HOL Achim D. Brucker Burkhart Wolff∗](https://www.pdfsearch.io/img/e09539c375189f8e16af2e954c969988.jpg) | Add to Reading ListSource URL: st.inf.tu-dresden.deLanguage: English - Date: 2012-09-25 06:20:13
|
---|
3![Dynamic validation of OCL constraints with mOdCL Manuel Rold´an Francisco Dur´an Dynamic validation of OCL constraints with mOdCL Manuel Rold´an Francisco Dur´an](https://www.pdfsearch.io/img/1320df76629465b9f15e745f40bdaffe.jpg) | Add to Reading ListSource URL: gres.uoc.eduLanguage: English - Date: 2011-07-12 11:59:00
|
---|
4![Electronic Communications of the EASST Volume ?? (2011) Proceedings of the Workshop on OCL and Textual Modelling (OCL 2011) Electronic Communications of the EASST Volume ?? (2011) Proceedings of the Workshop on OCL and Textual Modelling (OCL 2011)](https://www.pdfsearch.io/img/464d809a72f24a944b15ec193d3c6b53.jpg) | Add to Reading ListSource URL: gres.uoc.eduLanguage: English - Date: 2011-06-14 18:01:44
|
---|
5![Rules – Models - Data OCL Workshop, September 2012 Experiences using OCL for Business Rules on Financial Data Author: David Garry Rules – Models - Data OCL Workshop, September 2012 Experiences using OCL for Business Rules on Financial Data Author: David Garry](https://www.pdfsearch.io/img/871fa745d8fefb953ed8b5556c3c2fbd.jpg) | Add to Reading ListSource URL: st.inf.tu-dresden.deLanguage: English - Date: 2012-11-05 03:52:07
|
---|
6![Rules – Models - Data Case Study Financial Reporting for the Regulatory Authorities - A Strategic Approach Challenge Rules – Models - Data Case Study Financial Reporting for the Regulatory Authorities - A Strategic Approach Challenge](https://www.pdfsearch.io/img/2519a798b3c4a5dd51302b46e21a1282.jpg) | Add to Reading ListSource URL: nomos-software.comLanguage: English - Date: 2012-08-30 10:52:04
|
---|
7![Formal Foundations of Metamodeling: Abstract Words, Abstract Languages, and Edge Algebra Stefano Merenda, Markus Herrmannsdoerfer, and Martin Feilkas Institut f¨ ur Informatik Technische Universit¨ Formal Foundations of Metamodeling: Abstract Words, Abstract Languages, and Edge Algebra Stefano Merenda, Markus Herrmannsdoerfer, and Martin Feilkas Institut f¨ ur Informatik Technische Universit¨](https://www.pdfsearch.io/img/b633d6616f80d291222d7f587d198761.jpg) | Add to Reading ListSource URL: spes2020.informatik.tu-muenchen.deLanguage: English - Date: 2012-02-20 08:24:11
|
---|
8![An extensible OCL Virtual Machine and Code Generator E.D.Willink Eclipse Modeling Project An extensible OCL Virtual Machine and Code Generator E.D.Willink Eclipse Modeling Project](https://www.pdfsearch.io/img/fa1310a457b5472ace72beff37833471.jpg) | Add to Reading ListSource URL: st.inf.tu-dresden.deLanguage: English - Date: 2012-09-25 06:20:13
|
---|
9![Tool Supported OCL Refactoring Catalogue Jan Reimann, Claas Wilke, Birgit Demuth, Michael Muck, Uwe Aßmann Technische Universität Dresden Institut für Software- und Multimediatechnik D-01062, Dresden, Germany Tool Supported OCL Refactoring Catalogue Jan Reimann, Claas Wilke, Birgit Demuth, Michael Muck, Uwe Aßmann Technische Universität Dresden Institut für Software- und Multimediatechnik D-01062, Dresden, Germany](https://www.pdfsearch.io/img/b20670da78447eccb185ca15c35dc60b.jpg) | Add to Reading ListSource URL: st.inf.tu-dresden.deLanguage: English - Date: 2012-09-30 10:16:27
|
---|
10![Automatic Generation of Test Models and Properties from UML Models with OCL Constraints Miguel A. Francisco Laura M. Castro Automatic Generation of Test Models and Properties from UML Models with OCL Constraints Miguel A. Francisco Laura M. Castro](https://www.pdfsearch.io/img/8bd91152f511b4601bff182baa9da570.jpg) | Add to Reading ListSource URL: st.inf.tu-dresden.deLanguage: English - Date: 2012-09-25 06:20:12
|
---|