Formal Methods in Software and Systems Modeling - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540249368, 9783540318477

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

From Graph Transformation to Software Engineering and Back

Formal Methods in Software and Systems Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31847-7_2 ◽

2005 ◽

pp. 24-37

Author(s):

Luciano Baresi ◽

Mauro Pezzè

Keyword(s):

Software Engineering ◽

Graph Transformation

Download Full-text

Functorial Semantics of Rewrite Theories

Formal Methods in Software and Systems Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31847-7_13 ◽

2005 ◽

pp. 220-235 ◽

Author(s):

José Meseguer

Download Full-text

Graph Transformation in Molecular Biology

Formal Methods in Software and Systems Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31847-7_7 ◽

2005 ◽

pp. 116-133 ◽

Author(s):

Francesc Rosselló ◽

Gabriel Valiente

Keyword(s):

Molecular Biology ◽

Graph Transformation

Download Full-text

Graph Transformation with Variables

Formal Methods in Software and Systems Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31847-7_6 ◽

2005 ◽

pp. 101-115 ◽

Author(s):

Berthold Hoffmann

Keyword(s):

Graph Transformation

Download Full-text

A Formal Framework for the Development of Concurrent Object-Based Systems

Formal Methods in Software and Systems Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31847-7_23 ◽

2005 ◽

pp. 385-401 ◽

Author(s):

Leila Ribeiro ◽

Fernando Luís Dotti ◽

Roswitha Bardohl

Keyword(s):

Object Based ◽

Formal Framework

Download Full-text

Loose Semantics of Petri Nets

Formal Methods in Software and Systems Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31847-7_22 ◽

2005 ◽

pp. 370-384

Author(s):

Julia Padberg ◽

Hans-Jörg Kreowski

Keyword(s):

Download Full-text

Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation

Formal Methods in Software and Systems Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31847-7_4 ◽

2005 ◽

pp. 64-83 ◽

Author(s):

Claudia Ermel ◽

Gabriele Taentzer ◽

Roswitha Bardohl

Keyword(s):

Graph Transformation ◽

Attributed Graph ◽

Download Full-text

Flexible Interconnection of Graph Transformation Modules

Formal Methods in Software and Systems Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31847-7_3 ◽

2005 ◽

pp. 38-63 ◽

Author(s):

Gregor Engels ◽

Reiko Heckel ◽

Alexey Cherchago

Keyword(s):

Graph Transformation

Download Full-text

Algebraic Properties of Interfaces

Formal Methods in Software and Systems Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31847-7_11 ◽

2005 ◽

pp. 190-203 ◽

Author(s):

Michael Löwe ◽

Harald König ◽

Christoph Schulz

Keyword(s):

Algebraic Properties

Download Full-text

Nested Constraints and Application Conditions for High-Level Structures

Formal Methods in Software and Systems Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31847-7_17 ◽

2005 ◽

pp. 293-308 ◽

Author(s):

Annegret Habel ◽

Karl-Heinz Pennemann

Keyword(s):

Download Full-text