Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Graph transformations : 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27-October 2, 2010 : proceedings / / Hartmut Ehrig ... [et al.] (eds.)
| Graph transformations : 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27-October 2, 2010 : proceedings / / Hartmut Ehrig ... [et al.] (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2010 |
| Descrizione fisica | 1 online resource (XII, 419 p.) |
| Disciplina | 004 |
| Collana |
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science |
| Soggetto topico |
Graph grammars
Computer science |
| ISBN |
1-280-38925-7
9786613567178 3-642-15928-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | session 1. Graphs and logic -- session 2. Behavioural analysis -- session 3. Models and model transformation -- session 4. Algebraic foundations -- session 5. Applications -- session 6. Rule composition. |
| Record Nr. | UNINA-9910483811003321 |
| Berlin ; ; New York, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Graph transformations : third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 : proceedings / / Andrea Corradini ... [et al.] (eds.)
| Graph transformations : third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 : proceedings / / Andrea Corradini ... [et al.] (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2006 |
| Descrizione fisica | 1 online resource (XII, 473 p.) |
| Disciplina | 005.73 |
| Altri autori (Persone) | CorradiniAndrea <1960-> |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico |
Graph grammars
Computer science |
| ISBN | 3-540-38872-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Nested Quantification in Graph Transformation Rules -- Idioms of Logical Modelling -- New Algorithms and Applications of Cyclic Reference Counting -- New Graph Transformation Models -- Sesqui-Pushout Rewriting -- Automata on Directed Graphs: Edge Versus Vertex Marking -- Conflict Detection for Graph Transformation with Negative Application Conditions -- Adaptive Star Grammars -- Structure Manipulation -- Narrowing Data-Structures with Pointers -- Molecular Analysis of Metabolic Pathway with Graph Transformation -- Matrix Approach to Graph Transformation: Matching and Sequences -- String Generating Hypergraph Grammars with Word Order Restrictions -- Borrowed Contexts and Adhesive Categories -- Composition and Decomposition of DPO Transformations with Borrowed Context -- Process Bisimulation Via a Graphical Encoding -- Toposes Are Adhesive -- Extensions for Distributed and Global Computing -- Graph Transactions as Processes -- Categorical Foundations of Distributed Graph Transformation -- Dynamic Graph Transformation Systems -- Autonomous Units and Their Semantics — The Sequential Case -- Software Engineering Methods and Tools -- Termination Analysis of Model Transformations by Petri Nets -- Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars -- Temporal Graph Queries to Support Software Evolution -- On the Use of Alloy to Analyze Graph Transformation Systems -- Model-Driven Development -- Non-materialized Model View Specification with Triple Graph Grammars -- Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract -- Model View Management with Triple Graph Transformation Systems -- Efficient Implementation -- Graph Transformation in Constant Time -- GrGen: A Fast SPO-Based Graph Rewriting Tool -- Realizing Graph Transformations by Pre- and Postconditions and Command Sequences -- Heuristic Search for the Analysis of Graph Transition Systems -- Logics -- Satisfiability of High-Level Conditions -- Weakest Preconditions for High-Level Programs -- Tutorial and Workshops -- Introductory Tutorial on Foundations and Applications of Graph Transformation -- Workshop on Graph Computation Models -- Workshop on Graph-Based Tools -- Workshop on Petri Nets and Graph Transformations -- 3rd International Workshop on Software Evolution Through Transformations: Embracing Change. |
| Record Nr. | UNINA-9910484650103321 |
| Berlin, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
