Software, Services, and Systems

Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering

  • Rocco De Nicola
  • Rolf Hennicker

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8950)

Table of contents

  1. Front Matter
  2. Rocco De Nicola, Rolf Hennicker
    Pages 1-12
  3. Homage from Friends

    1. Matthias Hölzl, Nora Koch, Philip Mayer, Andreas Schroeder, Lenz Belzner, Marianne Busch et al.
      Pages 13-23
  4. Logical and Algebraic Foundations

    1. Carlos Areces, Pascal Fontaine, Stephan Merz
      Pages 30-45
    2. Jan A. Bergstra, Alban Ponse
      Pages 46-61
    3. Martin Hofmann
      Pages 62-74
    4. Alexander Kurz, Stefan Milius, Dirk Pattinson, Lutz Schröder
      Pages 75-90
    5. Salvador Lucas, José Meseguer
      Pages 91-114
    6. Alexander Schiendorfer, Alexander Knapp, Jan-Philipp Steghöfer, Gerrit Anders, Florian Siefert, Wolfgang Reif
      Pages 115-133
  5. Algebraic Specifications, Institutions, and Rewriting

    1. Hubert Baumeister, Mohamed Bettaz, Mourad Maouche, M’hamed Mosteghanemi
      Pages 134-154
    2. José Luiz Fiadeiro, Fernando Orejas
      Pages 155-170
    3. Alexander Knapp, María Victoria Cengarle
      Pages 193-214
    4. Alexander Knapp, Till Mossakowski, Markus Roggenbach
      Pages 215-230
    5. Si Liu, Peter Csaba Ölveczky, José Meseguer
      Pages 231-252
    6. Donald Sannella, Andrzej Tarlecki
      Pages 253-272
  6. Foundations of Software Engineering

    1. Don Batory, Peter Höfner, Dominik Köppl, Bernhard Möller, Andreas Zelend
      Pages 291-311

About this book


This book is dedicated to Professor Martin Wirsing on the occasion of his emeritation from Ludwig-Maximilians-Universität in Munich, Germany. The volume is a reflection, with gratitude and admiration, on Professor Wirsing’s life highly creative, remarkably fruitful and intellectually generous life. It also gives a snapshot of the research ideas that in many cases have been deeply influenced by Professor Wirsing’s work.

The book consists of six sections. The first section contains personal remembrances and expressions of gratitude from friends of Professor Wirsing. The remaining five sections consist of groups of scientific papers written by colleagues and collaborators of Professor Wirsing, which have been grouped and ordered according to his scientific evolution. More specifically, the papers are concerned with logical and algebraic foundations; algebraic specifications, institutions and rewriting; foundations of software engineering; service oriented systems; and adaptive and autonomic systems.


architecture refinement automatic computing computational models constraint hierarchies dynamic systems feature-oriented design formal analysis general logics graph transformation organic computing programming languages requirements self-adaptive systems soft constraints software architectures software engineering models software product lines system specification theorem proving verification

Editors and affiliations

  • Rocco De Nicola
    • 1
  • Rolf Hennicker
    • 2
  1. 1.IMT Institute for Advanced Studies LuccaLuccaItaly
  2. 2.Ludwig-Maximilians-Universität MünchenGermany

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-15544-9
  • Online ISBN 978-3-319-15545-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Chemical Manufacturing
Energy, Utilities & Environment