Formal Methods in Software and Systems Modeling

Keyphrases

Publications

2005

José Meseguer
Functorial Semantics of Rewrite Theories. Formal Methods in Software and Systems Modeling (2005)
Berthold Hoffmann
Graph Transformation with Variables. Formal Methods in Software and Systems Modeling (2005)
Hans Jürgen Schneider
Changing Labels in the Double-Pushout Approach Can Be Treated Categorically. Formal Methods in Software and Systems Modeling (2005)
Francesc Rosselló, Gabriel Valiente
Graph Transformation in Molecular Biology. Formal Methods in Software and Systems Modeling (2005)
Michael Löwe, Harald König, Christoph Schulz
Algebraic Properties of Interfaces. Formal Methods in Software and Systems Modeling (2005)
Paolo Baldan, Andrea Corradini
On the Concurrent Semantics of Algebraic Graph Grammars. Formal Methods in Software and Systems Modeling (2005)
Dirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg
Main Concepts of Networks of Transformation Units with Interlinking Semantics. Formal Methods in Software and Systems Modeling (2005)
Claudia Ermel, Gabriele Taentzer, Roswitha Bardohl
Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation. Formal Methods in Software and Systems Modeling (2005)
Michael A. Arbib
Modules, Brains and Schemas. Formal Methods in Software and Systems Modeling (2005)
Fabio Gadducci, Ugo Montanari
Graph Processes with Fusions: Concurrency by Colimits, Again. Formal Methods in Software and Systems Modeling (2005)
Peter Padawitz
Expander2. Formal Methods in Software and Systems Modeling (2005)
Bernd Mahr, Sebastian Bab
-Integration of Logics. Formal Methods in Software and Systems Modeling (2005)
Egidio Astesiano, Gianna Reggio
From Conditional Specifications to Interaction Charts. Formal Methods in Software and Systems Modeling (2005)
David Harel, Hillel Kugler, Amir Pnueli
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. Formal Methods in Software and Systems Modeling (2005)
Julia Padberg, Hans-Jörg Kreowski
Loose Semantics of Petri Nets. Formal Methods in Software and Systems Modeling (2005)
Eric G. Wagner
Relationships Between Equational and Inductive Data Types. Formal Methods in Software and Systems Modeling (2005)
Eckehard Schnieder, Jörg R. Müller
A Formal Description of the Basic Concepts of System Theory for Transportation. Formal Methods in Software and Systems Modeling (2005)
Gregor Engels, Reiko Heckel, Alexey Cherchago
Flexible Interconnection of Graph Transformation Modules. Formal Methods in Software and Systems Modeling (2005)
Uwe Wolter
Cofree Coalgebras for Signature Morphisms. Formal Methods in Software and Systems Modeling (2005)
Luciano Baresi, Mauro Pezzè
From Graph Transformation to Software Engineering and Back. Formal Methods in Software and Systems Modeling (2005)
Annegret Habel, Karl-Heinz Pennemann
Nested Constraints and Application Conditions for High-Level Structures. Formal Methods in Software and Systems Modeling (2005)
Fernando Orejas, Sonia Pérez
Towards Architectural Connectors for UML. Formal Methods in Software and Systems Modeling (2005)
Leila Ribeiro, Fernando Luís Dotti, Roswitha Bardohl
A Formal Framework for the Development of Concurrent Object-Based Systems. Formal Methods in Software and Systems Modeling (2005)
Robin Milner
Embeddings and Contexts for Link Graphs. Formal Methods in Software and Systems Modeling (2005)

volume 3393, 2005

Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday Formal Methods in Software and Systems Modeling 3393 (2005)