LEADER 03716nam 2200529 450 001 9910484970803321 005 20220201084651.0 010 $a3-030-76020-0 024 7 $a10.1007/978-3-030-76020-5 035 $a(CKB)4100000011955195 035 $a(DE-He213)978-3-030-76020-5 035 $a(MiAaPQ)EBC6637088 035 $a(Au-PeEL)EBL6637088 035 $a(OCoLC)1256254650 035 $a(PPN)25735803X 035 $a(EXLCZ)994100000011955195 100 $a20220201d2021 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aLogic, computation and rigorous methods $eessays dedicated to Egon Bo?rger on the occasion of his 75th birthday /$fAlexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe (editors) 205 $a1st ed. 2021. 210 1$aCham, Switzerland :$cSpringer,$d[2021] 210 4$dİ2021 215 $a1 online resource (XVI, 353 p. 122 illus., 75 illus. in color.) 225 1 $aLecture Notes in Computer Science ;$v12750 311 $a3-030-76019-7 327 $aFrom 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. 330 $aThis 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. 410 0$aLecture notes in computer science ;$v12750. 606 $aLogic 606 $aComputer science 615 0$aLogic. 615 0$aComputer science. 676 $a160 702 $aRaschke$b Alexander 702 $aRiccobene$b Elvinia$f1964- 702 $aSchewe$b Klaus-Dieter 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484970803321 996 $aLogic, Computation and Rigorous Methods$91905227 997 $aUNINA