Pages that link to "Item:Q3184747"

The following pages link to On the Specification and Verification of Model Transformations (Q3184747):

Displaying 20 items.

• Correct transformation: from object-based graph grammars to PROMELA (Q436353) (← links)
• A formal approach to the specification and transformation of constraints in MDE (Q444494) (← links)
• A formal verification technique for behavioural model-to-model transformations (Q682361) (← links)
• Variability-based model transformation: formal foundation and application (Q682373) (← links)
• A new model transformation method and its application to extending a class of stability criteria of neutral type systems (Q708535) (← links)
• A framework for model transformation verification (Q903517) (← links)
• A reification calculus for model-oriented software specification (Q911753) (← links)
• Grammar-based model transformations: definition, execution, and quality properties (Q1749124) (← links)
• Model transformations across views (Q2266947) (← links)
• Towards lightweight checks for mass maintenance transformations (Q2485275) (← links)
• Verification of system level model transformations (Q2506292) (← links)
• (Q2763984) (← links)
• An algebraic semantics for QVT-relations check-only transformations (Q2882461) (← links)
• Controlling Reuse in Pattern-Based Model-to-Model Transformations (Q3059714) (← links)
• (Q3566747) (← links)
• (Q4804324) (← links)
• Composition of Model Transformations: A Categorical Framework (Q5200484) (← links)
• Fundamental Approaches to Software Engineering (Q5316443) (← links)
• Towards Verifying Model Transformations (Q5404179) (← links)
• Combining termination proofs in model transformation systems (Q5740376) (← links)