Sciweavers

3888 search results - page 28 / 778
» Change-Driven Model Transformations
Sort
View
IJPP
2006
75views more  IJPP 2006»
15 years 3 months ago
Verification of System Level Model Transformations
Samar Abdi, Daniel Gajski
76
Voted
JACIII
2006
60views more  JACIII 2006»
15 years 3 months ago
Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model
Itaru Takarajima, Kiyoshi Akama, Ikumi Imani, Hiro...
84
Voted
ECEASST
2007
37views more  ECEASST 2007»
15 years 3 months ago
Ensuring Containment Constraints in Graph-based Model Transformation Approaches
Christian Köhler, Holger Lewin, Gabriele Taen...
MIS
2006
Springer
80views Multimedia» more  MIS 2006»
15 years 3 months ago
Applying algebraic approaches for modeling workflows and their transformations in mobile networks
Paolo Bottoni, Fabio De Rosa, Kathrin Hoffmann, Ma...