A homage to Martin Wirsing

DOI10.1007/978-3-319-15545-6_1MaRDI QIDQ5256328zbMATH OpenOpenAlexFDO

Authors Rocco De Nicola, Rolf Hennicker

Publication date 22 June 2015

Published in Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-15545-6_1

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of computer science (68-03)

Recommendations

• From formal logic through program transformations to system dynamics: 40 years of meeting points with Martin Wirsing
• Foreword
• Tribute to our friend and colleague Jean Mawhin
• Introduction to the special issue in honor of the 60th birthday of Jean-Paul Allouche
• Ode to the PST

Cites work

• scientific article; zbMATH DE number 1693528 (Why is no real title available?)
• scientific article; zbMATH DE number 2088824 (Why is no real title available?)
• scientific article; zbMATH DE number 3819086 (Why is no real title available?)
• scientific article; zbMATH DE number 49802 (Why is no real title available?)
• scientific article; zbMATH DE number 3630737 (Why is no real title available?)
• scientific article; zbMATH DE number 1142323 (Why is no real title available?)
• scientific article; zbMATH DE number 1951128 (Why is no real title available?)
• scientific article; zbMATH DE number 1956481 (Why is no real title available?)
• A Heterogeneous Approach to UML Semantics
• A contract-based approach to adaptivity
• A formal approach to object-oriented software engineering
• A rewriting logic framework for soft constraints
• Adapting Proofs-as-Programs
• Behavioural and abstractor specifications
• Comparing goal-oriented and procedural service orchestration
• Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten
• Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen
• On hierarchies of abstract data types
• On the algebraic definition of programming languages
• Partial abstract types
• Programming in a wide spectrum language: A collection of examples
• Proof systems for structured specifications with observability operators
• Small Universal Post Systems
• Specification and refinement of mobile systems in MTLA and mobile UML
• Structured algebraic specifications: A kernel language
• What Is a Multi-modeling Language?
• Which soft constraints do you prefer?

Cited in

(10)

• A tribute to Juliusz Schauder
• Honouring marc feix
• A Tribute to Matts Essén
• From formal logic through program transformations to system dynamics: 40 years of meeting points with Martin Wirsing
• Tribute to our friend and colleague Jean Mawhin
• scientific article; zbMATH DE number 5790246 (Why is no real title available?)
• scientific article; zbMATH DE number 2226486 (Why is no real title available?)
• Foreword
• A tribute to Hans Schneider
• A personal appreciation of Walter Noll

Describes a project that uses

Uses Software

• PAGODA
• Maude

This page was built for publication: A homage to Martin Wirsing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5256328)