OCL Documentation
Documents
OCL and Modeling
Ocl 20140123
Ocl tactyc presentationv4
Education
OCL Documentation - Eclipsedownload.eclipse.org/ocl/doc/6.6.0/ocl.pdf · OCL Documentation Eclipse OCL 6.6.0 vi 6.10.3. Impact Analyzer Configuration, Scopes ..... 188 6.11.
Temporal Constraint Support for OCL · Temporal constraint Support for OCL 3 2 Object Constraint Language (OCL) OCL is a formal assertion language, easy to use, with precise and unambiguous
OCL Tutorial
Technology
OCL 2.0 Specification - UNBwdu/cs3043/OCL 2.0.pdf · 1 UML OCL2 Specification Date: June 2005 OCL 2.0 Specification Version 2.0 ptc/2005-06-06
Manual Ocl 2_0
Ocl atl 2013
OCL Documentation - Eclipsedownload.eclipse.org/ocl/doc/6.4.0/ocl.pdf · Eclipse OCL 6.4.0 1 Chapter 1. Overview and Getting Started 1.1. What is OCL?
All-Channel Customer Experience Event Lisbon - 20130704
Business
Ocl 20130718
OCL Tooling for OMG specifications - Eclipse · 13-Dec-2011 OCL Tooling for OMG specifications Made available under EPL 1.0 3 OCL Specification Background OCL 2.0 split off from UML
Ocl Tutorial Unleash
Analyzing UML/OCL Models with HOL-OCL · A Tutorial at MoDELS 2008 ... ArgoUML AC Config C# +OCL Test Harness manual Code ... Analyzing UML/OCL models with HOL-OCL A Tutorial at MoDELS
From OCL to Propositional and First-order Logic: Part Ihomepage.cs.uiowa.edu/~tinelli/classes/181/Spring08/Notes/06-OCL-PL.pdfPropositional & First-order logic, sequent calculus OCL
ACN 095 039 366 Consolidated interim financial report …opusaustralia.com/assets/OCL/Reports/141231 OCL Half Year...1 to OCL in part satisfaction of its outstanding debt to OCL as