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.
Categorical Methods in Computer Science [[electronic resource] ] : With Aspects from Topology / / edited by Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß
| Categorical Methods in Computer Science [[electronic resource] ] : With Aspects from Topology / / edited by Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß |
| Edizione | [1st ed. 1989.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 |
| Descrizione fisica | 1 online resource (VI, 354 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer logic Mathematical logic Software engineering Programming languages (Electronic computers) K-theory Theory of Computation Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Programming Languages, Compilers, Interpreters K-Theory |
| ISBN | 3-540-46787-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A categorical concept of constraints for algebraic specifications -- The integration of logical and algebraic types -- Colimits as parameterized data types -- Empty carriers: The categorical burden on logic -- Monads, matrices and generalized dynamic algebra -- Foundations are rich institutions, but institutions are poor foundations -- Development of algebraic specifications with constraints -- Revised ACT ONE: Categorical constructions for an algebraic specification language -- Objects, object types, and object identification -- Categories for the development of algebraic module specifications -- Parameterized data type and process specifications using projection algebras -- Parameterized algebraic domain equations -- Semantical constructions for categories of behavioural specifications -- Relation-sorted algebraic specifications with built-in coercers: Parameterization and parameter passing -- On declarations -- Cauchy sequences in quasi-uniform spaces: Categorical aspects -- The construct PRO of projection spaces: its internal structure -- Categories and mathematical morphology -- Topological spaces for cpos -- On the topological structures of nets -- Description of the topological universe hull -- On residuated approximations -- On convergence of filters and ultrafilters to subsets. |
| Record Nr. | UNISA-996465728203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal and Natural Computing [[electronic resource] ] : Essays Dedicated to Grzegorz Rozenberg / / edited by Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto K. Salomaa
| Formal and Natural Computing [[electronic resource] ] : Essays Dedicated to Grzegorz Rozenberg / / edited by Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto K. Salomaa |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XXXVI, 436 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Architecture, Computer Computers Algorithms Computer logic Data structures (Computer science) Programming Techniques Computer System Implementation Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Data Structures |
| ISBN | 3-540-45711-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Words, Languages, Automata -- Balanced Grammars and Their Languages -- Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids -- The Delta Operation: From Strings to Trees to Strings -- Infinite Solutions of Marked Post Correspondence Problem -- The Branching Point Approach to Conway’s Problem -- A Survey of Some Quantitative Approaches to the Notion of Information -- Nondeterministic Trajectories -- Binary Patterns in Infinite Binary Words -- Graph Transformations -- A Sight-seeing Tour of the Computational Landscape of Graph Transformation -- Local Action Systems and DPO Graph Transformation -- Bisimulation Equivalences for Graph Grammars -- Petri Nets -- High-Level Net Processes -- Petri Net Control for Grammar Systems -- Regular Event Structures and Finite Petri Nets: A Conjecture -- Concurrent Computing -- Towards Team-Automata-Driven Object-Oriented Collaborative Work -- Grammars as Processes -- Temporal Concurrent Constraint Programming: Applications and Behavior -- Molecular Computing -- Rewriting P Systems with Conditional Communication -- An Aqueous Algorithm for Finding the Bijections Contained in a Binary Relation -- Upper Bounds for Restricted Splicing -- Codes, Involutions, and DNA Encodings -- DNA Manipulations in Ciliates -- A Magic Pot : Self-assembly Computation Revisited. |
| Record Nr. | UNINA-9910145794203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal and Natural Computing [[electronic resource] ] : Essays Dedicated to Grzegorz Rozenberg / / edited by Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto K. Salomaa
| Formal and Natural Computing [[electronic resource] ] : Essays Dedicated to Grzegorz Rozenberg / / edited by Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto K. Salomaa |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (XXXVI, 436 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer programming
Architecture, Computer Computers Algorithms Computer logic Data structures (Computer science) Programming Techniques Computer System Implementation Computation by Abstract Devices Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Data Structures |
| ISBN | 3-540-45711-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Words, Languages, Automata -- Balanced Grammars and Their Languages -- Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids -- The Delta Operation: From Strings to Trees to Strings -- Infinite Solutions of Marked Post Correspondence Problem -- The Branching Point Approach to Conway’s Problem -- A Survey of Some Quantitative Approaches to the Notion of Information -- Nondeterministic Trajectories -- Binary Patterns in Infinite Binary Words -- Graph Transformations -- A Sight-seeing Tour of the Computational Landscape of Graph Transformation -- Local Action Systems and DPO Graph Transformation -- Bisimulation Equivalences for Graph Grammars -- Petri Nets -- High-Level Net Processes -- Petri Net Control for Grammar Systems -- Regular Event Structures and Finite Petri Nets: A Conjecture -- Concurrent Computing -- Towards Team-Automata-Driven Object-Oriented Collaborative Work -- Grammars as Processes -- Temporal Concurrent Constraint Programming: Applications and Behavior -- Molecular Computing -- Rewriting P Systems with Conditional Communication -- An Aqueous Algorithm for Finding the Bijections Contained in a Binary Relation -- Upper Bounds for Restricted Splicing -- Codes, Involutions, and DNA Encodings -- DNA Manipulations in Ciliates -- A Magic Pot : Self-assembly Computation Revisited. |
| Record Nr. | UNISA-996466036103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 [[electronic resource] ] : Volume 2: Colloquium on Software Engineering (CSE) / / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
| Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 [[electronic resource] ] : Volume 2: Colloquium on Software Engineering (CSE) / / edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher |
| Edizione | [1st ed. 1985.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1985 |
| Descrizione fisica | 1 online resource (XVII, 459 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN | 3-540-39307-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On the relevance of formal methods to software development -- Combining algebraic and predicative specifications in Larch -- The role of proof obligations in software design -- Functional semantics of modules -- Intuition in software development -- A rational design process: How and why to fake it -- Formalization in systems development -- Specifying and prototyping: Some thoughts on why they are successful -- A formal specification of line representations on graphics devices -- Experiences with the PSG — Programming System Generator -- Software construction using typed fragments -- Graph grammar engineering: A method used for the development of an integrated programming support environment -- Multidimensional tree-structured file spaces -- A theory of abstract data types for program development: Bridging the gap? -- Program development and documentation by informal transformations and derivations -- ASSPEGIQUE: An integrated environment for algebraic specifications -- Application of PROLOG to test sets generation from algebraic specifications -- A PROLOG environment for developing and reasoning about data types -- Algebraic specification of synchronisation and errors: A telephonic example -- Modelling concurrent modules -- Synthesis of parallel programs invariants -- Analyzing safety and fault tolerance using Time Petri nets -- Algebraic specification of a communication scheduler -- The integration and distribution phase in the software life cycle -- Formalized software development in an industrial environment -- Object oriented concurrent programming and industrial software production -- Experience of introducing the Vienna development method into an industrial organisation -- EDP system development methodology: Auditability and control -- Experiences with object oriented programming. |
| Record Nr. | UNISA-996466096503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Grammars and Their Application to Computer Science [[electronic resource] ] : 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers. / / edited by Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg
| Graph Grammars and Their Application to Computer Science [[electronic resource] ] : 5th International Workshop, Williamsburg, VA, USA, November (13-18), 1995. Selected Papers. / / edited by Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (XI, 573 p.) |
| Disciplina | 511/.5 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Discrete mathematics
Computer science—Mathematics Mathematical logic Artificial intelligence Discrete Mathematics Mathematics of Computing Mathematical Logic and Formal Languages Mathematical Logic and Foundations Symbolic and Algebraic Manipulation Artificial Intelligence |
| ISBN | 3-540-68388-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A partial algebras approach to graph transformation -- The contractum in algebraic graph rewriting -- A category-theoretical approach to vertex replacement: The generation of infinite graphs -- Issues in the practical use of graph rewriting -- The category of typed graph grammars and its adjunctions with categories of derivations -- Graph unification and matching -- On the interleaving semantics of transformation units — A step into GRACE -- A graph rewriting framework for Statecharts semantics -- Programmed graph transformations and graph transformation units in GRACE -- Pragmatic and semantic aspects of a module concept for graph transformation systems -- Software integration problems and coupling of graph grammar specifications -- Using attributed flow graph parsing to recognize clichés in programs -- Reconfiguration Graph Grammar for massively parallel, fault tolerant computers -- The use of tree transducers to compute translations between graph algebras -- The bounded degree problem for non-obstructing eNCE graph grammars -- Process specification and verification -- An event structure semantics for graph grammars with parallel productions -- Synchronized composition of graph grammar productions -- The decomposition of ESM computations -- Formal relationship between graph grammars and Petri nets -- Hierarchically distributed graph transformation -- On edge addition rewrite systems and their relevance to program analysis -- Graph automata for linear graph languages -- The obstructions of a minor-closed set of graphs defined by hyperedge replacement can be constructed -- Concatenation of graphs -- HRNCE grammars — A hypergraph generating system with an eNCE way of rewriting -- Node replacement in hypergraphs: Simulation of hyperedge replacement, and decidability of confluence -- Chain-code pictures and collages generated by hyperedge replacement -- Transformations of graph grammars -- Drawing graphs with attribute graph grammars -- Graph pattern matching in PROGRES -- A technique for recognizing graphs of bounded treewidth with application to subclasses of partial 2-paths -- The definition in monadic second-order logic of modular decompositions of ordered graphs -- Group based graph transformations and hierarchical representations of graphs -- Integrating lineage and interaction for the visualization of cellular structures -- Cellworks with cell rewriting and cell packing for plant morphogenesis -- Subapical bracketed L-systems. |
| Record Nr. | UNISA-996465595203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Grammars and Their Application to Computer Science [[electronic resource] ] : 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings / / edited by Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg
| Graph Grammars and Their Application to Computer Science [[electronic resource] ] : 4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings / / edited by Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg |
| Edizione | [1st ed. 1991.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
| Descrizione fisica | 1 online resource (X, 706 p.) |
| Disciplina | 004/.01/5115 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Applied mathematics
Engineering mathematics Computers Mathematical logic Software engineering Artificial intelligence Pattern recognition Applications of Mathematics Theory of Computation Mathematical Logic and Formal Languages Software Engineering Artificial Intelligence Pattern Recognition |
| ISBN | 3-540-38395-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A note on hyperedge replacement -- Graph grammars based on node rewriting: an introduction to NLC graph grammars -- Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts -- The logical expression of graph properties -- Panel discussion: The use of graph grammars in applications -- GraphEd: An interactive tool for developing graph grammars -- Presentation of the IPSEN-Environment: An Integrated and Incremental Project Support ENviroment -- Presentation of the PROGRESS-Editor: A text-oriented hybrid editor for PROgrammed Graph REwriting SyStems -- PLEXUS: Tools for analyzing graph grammars -- An algebraic theory of graph reduction -- Programming with very large graphs -- Describing Göttler's operational graph grammars with pushouts -- General solution to a system of recursive equations on hypergraphs -- Construction of map OL-systems for developmental sequences of plant cell layers -- Layout graph grammars: The placement approach -- Cycle chain code picture languages -- An efficient implementation of graph grammars based on the RETE matching algorithm -- An application of graph grammars to the elimination of redundancy from functions defined by schemes -- Graphic equivalence and computer optimization -- Graph grammars and logic programming -- Graphs as relational structures : An algebraic and logical approach -- Context-free handle-rewriting hypergraph grammars -- From graph grammars to high level replacement systems -- Algebraic specification grammars: A junction between module specifications and graph grammars -- A characterization of context-free NCE graph languages by monadic second-order logic on trees -- The term generating power of context-free hypergraph grammars -- Elementary actions on an extended entity-relationship database -- Physically-based graphical interpretation of marker cellwork L-systems -- Dactl: An experimental graph rewriting language -- Use graph grammars to design CAD-systems ! -- Collage grammars -- The four musicians: analogies and expert systems — a graphic approach -- Structured transformations and computation graphs for actor grammars -- Grammatical inference based on hyperedge replacement -- Specifying concurrent languages and systems with ?-grammars -- Graph rewriting in some categories of partial morphisms -- Application of graph grammars to rule-based systems -- Tree automata, tree decomposition and hyperedge replacement -- Recognizing rooted context-free flowgraph languages in polynomial time -- Computing with graph relabelling systems with priorities -- Double-wall cellwork systems for plant meristems -- Programmed derivations of relational structures -- A specification environment for graph grammars -- The theory of graphoids: A survey -- Graph-reducible term rewriting systems -- A note on graph decimation -- Progress: A VHL-language based on graph grammars -- Movement of objects in configuration spaces modelled by graph grammars -- Recognizing edge replacement graph languages in cubic time -- Computing by graph transformation: Overall aims and new results. |
| Record Nr. | UNISA-996465652903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Transformation [[electronic resource] ] : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings / / edited by Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg
| Graph Transformation [[electronic resource] ] : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings / / edited by Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XII, 427 p. 166 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-642-33654-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465610903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Transformation [[electronic resource] ] : First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings / / edited by Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg
| Graph Transformation [[electronic resource] ] : First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings / / edited by Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (X, 466 p.) |
| Disciplina | 511/.5 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Optical data processing
Discrete mathematics Database management Computer science—Mathematics Data structures (Computer science) Software engineering Image Processing and Computer Vision Discrete Mathematics Database Management Discrete Mathematics in Computer Science Data Structures Software Engineering |
| ISBN | 3-540-45832-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering -- Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) -- Biographs as a Model for Mobile Interaction -- Contributed Papers -- Approximating the Behaviour of Graph Transformation Systems -- Transforming Specification Architectures by GenGED -- Decomposing Graphs with Symmetries -- Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems -- Call-by-Value ?-Graph Rewriting Without Rewriting -- Transformation: The Missing Link of MDA -- Termination Detection of Distributed Algorithms by Graph Relabelling Systems -- Graph Transformation with Time: Causality and Logical Clocks -- Relabelling in Graph Transformation -- Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes -- Confluence of Typed Attributed Graph Transformation Systems -- Abstraction and Control for Shapely Nested Graph Transformation -- Hyperedge Substitution in Basic Atom-Replacement Languages -- Distributed Graph Transformation Units -- Describing Policies with Graph Constraints and Rules -- Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts -- Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment -- Graph-Based Reengineering of Telecommunication Systems -- Formalising Behaviour Preserving Program Transformations -- Unparsing of Diagrams with DiaGen -- Linear Ordered Graph Grammars and Their Algebraic Foundations -- Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems -- Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery -- GraCAD – Graph-Based Tool for Conceptual Design -- A Formal Semantics of UML State charts by Model Transition Systems -- Hierarchical Vertex Ordering -- Tutorials and Workshops -- Tutorial Introduction to Graph Transformation: A Software Engineering Perspective -- Tutorial on DNA Computing and Graph Transformation - Computational Nature of Gene Assembly in Ciliates -- TERMGRAPH 2002 Workshop Survey -- Workshop on Graph-Based Tools -- Workshop on Graph Transformation and Visual Modeling Techniques -- Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle -- Workshop on Logic, Graph Transformations and Discrete Structures. |
| Record Nr. | UNISA-996465395003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Transformation [[electronic resource] ] : First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings / / edited by Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg
| Graph Transformation [[electronic resource] ] : First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings / / edited by Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (X, 466 p.) |
| Disciplina | 511/.5 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Optical data processing
Discrete mathematics Database management Computer science—Mathematics Data structures (Computer science) Software engineering Image Processing and Computer Vision Discrete Mathematics Database Management Discrete Mathematics in Computer Science Data Structures Software Engineering |
| ISBN | 3-540-45832-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering -- Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) -- Biographs as a Model for Mobile Interaction -- Contributed Papers -- Approximating the Behaviour of Graph Transformation Systems -- Transforming Specification Architectures by GenGED -- Decomposing Graphs with Symmetries -- Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems -- Call-by-Value ?-Graph Rewriting Without Rewriting -- Transformation: The Missing Link of MDA -- Termination Detection of Distributed Algorithms by Graph Relabelling Systems -- Graph Transformation with Time: Causality and Logical Clocks -- Relabelling in Graph Transformation -- Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes -- Confluence of Typed Attributed Graph Transformation Systems -- Abstraction and Control for Shapely Nested Graph Transformation -- Hyperedge Substitution in Basic Atom-Replacement Languages -- Distributed Graph Transformation Units -- Describing Policies with Graph Constraints and Rules -- Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts -- Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment -- Graph-Based Reengineering of Telecommunication Systems -- Formalising Behaviour Preserving Program Transformations -- Unparsing of Diagrams with DiaGen -- Linear Ordered Graph Grammars and Their Algebraic Foundations -- Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems -- Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery -- GraCAD – Graph-Based Tool for Conceptual Design -- A Formal Semantics of UML State charts by Model Transition Systems -- Hierarchical Vertex Ordering -- Tutorials and Workshops -- Tutorial Introduction to Graph Transformation: A Software Engineering Perspective -- Tutorial on DNA Computing and Graph Transformation - Computational Nature of Gene Assembly in Ciliates -- TERMGRAPH 2002 Workshop Survey -- Workshop on Graph-Based Tools -- Workshop on Graph Transformation and Visual Modeling Techniques -- Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle -- Workshop on Logic, Graph Transformations and Discrete Structures. |
| Record Nr. | UNINA-9910143896703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Graph Transformations [[electronic resource] ] : 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings / / edited by Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr
| Graph Transformations [[electronic resource] ] : 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings / / edited by Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XII, 419 p.) |
| Disciplina | 004 |
| 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 |
1-280-38925-7
9786613567178 3-642-15928-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Speakers -- A False History of True Concurrency: From Petri to Tools -- How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? -- Session 1. Graphs and Logic -- Graph Transformation Units Guided by a SAT Solver -- Delaying Constraint Solving in Symbolic Graph Transformation -- A Dynamic Logic for Termgraph Rewriting -- Session 2. Behavioural Analysis -- A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes -- On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars -- Verification of Graph Transformation Systems with Context-Free Specifications -- Saturated LTSs for Adhesive Rewriting Systems -- A Hoare Calculus for Graph Programs -- Session 3. Models and Model Transformation -- Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars -- Conflict Detection for Model Versioning Based on Graph Modifications -- A Component Concept for Typed Graphs with Inheritance and Containment Structures -- Combining Termination Criteria by Isolating Deletion -- Session 4. Algebraic Foundations -- Graph Rewriting in Span-Categories -- Finitary -Adhesive Categories -- Hereditary Pushouts Reconsidered -- Session 5. Applications -- Graph Transformation for Domain-Specific Discrete Event Time Simulation -- Counterpart Semantics for a Second-Order ?-Calculus -- Declarative Mesh Subdivision Using Topological Rewriting in MGS -- A Model for Distribution and Revocation of Certificates -- Session 6. Rule Composition -- Local Confluence for Rules with Nested Application Conditions -- Multi-Amalgamation in Adhesive Categories -- Amalgamating Pushout and Pullback Graph Transformation in Collagories -- Doctoral Symposium -- ICGT 2010 Doctoral Symposium -- EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment -- Recognizable Graph Languages for the Verification of Dynamic Systems -- Stochastic Modelling and Simulation of Dynamic Resource Allocation -- Bisimulation Theory for Graph Transformation Systems -- Realizing Impure Functions in Interaction Nets -- Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures -- Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems -- LTS Semantics for Process Calculi from Their Graphical Encodings -- Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems -- Correctness of Graph Programs Relative to HR?+? Conditions -- Static Type Checking of Model Transformation Programs -- Using Graph Transformations and Graph Abstractions for Software Verification. |
| Record Nr. | UNISA-996465906403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
