Henshin
From MaRDI portal
swMATH10085MaRDI QIDQ22054FDOQ22054
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-642-16145-2_9
Cited In (48)
- PTGTSs
- Variability-based model transformation: formal foundation and application
- Multilevel coupled model transformations for precise and reusable definition of model behaviour
- Translating essential OCL invariants to nested graph constraints focusing on set operations
- Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach
- A formal framework for incremental model slicing
- MDEOptimiser
- Granularity of conflicts and dependencies in graph transformation systems
- Theorem proving graph grammars with attributes and negative application conditions
- Title not available (Why is that?)
- Melanee
- Title not available (Why is that?)
- GrGen
- AGG
- Stony Brook
- Augur 2
- CheckVML
- GROOVE
- OOZE
- ATL
- UMLtoCSP
- Change-Preserving Model Repair
- GGL
- RuleMerger
- AGREE
- eMoflon
- EMorF
- VMQL
- Verigraph
- Kompren
- GP 2
- Exploring conflict reasons for graph transformation systems
- AToMPM
- Analysis of graph transformation systems: native vs translation-based techniques
- DrAGoM
- A tale of two graph models: a case study in wireless sensor networks
- A simulator for probabilistic timed graph transformation systems with complex large-scale topologies
- Constructing optimized constraint-preserving application conditions for model transformation rules
- Hybrid search plan generation for generalized graph pattern matching
- ENFORCe
- Graph consistency as a graduated property. Consistency-sustaining and -improving graph transformations
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
- Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions
- SimSG
- OCLinEcore
- OCL2AC
- Probabilistic graph transformation systems
- The Verigraph system for graph transformation
This page was built for software: Henshin
