Upload others
View 9
Download 0
Embed Size (px) 344 x 292 429 x 357 514 x 422 599 x 487
Citation preview
Ocl tactyc presentationv4
OCL meets CTL: Towards CTL-Extended OCL Model Checkingceur-ws.org/Vol-1092/bill.pdf · OCL meets CTL: Towards CTL-Extended OCL Model Checking? Robert Bill 1, Sebastian Gabmeyer ,
Ocl 20140306
OCL Documentation
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
OCL in EMF
Ocl 20130718
Ocl atl 2013
Ocl Tutorial Unleash
OCL Book Chapter2 (OCL by Example)
Ocl 20130926
Manual Ocl 2_0
12 Ocl Basics
Catálogo OCL 2010
Ocl 20131003
Automated Invariant Maintenance via OCL Compilation · Automated Invariant Maintenance via OCL Compilation Spencer Rugaber College of Computing ... specification of OCL invariants
OCL Documentation - Eclipsedownload.eclipse.org/ocl/doc/6.3.0/ocl.pdf · Eclipse OCL 6.3.0 1 Chapter 1. Overview and Getting Started For a quick demonstration of OCL enrichment of
OCL Slide Share
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 20131010
OCL Currents Test
Evens Tom Ocl
Ocl 20130822
OCL and Modeling
Ocl 20140227
OCL STEEL - archives.nseindia.com
OCL Documentation - Eclipsedownload.eclipse.org/ocl/doc/6.0.0/ocl.pdf · Eclipse OCL 6.0.0 1 Chapter 1. Overview and Getting Started For a quick demonstration of OCL enrichment of
OCL omissions and contradictions - Eclipse€¦ · 21-March-2012 OCL omissions and contradictions Made available under EPL 1.0 OCL 2.5 Goals UML 2.5 aligned consistent Modeled OCL
OCL Documentation - Eclipsedownload.eclipse.org/ocl/doc/6.1.0/ocl.pdf · 2.10.4. OCLinEcore for Xtext Validation ... Complete OCL Editor ..... 115 4.2.12. Royal and Loyal Example
OCL 2.5 plans