Programming and Software Engineering

Formal Methods in Software and Systems Modeling

Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Editors: Kreowski, H.-J., Montanari, U., Orejas, F., Rozenberg, G., Taentzer, G. (Eds.)

Buy this book

eBook 79,72 €
price for Spain (gross)
  • ISBN 978-3-540-31847-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 98,79 €
price for Spain (gross)
  • ISBN 978-3-540-24936-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig.

The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.

Table of contents (24 chapters)

  • On the Concurrent Semantics of Algebraic Graph Grammars

    Baldan, Paolo (et al.)

    Pages 3-23

    Preview Buy Chapter 30,19 €
  • From Graph Transformation to Software Engineering and Back

    Baresi, Luciano (et al.)

    Pages 24-37

    Preview Buy Chapter 30,19 €
  • Flexible Interconnection of Graph Transformation Modules

    Engels, Gregor (et al.)

    Pages 38-63

    Preview Buy Chapter 30,19 €
  • Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation

    Ermel, Claudia (et al.)

    Pages 64-83

    Preview Buy Chapter 30,19 €
  • Graph Processes with Fusions: Concurrency by Colimits, Again

    Gadducci, Fabio (et al.)

    Pages 84-100

    Preview Buy Chapter 30,19 €

Buy this book

eBook 79,72 €
price for Spain (gross)
  • ISBN 978-3-540-31847-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 98,79 €
price for Spain (gross)
  • ISBN 978-3-540-24936-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Methods in Software and Systems Modeling
Book Subtitle
Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Editors
  • Hans-Jörg Kreowski
  • Ugo Montanari
  • Fernando Orejas
  • Grzegorz Rozenberg
  • Gabriele Taentzer
Series Title
Programming and Software Engineering
Series Volume
3393
Copyright
2005
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-31847-7
DOI
10.1007/b106390
Softcover ISBN
978-3-540-24936-8
Edition Number
1
Number of Pages
XXVIII, 420
Topics