Sciweavers

5525 search results - page 165 / 1105
» Verification of Model Transformations
Sort
View
ICEIS
2006
IEEE
15 years 9 months ago
A Generator Framework for Domain-Specific Model Transformation Languages
Thomas Reiter, Elisabeth Kapsammer, Werner Retschi...
89
Voted
SAC
2006
ACM
15 years 9 months ago
The MT model transformation language
Laurence Tratt
129
Voted
DATE
2005
IEEE
172views Hardware» more  DATE 2005»
15 years 9 months ago
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development
Embedded software design for real time reactive system
Massimo Baleani, Alberto Ferrari, Leonardo Mangeru...
93
Voted
UML
2005
Springer
15 years 9 months ago
Model Transformations in Practice Workshop
Jean Bézivin, Bernhard Rumpe, Andy Schü...