Monografie
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences
- Sprache
-
Englisch
- Identifier
-
1212508645
- Reihe
-
Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin; 2008-02
Beteiligte Personen und Organisationen
- DOI
-
10.14279/depositonce-10275
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:57 MEZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams: Long Version
A Formal Resolution Strategy for Operation-Based Conicts in Model Versioning Using Graph Modications
Pre-Proceedings of the International Colloquium on Graph and Model Transformation – On the occasion of the 65th birthday of Hartmut Ehrig (GraMoT 2010)
Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior
Object Flow Definition for Refined Activity Diagrams: Long Version
Local Confluence for Rules with Nested Application Conditions based on a New Critical Pair Notion
Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars
Evolution of Model Transformations by Model Refactoring: Long Version
Generalized Typed Attributed Graph Transformation Systems based on Morphisms Changing Type Graphs and Data Signature
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams: Long Version
A Formal Resolution Strategy for Operation-Based Conicts in Model Versioning Using Graph Modications
Pre-Proceedings of the International Colloquium on Graph and Model Transformation – On the occasion of the 65th birthday of Hartmut Ehrig (GraMoT 2010)
Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior
Object Flow Definition for Refined Activity Diagrams: Long Version
Local Confluence for Rules with Nested Application Conditions based on a New Critical Pair Notion
Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars
Evolution of Model Transformations by Model Refactoring: Long Version
Generalized Typed Attributed Graph Transformation Systems based on Morphisms Changing Type Graphs and Data Signature
Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long Version
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams: Long Version
A Formal Resolution Strategy for Operation-Based Conicts in Model Versioning Using Graph Modications
Pre-Proceedings of the International Colloquium on Graph and Model Transformation – On the occasion of the 65th birthday of Hartmut Ehrig (GraMoT 2010)
Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior
Object Flow Definition for Refined Activity Diagrams: Long Version
Local Confluence for Rules with Nested Application Conditions based on a New Critical Pair Notion
Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed Contexts
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars
Evolution of Model Transformations by Model Refactoring: Long Version
Generalized Typed Attributed Graph Transformation Systems based on Morphisms Changing Type Graphs and Data Signature