687 search results - page 43 / 138 » Specification and Verification of Model Transformations Usin... |
84
Voted
ENTCS
2006
15 years 16 days 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. ...
113
Voted
COMPSAC
2005
IEEE
15 years 6 months ago
2005
IEEE
Model driven development (MDD) tackles software complexity through the use of models. However, managing relationships and specifying transformations models at various levels of ab...
113
click to vote
CAISE
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...
110
Voted
IJIT
2004
15 years 1 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
120
click to vote
IEEESCC
2005
IEEE
15 years 6 months ago
2005
IEEE
Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artifacts and...