E-book
Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
Record details
- ISBN: 9783642341762
-
Physical Description:
electronic
electronic resource
access
remote
XII, 255 p. 133 illus. online resource. - Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Search for related items by subject
Search for related items by series
Other Formats and Editions
Electronic resources
Best Practices to Model Business Services in Complex IT Environments | ||
| Drools: A Rule Engine for Complex Event Processing | ||
| Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration | ||
| A Graph Transformation-Based Semantics for Deep Metamodelling | ||
| Reusable Graph Transformation Templates | ||
| Towards an Automated 3D Reconstruction of Plant Architecture.- Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors | ||
| AGG 2.0 â New Features for Specifying and Analyzing Algebraic Graph Transformations | ||
| Integration of a Pattern-Based Layout Engine into Diagram Editors | ||
| Tool Demonstration of the Transformation Judge | ||
| Knowledge-Based Graph Exploration Analysis.- Graph Grammar Induction as a Parser-Controlled Heuristic Search Process.- Planning Self-adaption with Graph Transformations | ||
| From Graph Transformation Units via MiniSat to GrGen.NET | ||
| ^ | ||
| Locality in Reasoning about Graph Transformations | ||
| Contextual Hyperedge Replacement | ||
| The Added Value of Programmed Graph Transformations â A Case Study from Software Configuration Management | ||
| A Case Study Based Comparison of ATL and SDM | ||
| Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata | ||
| Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations. Drools: A Rule Engine for Complex Event Processing | ||
| Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration | ||
| A Graph Transformation-Based Semantics for Deep Metamodelling | ||
| Reusable Graph Transformation Templates | ||
| Towards an Automated 3D Reconstruction of Plant Architecture.- Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors | ||
| ^ | ||
| ^^ | ||
| AGG 2.0 â New Features for Specifying and Analyzing Algebraic Graph Transformations | ||
| Integration of a Pattern-Based Layout Engine into Diagram Editors | ||
| Tool Demonstration of the Transformation Judge | ||
| Knowledge-Based Graph Exploration Analysis.- Graph Grammar Induction as a Parser-Controlled Heuristic Search Process.- Planning Self-adaption with Graph Transformations | ||
| From Graph Transformation Units via MiniSat to GrGen.NET | ||
| Locality in Reasoning about Graph Transformations | ||
| Contextual Hyperedge Replacement | ||
| The Added Value of Programmed Graph Transformations â A Case Study from Software Configuration Management | ||
| A Case Study Based Comparison of ATL and SDM | ||
| Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata | ||
| Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations. | ||
| ^^ |
