Pages that link to "Item:Q5316443"

The following pages link to Fundamental Approaches to Software Engineering (Q5316443):

Displaying 15 items.

• Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (Q418014) (← links)
• Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing (Q553930) (← links)
• Attributed graph transformation with node type inheritance (Q882448) (← links)
• Grammar-based model transformations: definition, execution, and quality properties (Q1749124) (← links)
• Finding a universal execution strategy for model transformation networks (Q2044179) (← links)
• Termination Criteria for DPO Transformations with Injective Matches (Q2867892) (← links)
• Undecidable Control Conditions in Graph Transformation Units (Q2873611) (← links)
• Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation (Q2888500) (← links)
• Combining Graph Transformation and Algebraic Specification into Model Transformation (Q2890331) (← links)
• Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings (Q2947210) (← links)
• Graph Multiset Transformation as a Framework for Massively Parallel Computation (Q3540410) (← links)
• Towards a Systematic Method for Proving Termination of Graph Transformation Systems (Q5403457) (← links)
• Graph Transformation Semantics for a QVT Language (Q5404176) (← links)
• Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars (Q5404177) (← links)
• A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams (Q5404182) (← links)