Applications of Graph Transformations with Industrial Relevance : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Applications of Graph Transformations, AGTIVE 2011, held in Budapest, Hungary, in October 2011. The 13 revised full papers presented together with 2 invited talks, 2 application reports, a...
Enregistré dans:
Auteurs principaux : | , , |
---|---|
Format : | Livre |
Langue : | anglais |
Titre complet : | Applications of Graph Transformations with Industrial Relevance : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers / edited by Andy Schürr, Dániel Varró, Gergely Varró. |
Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, 2012 Cham : Springer Nature |
Collection : | Programming and Software Engineering ; 7233 |
Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
Sujets : | |
Documents associés : | Autre format:
Applications of Graph Transformations with Industrial Relevance Autre format: Applications of Graph Transformations with Industrial Relevance |
LEADER | 06336clm a2200709 4500 | ||
---|---|---|---|
001 | PPN168326329 | ||
003 | http://www.sudoc.fr/168326329 | ||
005 | 20241001155200.0 | ||
010 | |a 978-3-642-34176-2 | ||
017 | 7 | 0 | |a 10.1007/978-3-642-34176-2 |2 DOI |
035 | |a (OCoLC)818324255 | ||
035 | |a Springer978-3-642-34176-2 | ||
035 | |a Springer-11645-978-3-642-34176-2 | ||
100 | |a 20130325d2012 u u0frey0103 ba | ||
101 | 0 | |a eng |2 639-2 | |
102 | |a DE | ||
105 | |a y z 100yy | ||
106 | |a s | ||
135 | |a dr||||||||||| | ||
181 | |6 z01 |c txt |2 rdacontent | ||
181 | 1 | |6 z01 |a i# |b xxxe## | |
182 | |6 z01 |c c |2 rdamedia | ||
182 | 1 | |6 z01 |a b | |
183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
200 | 1 | |a Applications of Graph Transformations with Industrial Relevance |e 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers |f edited by Andy Schürr, Dániel Varró, Gergely Varró. | |
214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
214 | 2 | |a Cham |c Springer Nature |d 2012 | |
225 | 0 | |a Programming and Software Engineering |x 2945-9168 |v 7233 | |
330 | |a This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Applications of Graph Transformations, AGTIVE 2011, held in Budapest, Hungary, in October 2011. The 13 revised full papers presented together with 2 invited talks, 2 application reports, and 3 tool demonstration papers were carefully selected from 36 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on invited talk abstracts, model-driven engineering, graph transformation applications, tool demonstrations, graph transformation exploration techniques, graph transformation semantics and reasoning, application reports and bidirectional transformations. | ||
359 | 1 | |a 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-BasedLayout 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. | |
371 | 0 | |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition | |
410 | | | |t Programming and Software Engineering |x 2945-9168 |v 7233 | |
452 | | | |t Applications of Graph Transformations with Industrial Relevance |y 9783642341755 | |
452 | | | |t Applications of Graph Transformations with Industrial Relevance |y 9783642341779 | |
608 | |3 PPN02886431X |a Actes de congrès |2 rameau | ||
610 | 1 | |a Computer Science | |
610 | 2 | |a Data Structures | |
610 | 2 | |a Algorithm Analysis and Problem Complexity | |
610 | 2 | |a Logics and Meanings of Programs | |
610 | 2 | |a Mathematical Logic and Formal Languages | |
610 | 2 | |a Discrete Mathematics in Computer Science | |
610 | 2 | |a Software Engineering | |
610 | 2 | |a Data Science | |
610 | 2 | |a Algorithms | |
610 | 2 | |a Computer Science Logic and Foundations of Programming | |
610 | 2 | |a Formal Languages and Automata Theory | |
615 | |a @Computer Science |n 11645 |2 Springer | ||
615 | |a Computer Science |n 11645 |2 Springer | ||
676 | |a 004.0151 |v 23 | ||
680 | |a QA76.9.M35 | ||
701 | 1 | |a Schürr |b Andy |4 651 | |
701 | 1 | |a Schürr |b Andy |4 651 | |
701 | 1 | |a Varró |b Dániel |4 651 | |
701 | 1 | |a Varró |b Gergely |4 651 | |
801 | 3 | |a FR |b Abes |c 20240611 |g AFNOR | |
801 | 1 | |a DE |b Springer |c 20240603 |g AACR2 | |
856 | 4 | |5 441099901:830855696 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-34176-2 | |
915 | |5 441099901:830855696 |b SPRING13-00610 | ||
930 | |5 441099901:830855696 |b 441099901 |j g | ||
991 | |5 441099901:830855696 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:12 | ||
997 | |a NUM |b SPRING13-00610 |d NUMpivo |e EM |s d | ||
998 | |a 978442 |