<--- Back to Details
First PageDocument Content
Object-oriented programming / Theoretical computer science / ISO standards / Data types / Type theory / Object Constraint Language / ECO / Domain-specific language / EXPRESS / Software engineering / Unified Modeling Language / Computing
Date: 2012-03-21 19:16:58
Object-oriented programming
Theoretical computer science
ISO standards
Data types
Type theory
Object Constraint Language
ECO
Domain-specific language
EXPRESS
Software engineering
Unified Modeling Language
Computing

C:/Users/jcabot/Documents/My Dropbox/OCLChapter/finalversion/OCLChapter.dvi

Add to Reading List

Source URL: modeling-languages.com

Download Document from Source Website

File Size: 312,06 KB

Share Document on Facebook

Similar Documents

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

DocID: 1rnyk - View Document

Unified Modeling Language / Object Constraint Language / Software / Data management / ECO / Isabelle / OCL / Null / Higher-order logic

Featherweight OCL A study for the consistent semantics of OCL 2.3 in HOL Achim D. Brucker Burkhart Wolff∗

DocID: 1rdaI - View Document

Unified Modeling Language / Object Constraint Language

Dynamic validation of OCL constraints with mOdCL Manuel Rold´an Francisco Dur´an

DocID: 1r8Xz - View Document

Software / Computing / Unified Modeling Language / ISO standards / Object Constraint Language / Integrated development environments / ECO / Acceleo / Eclipse / Domain-specific language / OCL / Object Management Group

Electronic Communications of the EASST Volume ?? (2011) Proceedings of the Workshop on OCL and Textual Modelling (OCL 2011)

DocID: 1qVzt - View Document

Economy / Glashtte / Nomos Glashtte / OCL / Nomos / FpML / Computing / Object Constraint Language

Rules – Models - Data OCL Workshop, September 2012 Experiences using OCL for Business Rules on Financial Data Author: David Garry

DocID: 1qOnc - View Document