Skip to main content
SpringerLink
Log in

Software, Services, and Systems

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

  • Book
  • © 2015

Overview

Editors:
  1. Rocco Nicola

    1. IMT Institute for Advanced Studies Lucca, Lucca, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Rolf Hennicker

    1. Ludwig-Maximilians-Universität München, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Honors Martin Wirsing for his highly creative, remarkably fruitful and intellectually generous lifework
  • Features scientific evolution in logical and algebraic foundations, algebraic specifications, institutions and rewriting, as well as foundations of software engineering
  • Presents research ideas that in many cases have been deeply influenced by Martin's work in the field of service oriented systems and adaptive and autonomic systems

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

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.

Similar content being viewed by others

Keywords

Table of contents (38 chapters)

  1. Front Matter

    Download chapter PDF

  2. A Homage to Martin Wirsing

    • Rocco De Nicola, Rolf Hennicker
    Pages 1-12

  3. Homage from Friends

    1. Ode to the PST

      • Matthias Hölzl, Nora Koch, Philip Mayer, Andreas Schroeder, Lenz Belzner, Marianne Busch et al.
      Pages 13-23

    2. From Formal Logic through Program Transformations to System Dynamics: 40 Years of Meeting Points with Martin Wirsing

      • Wolfgang Hesse
      Pages 24-26

    3. The Broad View: How To Spawn a Radical Organizational Transformation ‘En Passant’

      • Heinrich Hussmann
      Pages 27-29

  4. Logical and Algebraic Foundations

    1. Modal Satisfiability via SMT Solving

      • Carlos Areces, Pascal Fontaine, Stephan Merz
      Pages 30-45

    2. Division by Zero in Common Meadows

      • Jan A. Bergstra, Alban Ponse
      Pages 46-61

    3. Logical Relations and Nondeterminism

      • Martin Hofmann
      Pages 62-74

    4. Simplified Coalgebraic Trace Equivalence

      • Alexander Kurz, Stefan Milius, Dirk Pattinson, Lutz Schröder
      Pages 75-90

    5. Localized Operational Termination in General Logics

      • Salvador Lucas, José Meseguer
      Pages 91-114

    6. Partial Valuation Structures for Qualitative Soft Constraints

      • Alexander Schiendorfer, Alexander Knapp, Jan-Philipp Steghöfer, Gerrit Anders, Florian Siefert, Wolfgang Reif
      Pages 115-133

  5. Algebraic Specifications, Institutions, and Rewriting

    1. An Institution for Object-Z with Inheritance and Polymorphism

      • Hubert Baumeister, Mohamed Bettaz, Mourad Maouche, M’hamed Mosteghanemi
      Pages 134-154

    2. Abstract Constraint Data Types

      • José Luiz Fiadeiro, Fernando Orejas
      Pages 155-170

    3. Generate & Check Method for Verifying Transition Systems in CafeOBJ 

      • Kokichi Futatsugi
      Pages 171-192

    4. Institutions for OCL-Like Expression Languages

      • Alexander Knapp, María Victoria Cengarle
      Pages 193-214

    5. Towards an Institutional Framework for Heterogeneous Formal Development in UML

      • Alexander Knapp, Till Mossakowski, Markus Roggenbach
      Pages 215-230

    6. Formal Analysis of Leader Election in MANETs Using Real-Time Maude

      • Si Liu, Peter Csaba Ölveczky, José Meseguer
      Pages 231-252

    7. The Foundational Legacy of ASL

      • Donald Sannella, Andrzej Tarlecki
      Pages 253-272

    8. Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems

      • Carolyn Talcott, Farhad Arbab, Maneesh Yadav
      Pages 273-290

  6. Foundations of Software Engineering

    1. Structured Document Algebra in Action

      • Don Batory, Peter Höfner, Dominik Köppl, Bernhard Möller, Andreas Zelend
      Pages 291-311
Back to top

Editors and Affiliations

  • IMT Institute for Advanced Studies Lucca, Lucca, Italy

    Rocco Nicola

  • Ludwig-Maximilians-Universität München, Germany

    Rolf Hennicker

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation