towards a unified framework for measuring the properties of class diagrams augmented with ocl

If you can't read please download the document

Upload: dennis

Post on 13-Jan-2016

23 views

Category:

Documents

2 download

Report

Download

Embed Size (px):

DESCRIPTION

Towards a Unified Framework for Measuring the Properties of Class Diagrams Augmented with OCL. By: Eng. Mohamed Awad Elshaarawy Supervisors: Prof. Dr. Ismail Taha, Dr. Haitham S.Hamza Date: 8 th Jul, 2013. Introduction Related Work Motivation Thesis Contribution Proposed Model - PowerPoint PPT Presentation

SoftwareEngineering (OCL) LinaYE SoftwareEngineering(OCL)linaye/OCL_GL.pdf · SoftwareEngineering (OCL) LinaYE Introduction Constraints ContextandSelf Invariant Pre-andPost-condition

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

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 atl 2013

Ocl 20131003

OCL Documentation

Reasoning on UML class diagrams - unibzcalvanese/papers/bera-calv-degi-AIJ-2005.pdf · reasoning on UML class diagrams, provided that the use of arbitrary OCL (ﬁrst-order) constraints

Model Driven Architecture (MDA) OCL Characters of OCL

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 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?

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 Currents Test