Book Volume 8950 2015

Software, Services, and Systems

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

Editors:

ISBN: 978-3-319-15544-9 (Print) 978-3-319-15545-6 (Online)

Table of contents (38 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. No Access

    Chapter

    Pages 1-12

    A Homage to Martin Wirsing

  3. Homage from Friends

    1. No Access

      Chapter

      Pages 13-23

      Ode to the PST

    2. No Access

      Chapter

      Pages 24-26

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

    3. No Access

      Chapter

      Pages 27-29

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

  4. Logical and Algebraic Foundations

    1. No Access

      Chapter

      Pages 30-45

      Modal Satisfiability via SMT Solving

    2. No Access

      Chapter

      Pages 46-61

      Division by Zero in Common Meadows

    3. No Access

      Chapter

      Pages 62-74

      Logical Relations and Nondeterminism

    4. No Access

      Chapter

      Pages 75-90

      Simplified Coalgebraic Trace Equivalence

    5. No Access

      Chapter

      Pages 91-114

      Localized Operational Termination in General Logics

    6. No Access

      Chapter

      Pages 115-133

      Partial Valuation Structures for Qualitative Soft Constraints

  5. Algebraic Specifications, Institutions, and Rewriting

    1. No Access

      Chapter

      Pages 134-154

      An Institution for Object-Z with Inheritance and Polymorphism

    2. No Access

      Chapter

      Pages 155-170

      Abstract Constraint Data Types

    3. No Access

      Chapter

      Pages 171-192

      Generate & Check Method for Verifying Transition Systems in CafeOBJ 

    4. No Access

      Chapter

      Pages 193-214

      Institutions for OCL-Like Expression Languages

    5. No Access

      Chapter

      Pages 215-230

      Towards an Institutional Framework for Heterogeneous Formal Development in UML

    6. No Access

      Chapter

      Pages 231-252

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

    7. No Access

      Chapter

      Pages 253-272

      The Foundational Legacy of ASL

    8. No Access

      Chapter

      Pages 273-290

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

  6. Foundations of Software Engineering

    1. No Access

      Chapter

      Pages 291-311

      Structured Document Algebra in Action

    2. No Access

      Chapter

      Pages 312-328

      From EU Projects to a Family of Model Checkers

previous Page of 2