Sciweavers

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