AGG
From MaRDI portal
Cited in
(only showing first 100 items - show all)- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
- Parallel high-level replacement systems
- Multilevel coupled model transformations for precise and reusable definition of model behaviour
- Graph transformation for incremental natural language analysis
- Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach
- An algebraic semantics for MOF
- Reducibility between classes of port graph grammar.
- A software package for chemically inspired graph transformation
- Grez
- Preserving consistency in geometric modeling with graph transformations
- 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
- 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
- Grammar-based model transformations: definition, execution, and quality properties
- Semantic integration of heterogeneous software specifications.
- Verification of graph grammars using a logical approach
- Granularity of conflicts and dependencies in graph transformation systems
- A Unified Categorical Approach for Attributed Graph Rewriting
- Molecular Analysis of Metabolic Pathway with Graph Transformation
- scientific article; zbMATH DE number 2016074 (Why is no real title available?)
- Algebraic hierarchical graph transformation
- A framework for the verification of infinite-state graph transformation systems
- GraphEd
- scientific article; zbMATH DE number 7649899 (Why is no real title available?)
- Reasoning with graph constraints
- GrGen
- GenGED
- yFiles
- DIEGO
- ITP/OCL
- DACTL
- PROGRES
- CC4J
- Fujaba
- Graph transformation benchmarks
- VIATRA2
- 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
- Overture Tool
- VDMTools
- MetaEnv
- GGL
- RuleMerger
- AGREE
- eMoflon
- EMorF
- Verigraph
- AGEDIS
- MOSBIE
- GP 2
- egg
- Classroom Scheduler
- Jamda
- DrAGoM
- Efficient conflict detection in graph transformation systems by essential critical pairs
- CatLib
- DPOdactic
- GraJ
- Podmineny
- SiTra
- VxToolbox
- VisiGraphJS
- Graph parsing as graph transformation. Correctness of predictive top-down parsers
- Formal Methods in Software and Systems Modeling
- scientific article; zbMATH DE number 7456047 (Why is no real title available?)
- scientific article; zbMATH DE number 7456056 (Why is no real title available?)
- A flexible and easy-to-use library for the rapid development of graph tools in Java
This page was built for software: AGG
