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
    2. Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti
      Pages 312-328
    3. Bernd Krieg-Brückner, Serge Autexier, Martin Rink, Sidoine Ghomsi Nokam
      Pages 355-376
    4. Gianna Reggio, Egidio Astesiano, Christine Choppy
      Pages 377-408
    5. Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga
      Pages 409-439
    6. Harald Störrle
      Pages 440-457
    7. Thomas Trojer, Matthias Farwick, Martin Häusler, Ruth Breu
      Pages 458-474
  7. Service-Oriented Systems

    1. Bernhard Bauer, Melanie Langermeier, Christian Saad
      Pages 475-489
    2. Stephen Gilmore, Jane Hillston, Mirco Tribastone
      Pages 490-505
    3. Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro
      Pages 506-521
    4. Flemming Nielson, Hanne Riis Nielson, Kebin Zeng
      Pages 522-537
  8. Adaptive and Autonomic Systems

    1. Nicola Bicocchi, Letizia Leonardi, Franco Zambonelii
      Pages 538-551
    2. Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente, Andrea Vandin
      Pages 552-581
    3. Antonio Bucchiarone, Hartmut Ehrig, Claudia Ermel, Patrizio Pelliccione, Olga Runge
      Pages 582-601
    4. Tomáš Bureš, Ilias Gerostathopoulos, Jaroslav Keznikl, František Plášil, Petr Tůma
      Pages 602-618
    5. Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni
      Pages 619-640
    6. Ugo Montanari, Rosario Pugliese, Francesco Tiezzi
      Pages 641-661
    7. Nikola Šerbedžija
      Pages 662-675
    8. Emil Vassev, Mike Hinchey
      Pages 676-692
  9. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment