default search action
60. Birthday: Hartmut Ehrig, 2005
- Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer:
Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 3393, Springer 2005, ISBN 3-540-24936-2
Graph Transformation
- Paolo Baldan, Andrea Corradini:
On the Concurrent Semantics of Algebraic Graph Grammars. 3-23 - Luciano Baresi, Mauro Pezzè:
From Graph Transformation to Software Engineering and Back. 24-37 - Gregor Engels, Reiko Heckel, Alexey Cherchago:
Flexible Interconnection of Graph Transformation Modules. 38-63 - Claudia Ermel, Gabriele Taentzer, Roswitha Bardohl:
Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation. 64-83 - Fabio Gadducci, Ugo Montanari:
Graph Processes with Fusions: Concurrency by Colimits, Again. 84-100 - Berthold Hoffmann:
Graph Transformation with Variables. 101-115 - Francesc Rosselló, Gabriel Valiente:
Graph Transformation in Molecular Biology. 116-133 - Hans Jürgen Schneider:
Changing Labels in the Double-Pushout Approach Can Be Treated Categorically. 134-149
Algebraic Specification and Logic
- Michael A. Arbib:
Modules, Brains and Schemas. 153-166 - Egidio Astesiano, Gianna Reggio:
From Conditional Specifications to Interaction Charts. 167-189 - Michael Löwe, Harald König, Christoph Schulz:
Algebraic Properties of Interfaces. 190-203 - Bernd Mahr, Sebastian Bab:
inT-Integration of Logics. 204-219 - José Meseguer:
Functorial Semantics of Rewrite Theories. 220-235 - Peter Padawitz:
Expander2. 236-258 - Eric G. Wagner:
Relationships Between Equational and Inductive Data Types. 259-274 - Uwe Wolter:
Cofree Coalgebras for Signature Morphisms. 275-290
Formal and Visual Modeling
- Annegret Habel, Karl-Heinz Pennemann:
Nested Constraints and Application Conditions for High-Level Structures. 293-308 - David Harel, Hillel Kugler, Amir Pnueli:
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. 309-324 - Dirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg:
Main Concepts of Networks of Transformation Units with Interlinking Semantics. 325-342 - Robin Milner:
Embeddings and Contexts for Link Graphs. 343-351 - Fernando Orejas, Sonia Pérez:
Towards Architectural Connectors for UML. 352-369 - Julia Padberg, Hans-Jörg Kreowski:
Loose Semantics of Petri Nets. 370-384 - Leila Ribeiro, Fernando Luís Dotti, Roswitha Bardohl:
A Formal Framework for the Development of Concurrent Object-Based Systems. 385-401 - Eckehard Schnieder, Jörg R. Müller:
A Formal Description of the Basic Concepts of System Theory for Transportation. 402-411
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.