Sciweavers

47 search results - page 10 / 10
» OPUS: a Formal Approach to Object-Orientation
Sort
View
DAGSTUHL
2006
13 years 7 months ago
Model Transformation Technologies in the Context of Modelling Software Systems
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
Oscar Pastor
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
14 years 18 days ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer