Object Constraint Language - PDFSEARCH.IO - Document Search Engine

Object Constraint Language
Results: 132

#	Item
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 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - 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
2	Featherweight OCL A study for the consistent semantics of OCL 2.3 in HOL Achim D. Brucker Burkhart Wolff∗ Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:13 Unified Modeling Language Object Constraint Language Software Data management ECO Isabelle OCL Null Higher-order logic
3	Dynamic validation of OCL constraints with mOdCL Manuel Rold´an Francisco Dur´an Add to Reading List Source URL: gres.uoc.edu Language: English - Date: 2011-07-12 11:59:00 Unified Modeling Language Object Constraint Language
4	Electronic Communications of the EASST Volume ?? (2011) Proceedings of the Workshop on OCL and Textual Modelling (OCL 2011) Add to Reading List Source URL: gres.uoc.edu Language: English - Date: 2011-06-14 18:01:44 Software Computing Unified Modeling Language ISO standards Object Constraint Language Integrated development environments ECO Acceleo Eclipse Domain-specific language OCL Object Management Group
5	Rules – Models - Data OCL Workshop, September 2012 Experiences using OCL for Business Rules on Financial Data Author: David Garry Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-11-05 03:52:07 Economy Glashtte Nomos Glashtte OCL Nomos FpML Computing Object Constraint Language
6	Rules – Models - Data Case Study Financial Reporting for the Regulatory Authorities - A Strategic Approach Challenge Add to Reading List Source URL: nomos-software.com Language: English - Date: 2012-08-30 10:52:04 Unified Modeling Language Data modeling Data model Object Constraint Language Business process modeling ACT Conceptual model Object Management Group Nomos Glashtte Computing Operations research Abstraction
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¨ Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:11 Unified Modeling Language Software engineering Computing ISO standards Scientific modeling Abstraction Data modeling Metamodeling Software design Meta-Object Facility Object Constraint Language KM3
8	An extensible OCL Virtual Machine and Code Generator E.D.Willink Eclipse Modeling Project Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:13 Software Computing Unified Modeling Language Object Constraint Language Integrated development environments ECO Eclipse Acceleo Systems engineering Syntropy OCL Query language
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 Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-30 10:16:27 Software engineering Computing ISO standards Software Unified Modeling Language Object Constraint Language ECO Code refactoring Lambda calculus OCL Null Let expression
10	Automatic Generation of Test Models and Properties from UML Models with OCL Constraints Miguel A. Francisco Laura M. Castro Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:12 Software testing QuickCheck Object Constraint Language Model-based testing Postcondition Random testing Design by contract ECO Unit testing Unified Modeling Language Object Process Methodology Test automation