Raschke / Riccobene / Schewe Rigorous Methods in Theory and Practice

Essays Dedicated to Egon Börger on the Occasion of His 80th Birthday
Erscheinungsjahr 2026
ISBN: 978-3-032-24494-9
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 470 Seiten

Reihe: Computer Science (R0)

This Festschrift is in honor of Egon Börger on the occasion of his 80th birthday. It reflects his impact as a scientist, author, mentor, and community organizer. A pioneer in the fields of logic and computer science, Egon Börger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems.

Prof. Börger has collaborated with a wide range of scientists and practitioners, their interests and successes are reflected in the papers contributed to this volume.

Zielgruppe

Research

Autoren/Hrsg.

Raschke, Alexander

Riccobene, Elvinia

Schewe, Klaus-Dieter

Thalheim, Bernhard

Inhaltsverzeichnis

.- Development of Computer Science and Rigorous Methods

.- Egon Börger’s Contributions to Shaping Rigorous Methods.
.- Formal Methods: Whence and Whither.
.- A Bibliometric analysis of the Abstract State Machine research production and community over the years.

.- Abstract State Machines

.- State-Based Implementation of Algebraic Data Types.
.- Abstract State Machines for Security Assessment.
.- Data in Distributed Computing.
.- A First Step towards Agile Verification of Compilations.
.- A Symbolic Execution Approach to Bounded Verification of Abstract State Machines.
.- Bridging specification and implementation in CoreASM plugins.

.- Rigorous State-Based Methods

.- From Event-B to Lambdapi and TLA+.
.- Design of correct by construction algorithms by double checking properties.
.- From Abstract State Machines to B: A Translation of a Medical Pillbox Model.
.- Enhancing the expressibility of ASM-defined classes of algorithms with Event-B.
.- Refinement-Centric Hazard Analysis with SHARCS: A Case Study Bridging Requirements and Formal Mode.

.- Logic and Theory of Computation

.- Capturing Quantum Algorithms by Quantum Abstract State Machines.
.- Inductive Nonmonotonic Reasoning Based on Defeasible and Indefeasible Beliefs.
.- Non-Deterministic Algorithms – Capture By Abstract State Machines.

.- Modelling

.- Establishing Language-Backed Modelling.
.- Modeling and Implementing Human-Centered Digital Twins.