Monografie
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences
- Sprache
-
Englisch
- Identifier
-
1067379371
- Reihe
-
Electronic Communications of the EASST- ECEASST; 10/10
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:58 MEZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences
Termination criteria for model transformation
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams: Long Version
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars
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)
Verification of Architectural Refactorings: Rule Extraction and Tool Support
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
M-adhesive transformation systems with nested application conditions : Part 1: parallelism, concurrency and amalgamation
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
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences
Termination criteria for model transformation
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams: Long Version
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars
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)
Verification of Architectural Refactorings: Rule Extraction and Tool Support
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
M-adhesive transformation systems with nested application conditions : Part 1: parallelism, concurrency and amalgamation
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
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences
Termination criteria for model transformation
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams: Long Version
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars
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)
Verification of Architectural Refactorings: Rule Extraction and Tool Support
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
M-adhesive transformation systems with nested application conditions : Part 1: parallelism, concurrency and amalgamation
Local Confluence for Rules with Nested Application Conditions based on a New Critical Pair Notion