Sciweavers

5525 search results - page 165 / 1105
» Verification of Model Transformations
Sort
View
ICEIS
2006
IEEE
16 years 1 months ago
A Generator Framework for Domain-Specific Model Transformation Languages
Thomas Reiter, Elisabeth Kapsammer, Werner Retschi...
176
Voted
DATE
2005
IEEE
172views Hardware» more  DATE 2005»
16 years 19 days 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...
UML
2005
Springer
16 years 14 days ago
Model Transformations in Practice Workshop
Jean Bézivin, Bernhard Rumpe, Andy Schü...