486 search results - page 3 / 98 » OCL and Model Driven Engineering |
DAGSTUHL
2007
13 years 7 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
SERP
2007
13 years 7 months ago
2007
- Since the advent of model driven software engineering (MDSE) it has become necessary to develop techniques and tools for model evolution. In this paper we examine two issues and ...
JOT
2007
13 years 5 months ago
2007
In order to integrate requirements into the current Model-Driven Engineering (MDE) approach, the traditional document-based requirements specification process should be changed in...
APSEC
2007
IEEE
14 years 4 days ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
ENTCS
2006
13 years 5 months ago
2006
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...