國立虎尾科技大學 |

Logic, Computation and Rigorous Methods = Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Logic, Computation and Rigorous Methods/ edited by Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe.
其他題名:	Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday /
其他作者:	Schewe, Klaus-Dieter.
面頁冊數:	XVI, 353 p. 122 illus., 75 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Mathematical Logic and Foundations. -
電子資源:	https://doi.org/10.1007/978-3-030-76020-5
ISBN:	9783030760205

Logic, Computation and Rigorous Methods = Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday /
Logic, Computation and Rigorous MethodsEssays Dedicated to Egon Börger on the Occasion of His 75th Birthday /[electronic resource] :edited by Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe. - 1st ed. 2021. - XVI, 353 p. 122 illus., 75 illus. in color.online resource. - Programming and Software Engineering,127502945-9168 ;. - Programming and Software Engineering,12857.

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.

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.

ISBN: 9783030760205

Standard No.: 10.1007/978-3-030-76020-5doiSubjects--Topical Terms:

669393
Mathematical Logic and Foundations.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Logic, Computation and Rigorous Methods = Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday /
LDR:03577nam a22004095i 4500 001 1059313
003 DE-He213
005 20220311215224.0
007 cr nn 008mamaa
008 220414s2021 sz | s |||| 0|eng d
020 $a 9783030760205 $9 978-3-030-76020-5
024 7 $a 10.1007/978-3-030-76020-5 $2 doi
035 $a 978-3-030-76020-5
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Logic, Computation and Rigorous Methods $h [electronic resource] : $b Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday / $c edited by Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe.
250 $a 1st ed. 2021.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a XVI, 353 p. 122 illus., 75 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Programming and Software Engineering, $x 2945-9168 ; $v 12750
505 0 $a 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.
520 $a 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.
650 2 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a Business Information Systems. $3 669204
650 2 4 $a Theory of Computation. $3 669322
650 2 4 $a Programming Language. $3 1365750
650 1 4 $a Software Engineering. $3 669632
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Business information services. $3 654161
650 0 $a Computer science. $3 573171
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Software engineering. $3 562952
700 1 $a Schewe, Klaus-Dieter. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 796174
700 1 $a Riccobene, Elvinia. $e editor. $1 https://orcid.org/0000-0002-1400-1026 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1360354
700 1 $a Raschke, Alexander. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1201878
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030760199
776 0 8 $i Printed edition: $z 9783030760212
830 0 $a Programming and Software Engineering, $x 2945-9168 ; $v 12857 $3 1365731
856 4 0 $u https://doi.org/10.1007/978-3-030-76020-5
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)