AGG

swMATH4449MaRDI QIDQ16625FDOQ16625

Author name not available (Why is that?)

Official website: http://www.user.tu-berlin.de/lieske/tfs/publikationen/Papers04/Tae04.pdf

Cited In (only showing first 100 items - show all)

• ViewPoints
• An algebraic semantics for MOF
• Rewriting strategies and strategic rewrite programs
• Aspect-oriented model-driven skeleton code generation: a graph-based transformation approach
• GrGen: A Fast SPO-Based Graph Rewriting Tool
• Modeling dynamic reconfigurations in Reo using high-level replacement systems
• Verification of graph grammars using a logical approach
• Granularity of conflicts and dependencies in graph transformation systems
• Title not available (Why is that?)
• Algebraic hierarchical graph transformation
• Title not available (Why is that?)
• A framework for the verification of infinite-state graph transformation systems
• Efficient conflict detection in graph transformation systems by essential critical pairs
• Reasoning with graph constraints
• GrGen
• GenGED
• Fujaba
• Graph transformation benchmarks
• AspectJ
• Petruchio
• Stony Brook
• HOL-OCL
• MOFLON
• PORGY
• GMTE
• LMNtal
• VPM
• Augur 2
• CheckVML
• GROOVE
• OOZE
• AToM3
• ATL
• Jerboa
• Henshin
• Kermeta
• MOMENT2
• Moflon
• SelfSync
• PSMaude
• DiaGen
• VIDEAS
• Tom
• UML2Alloy
• visone
• FORMULA 2.0
• GXL
• MedOlDatschgerl
• SPLLIFT
• Trustworthy variant derivation with translation validation for safety critical product lines
• Graph Transformation by Computational Category Theory
• Overture Tool
• VDMTools
• MetaEnv
• GGL
• RuleMerger
• AGREE
• eMoflon
• EMorF
• Verigraph
• AGEDIS
• MOSBIE
• Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems
• Compiling dyadic first-order specifications into map algebra
• Reasoning about graph programs
• GP 2
• egg
• Classroom Scheduler
• Jamda
• AToMPM
• Graph Transformations
• ENFORCe
• Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
• Fundamental Approaches to Software Engineering
• Attributed graph transformation with node type inheritance
• Automating the transformation-based analysis of visual languages
• Conflict Detection for Graph Transformation with Negative Application Conditions
• Embedding and Confluence of Graph Transformations with Negative Application Conditions
• Modeling and verifying graph transformations in proof assistants
• A strategy language for graph rewriting
• GMTE: a tool for graph transformation and exact/inexact graph matching
• Rule-based modeling and static analysis of self-adaptive systems by graph transformation
• The Verigraph system for graph transformation
• An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
• Title not available (Why is that?)
• On the Use of Alloy to Analyze Graph Transformation Systems
• Graphical and incremental type inference. A graph transformation approach
• On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
• Multilevel coupled model transformations for precise and reusable definition of model behaviour
• Parallel high-level replacement systems
• Graph transformation for incremental natural language analysis
• Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach
• Preserving consistency in geometric modeling with graph transformations
• A software package for chemically inspired graph transformation
• Reducibility between classes of port graph grammar.
• On the interleaving semantics of transformation units -- a step into GRACE
• Conflict detection for model versioning based on graph modifications
• Amalgamated graph transformations and their use for specifying AGG -- an algebraic graph grammar system
• Grammar-based model transformations: definition, execution, and quality properties
• CatLib

This page was built for software: AGG