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 Transformation [[electronic resource] ] : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings / / edited by Francesco Parisi-Presicce, Bernhard Westfechtel
| Graph Transformation [[electronic resource] ] : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings / / edited by Francesco Parisi-Presicce, Bernhard Westfechtel |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIV, 283 p. 93 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science—Mathematics
Discrete mathematics Software engineering Artificial intelligence—Data processing Computer science Algorithms Machine theory Discrete Mathematics in Computer Science Software Engineering Data Science Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-319-21145-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Polymorphic Sesqui-Pushout Graph Rewriting -- Predictive Top-Down Parsing for Hyperedge Replacement Grammars -- AGREE – Algebraic Graph Rewriting with Controlled Embedding -- Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings -- Towards Local Confluence Analysis for Amalgamated Graph Transformation -- Multi-amalgamated Triple Graph Grammars -- Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs -- Reachability in Graph Transformation Systems and Slice Languages -- Equational Reasoning with Context-Free Families of String Diagrams -- Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations -- Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems -- Graph Pattern Matching as an Embedded Clojure DSL -- Using Graph Transformations for Formalizing Prescriptions and Monitoring -- Towards Compliance Verification Between Global and Local Process Models -- Inductive Invariant Checking with Partial Negative Application Conditions -- Tool Support for Multi-amalgamated Triple Graph Grammars -- Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems -- Local Search-Based Pattern Matching Features in EMF-INCQUERY. |
| Record Nr. | UNISA-996204582803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Transformation : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings / / edited by Francesco Parisi-Presicce, Bernhard Westfechtel
| Graph Transformation : 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings / / edited by Francesco Parisi-Presicce, Bernhard Westfechtel |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIV, 283 p. 93 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science - Mathematics
Discrete mathematics Software engineering Artificial intelligence - Data processing Computer science Algorithms Machine theory Discrete Mathematics in Computer Science Software Engineering Data Science Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-319-21145-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Polymorphic Sesqui-Pushout Graph Rewriting -- Predictive Top-Down Parsing for Hyperedge Replacement Grammars -- AGREE – Algebraic Graph Rewriting with Controlled Embedding -- Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings -- Towards Local Confluence Analysis for Amalgamated Graph Transformation -- Multi-amalgamated Triple Graph Grammars -- Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs -- Reachability in Graph Transformation Systems and Slice Languages -- Equational Reasoning with Context-Free Families of String Diagrams -- Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations -- Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems -- Graph Pattern Matching as an Embedded Clojure DSL -- Using Graph Transformations for Formalizing Prescriptions and Monitoring -- Towards Compliance Verification Between Global and Local Process Models -- Inductive Invariant Checking with Partial Negative Application Conditions -- Tool Support for Multi-amalgamated Triple Graph Grammars -- Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems -- Local Search-Based Pattern Matching Features in EMF-INCQUERY. |
| Record Nr. | UNINA-9910484447003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Graph Transformations and Model-Driven Engineering [[electronic resource] ] : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday / / edited by Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel
| Graph Transformations and Model-Driven Engineering [[electronic resource] ] : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday / / edited by Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, Bernhard Westfechtel |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 768 p. 328 illus.) |
| Disciplina | 005.1028 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Computer programming Mathematical logic Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Programming Techniques Mathematical Logic and Formal Languages |
| Soggetto genere / forma | Aufsatzsammlung |
| ISBN |
1-280-39051-4
9786613568434 3-642-17322-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl -- Graph Transformations and Model-Driven Engineering: The Merits of Manfred Nagl -- Graph Transformations: Theory and Applications -- The Edge of Graph Transformation — Graphs for Behavioural Specification -- Graph Transformation by Computational Category Theory -- On GS-Monoidal Theories for Graphs with Nesting -- Stochastic Modelling and Simulation of Mobile Systems -- Autonomous Units and Their Semantics – The Concurrent Case -- Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation -- Extended Triple Graph Grammars with Efficient and Compatible Graph Translators -- Controlling Reuse in Pattern-Based Model-to-Model Transformations -- Lessons Learned from Building a Graph Transformation System -- Workflow-Driven Tool Integration Using Model Transformations -- Software Architectures and Reengineering -- The Architecture Description Language MoDeL -- Towards Managing Software Architectures with Ontologies -- Using Role-Play Diagrams to Improve Scenario Role-Play -- Reverse Engineering Using Graph Queries -- Graph-Based Structural Analysis for Telecommunication Systems -- Process Support -- Do We Really Know How to Support Processes? Considerations and Reconstruction -- A Meta-Method for Defining Software Engineering Methods -- Techniques for Merging Views of Software Processes -- Embedded Systems Engineering -- Model Checking Programmable Router Configurations -- Architectural Issues of Adaptive Pervasive Systems -- Using Graph Grammars for Modeling Wiring Harnesses – An Experience Report -- Model-Driven Development with Mechatronic UML -- Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent -- Multi-view Modeling to Support Embedded Systems Engineering in SysML -- Engineering Design Applications -- Requirements Engineering in Complex Domains -- Tool Support for Dynamic Development Processes -- An Extensible Modeling Language for the Representation of Work Processes in the Chemical and Process Industries -- Integration Tools for Consistency Management between Design Documents in Development Processes -- Towards Semantic Navigation in Mobile Robotics -- Model Driven Engineering in Operative Industrial Process Control Environments. |
| Record Nr. | UNISA-996465713803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph-theoretic concepts in computer science : 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004 : revised papers / / Juraj Hromkovic, Manfred Nagl, Bernhard Westfechtel (eds.)
| Graph-theoretic concepts in computer science : 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004 : revised papers / / Juraj Hromkovic, Manfred Nagl, Bernhard Westfechtel (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2004 |
| Descrizione fisica | 1 online resource (XI, 404 p.) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
HromkovicJuraj <1958->
NaglManfred WestfechtelBernhard |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Graph theory
Computer science Computer algorithms |
| ISBN | 3-540-30559-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Lexicographic Breadth First Search – A Survey -- Wireless Networking: Graph Theory Unplugged -- Graph Algorithms: Trees -- Constant Time Generation of Trees with Specified Diameter -- Treelike Comparability Graphs: Characterization, Recognition, and Applications -- Elegant Distance Constrained Labelings of Trees -- Collective Tree Spanners and Routing in AT-free Related Graphs -- Graph Algorithms: Recognition and Decomposition -- On the Maximum Cardinality Search Lower Bound for Treewidth -- Fully-Dynamic Recognition Algorithm and Certificate for Directed Cographs -- Recognizing HHD-free and Welsh-Powell Opposition Graphs -- Bimodular Decomposition of Bipartite Graphs -- Coloring a Graph Using Split Decomposition -- Graph Algorithms: Various Problems -- Decremental Clique Problem -- A Symbolic Approach to the All-Pairs Shortest-Paths Problem -- Minimal de Bruijn Sequence in a Language with Forbidden Substrings -- A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic -- Optimization and Approximation Algorithms -- The Computational Complexity of the Minimum Weight Processor Assignment Problem -- A Stochastic Location Problem with Applications to Tele-diagnostic -- A Robust PTAS for Maximum Weight Independent Sets in Unit Disk Graphs -- Tolerance Based Algorithms for the ATSP -- Parameterized Complexity and Exponential Algorithms -- Finding k Disjoint Triangles in an Arbitrary Graph -- Exact (Exponential) Algorithms for the Dominating Set Problem -- Linear Kernels in Linear Time, or How to Save k Colors in O(n 2) Steps -- Counting, Combinatorics, and Optimization -- Planar Graphs, via Well-Orderly Maps and Trees -- Efficient Computation of the Lovász Theta Function for a Class of Circulant Graphs -- Unhooking Circulant Graphs: A Combinatorial Method for Counting Spanning Trees and Other Parameters -- Applications (Biology, Graph Drawing) -- Computing Bounded-Degree Phylogenetic Roots of Disconnected Graphs -- Octagonal Drawings of Plane Graphs with Prescribed Face Areas -- Crossing Reduction in Circular Layouts -- Graph Classes and NP Hardness -- Characterization and Recognition of Generalized Clique-Helly Graphs -- Edge-Connectivity Augmentation and Network Matrices -- Partitioning a Weighted Graph to Connected Subgraphs of Almost Uniform Size -- The Hypocoloring Problem: Complexity and Approximability Results when the Chromatic Number Is Small -- Core Stability of Minimum Coloring Games. |
| Record Nr. | UNINA-9910483967503321 |
| Berlin, : Springer, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Architectures : Topics Usually Missed in Textbooks / / by Manfred Nagl, Bernhard Westfechtel
| Software Architectures : Topics Usually Missed in Textbooks / / by Manfred Nagl, Bernhard Westfechtel |
| Autore | Nagl Manfred |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (344 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) | WestfechtelBernhard |
| Soggetto topico |
Software engineering
Software Engineering |
| ISBN | 9783031513350 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part 1 Importance of Software Architectures -- 1 The Architecture is the Center of the Software Development Process -- 2 An Integrative Language Approach for Software Architectures -- 3 Sequences of Software Architectures from Abstract to Details -- Part 2 Important Topics on Architecture Level -- 4 Embedded Systems: Simple Rules to Improve Adaptability -- 5 Architectural Styles: Do they Need Different Notations? -- 6 Process Interaction Diagrams are more than Chains or Transport Networks -- 7 Characterization of Shallow and Deep Reuse -- 8 The Software Architecture is the Glue to Deal with Variety and Integration -- 9 Reverse and Reengineering for Old Systems is seldom Complete -- Part 3 Relations to Surrounding Activities -- 10 Process and Model Transformations on Different Levels -- 11 The Transformation from Requirements to Architectures is not Automatic -- 12 Software Architectures and Programming in the Small -- 13 Project Management and Architectures -- 14 Quality Assurance and DocumentationRelated to Architectures -- Part 4 Summaries, Conclusions, Open Problems, Index -- 15 Summary, Lesssons Learned, Messages, Open Problems. |
| Record Nr. | UNINA-9910855369303321 |
Nagl Manfred
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Configuration Management [[electronic resource] ] : ICSE Workshops SCM 2001 and SCM 2003, Toronto, Canada, May 14-15, 2001, and Portland, OR, USA, May 9-10, 2003. Selected Papers / / edited by Bernhard Westfechtel, André van der Hoek
| Software Configuration Management [[electronic resource] ] : ICSE Workshops SCM 2001 and SCM 2003, Toronto, Canada, May 14-15, 2001, and Portland, OR, USA, May 9-10, 2003. Selected Papers / / edited by Bernhard Westfechtel, André van der Hoek |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (VIII, 220 p.) |
| Disciplina | 005.1/068 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Management information systems Computer science Software Engineering/Programming and Operating Systems Management of Computing and Information Systems Software Engineering |
| ISBN | 3-540-39195-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Best Papers of SCM 2001 -- Defining and Supporting Concurrent Engineering Policies in SCM -- Configuration Management in Component Based Product Populations -- Software Architecture and Software Configuration Management -- Supporting Distributed Collaboration through Multidimensional Software Configuration Management -- Software Configuration Management Related to the Management of Distributed Systems and Service-Oriented Architectures -- Version Models I -- Uniform Comparison of Configuration Management Data Models -- Towards Intelligent Support for Managing Evolution of Configurable Software Product Families -- Integrating Software Construction and Software Deployment -- Version Models II -- Data Product Configuration Management and Versioning in Large-Scale Production of Satellite Scientific Data -- Merging Collection Data Structures in a Content Management System -- Compatibility of XML Language Versions -- Architecture -- Using Federations for Flexible SCM Systems -- Dissecting Configuration Management Policies -- Concurrency and Distribution -- Improving Conflict Detection in Optimistic Concurrency Control Models -- Data Topology and Process Patterns for Distributed Development -- Component-Based Systems -- Managing the Evolution of Distributed and Interrelated Components -- A Lightweight Infrastructure for Reconfiguring Applications -- Education -- A Software Configuration Management Course -- New Applications -- Applications of Configuration Information to Security -- Towards Software Configuration Management for Test-Driven Development. |
| Record Nr. | UNISA-996465948903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software Configuration Management : ICSE Workshops SCM 2001 and SCM 2003, Toronto, Canada, May 14-15, 2001, and Portland, OR, USA, May 9-10, 2003. Selected Papers / / edited by Bernhard Westfechtel, André van der Hoek
| Software Configuration Management : ICSE Workshops SCM 2001 and SCM 2003, Toronto, Canada, May 14-15, 2001, and Portland, OR, USA, May 9-10, 2003. Selected Papers / / edited by Bernhard Westfechtel, André van der Hoek |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (VIII, 220 p.) |
| Disciplina | 005.1/068 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Management information systems Computer science Software Engineering/Programming and Operating Systems Management of Computing and Information Systems Software Engineering |
| ISBN | 3-540-39195-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Best Papers of SCM 2001 -- Defining and Supporting Concurrent Engineering Policies in SCM -- Configuration Management in Component Based Product Populations -- Software Architecture and Software Configuration Management -- Supporting Distributed Collaboration through Multidimensional Software Configuration Management -- Software Configuration Management Related to the Management of Distributed Systems and Service-Oriented Architectures -- Version Models I -- Uniform Comparison of Configuration Management Data Models -- Towards Intelligent Support for Managing Evolution of Configurable Software Product Families -- Integrating Software Construction and Software Deployment -- Version Models II -- Data Product Configuration Management and Versioning in Large-Scale Production of Satellite Scientific Data -- Merging Collection Data Structures in a Content Management System -- Compatibility of XML Language Versions -- Architecture -- Using Federations for Flexible SCM Systems -- Dissecting Configuration Management Policies -- Concurrency and Distribution -- Improving Conflict Detection in Optimistic Concurrency Control Models -- Data Topology and Process Patterns for Distributed Development -- Component-Based Systems -- Managing the Evolution of Distributed and Interrelated Components -- A Lightweight Infrastructure for Reconfiguring Applications -- Education -- A Software Configuration Management Course -- New Applications -- Applications of Configuration Information to Security -- Towards Software Configuration Management for Test-Driven Development. |
| Record Nr. | UNINA-9910144031103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||