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.
Algebraic System Specification and Development [[electronic resource] ] : A Survey and Annotated Bibliography / / edited by Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella
| Algebraic System Specification and Development [[electronic resource] ] : A Survey and Annotated Bibliography / / edited by Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella |
| Edizione | [1st ed. 1991.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
| Descrizione fisica | 1 online resource (XII, 184 p.) |
| Disciplina | 004.2/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer organization
Computer Systems Organization and Communication Networks |
| ISBN | 3-540-47382-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Basic foundations -- Models and logics -- Development concepts -- Support tools -- Applications. |
| Record Nr. | UNISA-996465945103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 Methods in Software and Systems Modeling [[electronic resource] ] : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / / edited by Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer
| Formal Methods in Software and Systems Modeling [[electronic resource] ] : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday / / edited by Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XXVIII, 420 p.) |
| Disciplina | 004/.01/51 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Mathematical logic
Computer logic Software engineering Computer science—Mathematics Programming languages (Electronic computers) Computers Mathematical Logic and Formal Languages Logics and Meanings of Programs Software Engineering Discrete Mathematics in Computer Science Programming Languages, Compilers, Interpreters Computation by Abstract Devices |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Graph Transformation -- On the Concurrent Semantics of Algebraic Graph Grammars -- From Graph Transformation to Software Engineering and Back -- Flexible Interconnection of Graph Transformation Modules -- Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation -- Graph Processes with Fusions: Concurrency by Colimits, Again -- Graph Transformation with Variables -- Graph Transformation in Molecular Biology -- Changing Labels in the Double-Pushout Approach Can Be Treated Categorically -- Algebraic Specification and Logic -- Modules, Brains and Schemas -- From Conditional Specifications to Interaction Charts -- Algebraic Properties of Interfaces -- ? T -Integration of Logics -- Functorial Semantics of Rewrite Theories -- Expander2 -- Relationships Between Equational and Inductive Data Types -- Cofree Coalgebras for Signature Morphisms -- Formal and Visual Modeling -- Nested Constraints and Application Conditions for High-Level Structures -- Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements -- Main Concepts of Networks of Transformation Units with Interlinking Semantics -- Embeddings and Contexts for Link Graphs -- Towards Architectural Connectors for UML -- Loose Semantics of Petri Nets -- A Formal Framework for the Development of Concurrent Object-Based Systems -- A Formal Description of the Basic Concepts of System Theory for Transportation. |
| Record Nr. | UNISA-996465956603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| 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 : 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 : 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 | ||
| ||
Recent Trends in Algebraic Development Techniques [[electronic resource] ] : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers / / edited by Till Mossakowski, Hans-Jörg Kreowski
| Recent Trends in Algebraic Development Techniques [[electronic resource] ] : 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers / / edited by Till Mossakowski, Hans-Jörg Kreowski |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (X, 303 p.) |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Computer science—Mathematics Mathematical logic Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Mathematics of Computing Theory of Computation Mathematical Logic and Foundations |
| ISBN | 3-642-28412-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465941903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theory and Application of Graph Transformations [[electronic resource] ] : 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers / / edited by Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg
| Theory and Application of Graph Transformations [[electronic resource] ] : 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers / / edited by Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (X, 506 p.) |
| Disciplina | 511.5 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Discrete mathematics Mathematical logic Computer science—Mathematics Artificial intelligence Theory of Computation Discrete Mathematics Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation Artificial Intelligence |
| ISBN | 3-540-46464-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Graph Languages -- Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars -- Tree Languages Generated by Context-Free Graph Grammars -- Neighborhood Expansion Grammars -- Neighborhood-Preserving Node Replacements -- Graph Theory -- Complexity Issues in Switching of Graphs -- The Power of Local Computations in Graphs with Initial Knowledge -- Categorical Approaches -- Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information -- Double-Pushout Approach with Injective Matching -- Node Replacement in Hypergraphs: Translating NCE Rewriting into the Pullback Approacht -- Pushout Complements for Arbitrary Partial Algebras -- Concurrency and Distribution -- Unfolding of Double-Pushout Graph Grammars is a Coreflection -- Local Views on Distributed Systems and Their Communication -- Dynamic Change Management by Distributed Graph Transformation: Towards Configurable Distributed Systems -- A Framework for NLC and ESM: Local Action Systems -- Artificial Intelligence -- Redundancy and Subsumption in High-Level Replacement Systems -- Knowledge Representation and Graph Transformation -- Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching -- Visual Languages -- Conceptual Model of the Graphical Editor GenGEd for the Visual Definition of Visual Languages -- From Formulae to Rewriting Systems -- Hypergraphs as a Uniform Diagram Representation Model -- Specification Concepts -- Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java -- A Fully Abstract Model for Graph-Interpreted Temporal Logic -- More About Control Conditions for Transformation Units -- Integrity Constraints in the Multi-Paradigm Language PROGRES -- Modularity and Refinement -- A Framework for Adding Packages to Graph Transformation Approaches -- Refinements of Graph Transformation Systems via Rule Expressions -- Simple Modules for Grace -- UML Packages for PROgrammed Graph REwriting Systems -- Incremental Development of Safety Properties in Petri Net Transformations -- Software Engineering -- Using Graph Transformation Techniques for Integrating Information from the WWW -- A Model Making Automation Process (MMAP) Using a Graph Grammar Formalism -- Graph-Based Models for Managing Development Processes, Resources, and Products -- Deriving Software Performance Models from Architectural Patterns by Graph Transformations. |
| Record Nr. | UNISA-996465588003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Theory and Application of Graph Transformations : 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers / / edited by Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg
| Theory and Application of Graph Transformations : 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers / / edited by Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (X, 506 p.) |
| Disciplina | 511.5 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Discrete mathematics Mathematical logic Computer science—Mathematics Artificial intelligence Theory of Computation Discrete Mathematics Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation Artificial Intelligence |
| ISBN | 3-540-46464-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Graph Languages -- Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars -- Tree Languages Generated by Context-Free Graph Grammars -- Neighborhood Expansion Grammars -- Neighborhood-Preserving Node Replacements -- Graph Theory -- Complexity Issues in Switching of Graphs -- The Power of Local Computations in Graphs with Initial Knowledge -- Categorical Approaches -- Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information -- Double-Pushout Approach with Injective Matching -- Node Replacement in Hypergraphs: Translating NCE Rewriting into the Pullback Approacht -- Pushout Complements for Arbitrary Partial Algebras -- Concurrency and Distribution -- Unfolding of Double-Pushout Graph Grammars is a Coreflection -- Local Views on Distributed Systems and Their Communication -- Dynamic Change Management by Distributed Graph Transformation: Towards Configurable Distributed Systems -- A Framework for NLC and ESM: Local Action Systems -- Artificial Intelligence -- Redundancy and Subsumption in High-Level Replacement Systems -- Knowledge Representation and Graph Transformation -- Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching -- Visual Languages -- Conceptual Model of the Graphical Editor GenGEd for the Visual Definition of Visual Languages -- From Formulae to Rewriting Systems -- Hypergraphs as a Uniform Diagram Representation Model -- Specification Concepts -- Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java -- A Fully Abstract Model for Graph-Interpreted Temporal Logic -- More About Control Conditions for Transformation Units -- Integrity Constraints in the Multi-Paradigm Language PROGRES -- Modularity and Refinement -- A Framework for Adding Packages to Graph Transformation Approaches -- Refinements of Graph Transformation Systems via Rule Expressions -- Simple Modules for Grace -- UML Packages for PROgrammed Graph REwriting Systems -- Incremental Development of Safety Properties in Petri Net Transformations -- Software Engineering -- Using Graph Transformation Techniques for Integrating Information from the WWW -- A Model Making Automation Process (MMAP) Using a Graph Grammar Formalism -- Graph-Based Models for Managing Development Processes, Resources, and Products -- Deriving Software Performance Models from Architectural Patterns by Graph Transformations. |
| Record Nr. | UNINA-9910143638303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||