5525 search results - page 115 / 1105 » Verification of Model Transformations |
153
click to vote
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
— With the advent of Model-Driven Engineering (MDE) several model transformation approaches and languages have been developed in the last 5 years. Most of these existing approach...
250
Voted
POPL
2004
ACM
16 years 3 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
112
click to vote
EDOC
2004
IEEE
15 years 7 months ago
2004
IEEE
Modeling is a technique used extensively in industry to define software systems, the UML being the most prominent example. With the increased use of modeling techniques has come t...
112
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We consider the OMG’s Queries, Views and Transformations (QVT) standard as applied to the specification of bidirectional transformations between models. We discuss wha...
142
click to vote
ICFEM
1998
Springer
15 years 7 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...