60. Birthday:
Hartmut Ehrig,
2005
Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (Eds.):
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 BibTeX
Graph Transformation
Algebraic Specification and Logic
Formal and Visual Modeling
- Annegret Habel, Karl-Heinz Pennemann:
Nested Constraints and Application Conditions for High-Level Structures.
293-308
Electronic Edition (link) BibTeX
- David Harel, Hillel Kugler, Amir Pnueli:
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements.
309-324
Electronic Edition (link) BibTeX
- Dirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg:
Main Concepts of Networks of Transformation Units with Interlinking Semantics.
325-342
Electronic Edition (link) BibTeX
- Robin Milner:
Embeddings and Contexts for Link Graphs.
343-351
Electronic Edition (link) BibTeX
- Fernando Orejas, Sonia Pérez:
Towards Architectural Connectors for UML.
352-369
Electronic Edition (link) BibTeX
- Julia Padberg, Hans-Jörg Kreowski:
Loose Semantics of Petri Nets.
370-384
Electronic Edition (link) BibTeX
- Leila Ribeiro, Fernando Luís Dotti, Roswitha Bardohl:
A Formal Framework for the Development of Concurrent Object-Based Systems.
385-401
Electronic Edition (link) BibTeX
- Eckehard Schnieder, Jörg R. Müller:
A Formal Description of the Basic Concepts of System Theory for Transportation.
402-411
Electronic Edition (link) BibTeX
Copyright © Sat May 16 22:59:40 2009
by Michael Ley (ley@uni-trier.de)
