000 04559nam a22006135i 4500
001 978-3-030-76020-5
003 DE-He213
005 20240730180005.0
007 cr nn 008mamaa
008 210521s2021 sz | s |||| 0|eng d
020 _a9783030760205
_9978-3-030-76020-5
024 7 _a10.1007/978-3-030-76020-5
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aLogic, Computation and Rigorous Methods
_h[electronic resource] :
_bEssays Dedicated to Egon Börger on the Occasion of His 75th Birthday /
_cedited by Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe.
250 _a1st ed. 2021.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2021.
300 _aXVI, 353 p. 122 illus., 75 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v12750
505 0 _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.
520 _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.
650 0 _aSoftware engineering.
_94138
650 0 _aProgramming languages (Electronic computers).
_97503
650 0 _aComputer science.
_99832
650 0 _aBusiness information services.
_928705
650 0 _aMathematical logic.
_92258
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aProgramming Language.
_939403
650 2 4 _aTheory of Computation.
_9118535
650 2 4 _aBusiness Information Systems.
_947705
650 2 4 _aMathematical Logic and Foundations.
_934712
700 1 _aRaschke, Alexander.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9118536
700 1 _aRiccobene, Elvinia.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9118537
700 1 _aSchewe, Klaus-Dieter.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9118538
710 2 _aSpringerLink (Online service)
_9118539
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030760199
776 0 8 _iPrinted edition:
_z9783030760212
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v12750
_9118540
856 4 0 _uhttps://doi.org/10.1007/978-3-030-76020-5
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c90128
_d90128