Skip to main content
SpringerLink
Log in

Logic, Computation and Rigorous Methods

Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday

  • Book
  • © 2021

Overview

Editors:
  1. Alexander Raschke

    1. Institut für Softwaretechnik und Programmiersprachen, University of Ulm, Ulm, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Elvinia Riccobene

    1. Dipartimento di Informatica, Università degli Studi di Milano, Crema, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Klaus-Dieter Schewe

    1. UIUC Institute, Zhejiang University, Haining, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Dedicated to 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
  • Invited contributions in this volume by leading researchers in the areas of Software Engineering, Programming Languages, Business Information Systems, and Computer Science Logic
  • Festschrift acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12750)

Part of the book sub series: Programming and Software Engineering (LNPSE)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 chapters)

  1. Front Matter

    Pages i-xvi
    Download chapter PDF

  2. Towards Leveraging Domain Knowledge in State-Based Formal Methods

    • Yamine Aït-Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh
    Pages 1-13

  3. Some Observations on Mitotic Sets

    • Klaus Ambos-Spies
    Pages 14-28

  4. Moded and Continuous Abstract State Machines

    • Richard Banach, Huibiao Zhu
    Pages 29-62

  5. Product Optimization in Stepwise Design

    • Don Batory, Jeho Oh, Ruben Heradio, David Benavides
    Pages 63-81

  6. Semantic Splitting of Conditional Belief Bases

    • Christoph Beierle, Jonas Haldimann, Gabriele Kern-Isberner
    Pages 82-95

  7. Communities and Ancestors Associated with Egon Börger and ASM

    • Jonathan P. Bowen
    Pages 96-120

  8. Language and Communication Problems in Formalization: A Natural Language Approach

    • Alessandro Fantechi, Stefania Gnesi, Laura Semini
    Pages 121-134

  9. ASM Specification and Refinement of a Quantum Algorithm

    • Flavio Ferrarotti, Sénen González
    Pages 135-146

  10. Spot the Difference: A Detailed Comparison Between B and Event-B

    • Michael Leuschel
    Pages 147-172

  11. Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond

    • J. A. Makowsky
    Pages 173-186

  12. Analysis of Mobile Networks’ Protocols Based on Abstract State Machine

    • Emanuele Covino, Giovanni Pani
    Pages 187-198

  13. What is the Natural Abstraction Level of an Algorithm?

    • Andreas Prinz
    Pages 199-214

  14. The ASMETA Approach to Safety Assurance of Software Systems

    • Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
    Pages 215-238

  15. Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System

    • Stefan Bodenmüller, Gerhard Schellhorn, Martin Bitterlich, Wolfgang Reif
    Pages 239-265

  16. Computation on Structures

    • Klaus-Dieter Schewe
    Pages 266-282

  17. The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes

    • Matthes Elstermann, André Wolski, Albert Fleischmann, Christian Stary, Stephan Borgert
    Pages 283-300

  18. Models and Modelling in Computer Science

    • Bernhard Thalheim
    Pages 301-325

  19. A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines

    • Wolf Zimmermann, Mandy Weißbach
    Pages 326-352

  20. Back Matter

    Pages 353-353
    Download chapter PDF
Back to top

Keywords

About this book

This Festschrift was published in honor of Egon Börger on the occasion of his 75th birthday.

It acknowledges Prof. Börger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to 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.

The 18 invited contributions in this volume are by leading researchers in the areas of software engineering, programming languages, business information systems, and computer science logic.

Editors and Affiliations

  • Institut für Softwaretechnik und Programmiersprachen, University of Ulm, Ulm, Germany

    Alexander Raschke

  • Dipartimento di Informatica, Università degli Studi di Milano, Crema, Italy

    Elvinia Riccobene

  • UIUC Institute, Zhejiang University, Haining, China

    Klaus-Dieter Schewe

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation