AGG
From MaRDI portal
Software:16625
No author found.
Related Items (68)
Reducibility between classes of port graph grammar. ⋮ Graph Transformations ⋮ Quantomatic: A Proof Assistant for Diagrammatic Reasoning ⋮ Preserving consistency in geometric modeling with graph transformations ⋮ A Software Package for Chemically Inspired Graph Transformation ⋮ Trustworthy variant derivation with translation validation for safety critical product lines ⋮ Unnamed Item ⋮ Diagrammatic Representation and Inference ⋮ Algebraic hierarchical graph transformation ⋮ Unnamed Item ⋮ Modeling dynamic reconfigurations in Reo using high-level replacement systems ⋮ Attributed graph transformation with node type inheritance ⋮ Rewriting Strategies and Strategic Rewrite Programs ⋮ Amalgamated graph transformations and their use for specifying AGG — an algebraic graph grammar system ⋮ Parallel high-level replacement systems ⋮ Graph Parsing as Graph Transformation ⋮ A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java ⋮ A Unified Categorical Approach for Attributed Graph Rewriting ⋮ Multilevel coupled model transformations for precise and reusable definition of model behaviour ⋮ Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs ⋮ Unnamed Item ⋮ Verification of graph grammars using a logical approach ⋮ On the essence of parallel independence for the double-pushout and sesqui-pushout approaches ⋮ Initial conflicts and dependencies: critical pairs revisited ⋮ The Verigraph system for graph transformation ⋮ Unnamed Item ⋮ Graph transformation for incremental natural language analysis ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Semantic integration of heterogeneous software specifications. ⋮ Embedding and Confluence of Graph Transformations with Negative Application Conditions ⋮ Conflict Detection for Graph Transformation with Negative Application Conditions ⋮ Molecular Analysis of Metabolic Pathway with Graph Transformation ⋮ On the Use of Alloy to Analyze Graph Transformation Systems ⋮ GrGen: A Fast SPO-Based Graph Rewriting Tool ⋮ Strategic port graph rewriting: an interactive modelling framework ⋮ Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach ⋮ A framework for the verification of infinite-state graph transformation systems ⋮ On the interoperability of model-to-model transformation languages ⋮ Formal Methods in Software and Systems Modeling ⋮ Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs ⋮ On the interleaving semantics of transformation units — A step into GRACE ⋮ A Strategy Language for Graph Rewriting ⋮ Grammar-based model transformations: definition, execution, and quality properties ⋮ An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems ⋮ Graphical and incremental type inference. A graph transformation approach ⋮ GMTE: A Tool for Graph Transformation and Exact/Inexact Graph Matching ⋮ Visual Modeling of Distributed Object Systems by Graph Transformation ⋮ Automating the transformation-based analysis of visual languages ⋮ Reasoning with graph constraints ⋮ An algebraic semantics for MOF ⋮ On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems ⋮ Conflict Detection for Model Versioning Based on Graph Modifications ⋮ Aspect-oriented model-driven skeleton code generation: a graph-based transformation approach ⋮ Graph Transformation by Computational Category Theory ⋮ Lessons Learned from Building a Graph Transformation System ⋮ PTL: a model transformation language based on logic programming ⋮ Exploring conflict reasons for graph transformation systems ⋮ Granularity of Conflicts and Dependencies in Graph Transformation Systems ⋮ Detection and Resolution of Weaving Interactions ⋮ Model Transformation and Induced Instance Migration: A Universal Framework ⋮ A tale of two graph models: a case study in wireless sensor networks ⋮ Fundamental Approaches to Software Engineering ⋮ Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems ⋮ Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation ⋮ Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems ⋮ Modeling and Verifying Graph Transformations in Proof Assistants ⋮ Compiling dyadic first-order specifications into map algebra
This page was built for software: AGG
