Logic, computation and rigorous methods : essays dedicated to Egon Börger on the occasion of his 75th birthday /
Saved in:
Imprint: | Cham : Springer, 2021. |
---|---|
Description: | 1 online resource (367 p.). |
Language: | English |
Series: | Lecture Notes in Computer Science ; 12750 LNCS sublibrary, SL 2, Programming and software engineering Lecture notes in computer science ; 12750. LNCS sublibrary. SL 2, Programming and software engineering. |
Subject: | |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/12614147 |
Table of Contents:
- From Logic and Computation Theory to Rigorous Methods for Software Engineering
- Towards Leveraging Domain Knowledge in State-Based Formal Methods
- Some Observations on Mitotic Sets
- Moded and Continuous Abstract State Machines
- A Stepwise Design Optimization Problem
- Semantic Splitting of Conditional Belief Bases
- Communities and Ancestors Associated with Egon Börger and ASM
- Language and communication problems in formalization: a natural language approach
- ASM Specification and Refinement of a Quantum Algorithm
- Spot the Difference: A Detailed Comparison Between B and Event-B
- Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond
- Analysis of Mobile Networks' Protocols Based on Abstract State Machines
- What is the Natural Abstraction Level of an Algorithm
- The ASMETA approach to safety assurance of software systems
- Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System
- Computation on Structures: Behavioural Theory, Logic, Complexity
- The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes
- Models and Modelling in Computer Science
- A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines.