A Homage to Martin Wirsing

DOI10.1007/978-3-319-15545-6_1zbMath1437.01027MaRDI QIDQ5256328

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

01A70: Biographies, obituaries, personalia, bibliographies

68-03: History of computer science

Uses Software

• Maude
• PAGODA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A contract-based approach to adaptivity
• Specification and refinement of mobile systems in MTLA and mobile UML
• On hierarchies of abstract data types
• Structured algebraic specifications: A kernel language
• Programming in a wide spectrum language: A collection of examples
• Partial abstract types
• Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten
• Proof systems for structured specifications with observability operators
• A formal approach to object-oriented software engineering
• Behavioural and abstractor specifications
• A Rewriting Logic Framework for Soft Constraints
• What Is a Multi-modeling Language?
• A Heterogeneous Approach to UML Semantics
• On the algebraic definition of programming languages
• Small Universal Post Systems
• Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen
• Which Soft Constraints do you Prefer?
• Adapting Proofs-as-Programs
• Comparing goal-oriented and procedural service orchestration1