Rigorous methods in theory and practice : essays dedicated to Egon Börger on the occasion of his 80th birthday / Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe, Bernhard Thalheim, editors

Format:

Book

Contributor:

Börger, E. (Egon), 1946- honouree.

Raschke, Alexander, editor.

Riccobene, Elvinia, 1964- editor.

Schewe, Klaus-Dieter, editor.

Thalheim, B. (Bernhard), 1952- editor.

Series:

Lecture notes in computer science ; 1611-3349 16580.

Lecture notes in computer science, 1611-3349 ; 16580

Language:

English

Subjects (All):

Formal methods (Computer science).

Software architecture.

Abstract data types (Computer science).

Physical Description:

1 online resource : illustrations

black and white

illustrations

Place of Publication:

Cham, Switzerland : Springer, [2026]

Summary:

"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"-- Springer Nature Link

Contents:

Egon Börger’s contributions to shaping rigorous methods / Hans Langmaack, Alexander Raschke, Klaus-Dieter Schewe, and Bernhard Thalheim

Formal methods : whence and whither? / Jonathan P. Bowen

A bibliometric analysis of the abstract state machine research production and community over the years / Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, and Nico Pellegrinelli

State-based implementation of algebraic data types / Gerhard Schellhorn, Felix Pribyl, and Wolfgang Reif

Abstract state machines for security assessment / Chiara Braghin and Elvinia Riccobene

Data in distributed computing / Andreas Prinz, Iulian Ober, and Edel Sherratt

A first step towards agile verification of compilations / Wolf Zimmermann, Thomas Kühn, Edward Sabinus, and Mandy Weißbach

A symbolic execution approach to bounded verification of abstract state machines / Giuseppe Del Castillo

Bridging specification and implementation in CoreASM plugins / Vincenzo Gervasi and Federico Miraglia

From Event-B to Lambdapi and TLA+ / Yamine Ait-Ameur, Jean-Paul Bodeveix, Christophe Chen, Guillaume Dupont, Elie Fares, Mamoun Filali, Anne Grieu, Ismail Mendil, Marc Pantel, Peter Rivière, Neeraj Kumar Singh, and Guillaume Verdier

Design of correct by construction algorithms by double checking properties / Dominique Méry

Structure as semantics : impedance modeling and retrenchment in cyber-physical systems / John Baugh, Richard Banach, and Eunsuk Kang

From abstract state machines to B : a translation of a medical pillbox model / Michael Leuschel

A streamlined semantics for TASTD / Diego de Azevedo Oliveira and Marc Frappier

Enhancing the expressibility of ASM-defined classes of algorithms with Event-B / Julien Cervelle, Frédéric Gervais, Pierre Valarcher, and Régine Laleau

Refinement-centric hazard analysis with SHARCS : a case study bridging requirements and formal model / Asieh Salehi Fathabadi, Colin Snook, Thai Son Hoang, and Michael Butler

Capturing quantum algorithms by quantum abstract state machines / Flavio Ferrarotti and Klaus-Dieter Schewe

Inductive nonmonotonic reasoning based on defeasible and indefeasible beliefs / Christoph Beierle, Alexander Hahn, Gabriele Kern-Isberner, and Lars-Phillip Spiegel

Non-deterministic algorithms – capture by abstract state machines / Klaus-Dieter Schewe and Flavio Ferrarotti

Establishing language-backed modelling / Bernhard Thalheim

Modeling and implementing human-centered digital twins / Albert Fleischmann and Christian Stary

Notes:

Includes bibliographical references and index

Online resource; title from PDF title page (Springer Nature Link, viewed August 3, 2026)

Other Format:

Print version: Rigorous methods in theory and practice

ISBN:

9783032244949

3032244943

OCLC:

1601479226

Access Restriction:

Restricted for use by site license