東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Logic, computation and rigorous meth...

Raschke, Alexander.

FindBook

Google Book

Amazon

博客來

Logic, computation and rigorous methods = essays dedicated to Egon Borger 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 Borger on the occasion of his 75th birthday /
其他作者:	Raschke, Alexander.
出版者:	Cham :Springer International Publishing : : 2021.,
面頁冊數:	xvi, 353 p. :ill., digital ;24 cm.
內容註:	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 Borger 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.
Contained By:	Springer Nature eBook
標題:	Software engineering. -
電子資源:	https://doi.org/10.1007/978-3-030-76020-5
ISBN:	9783030760205

Logic, computation and rigorous methods = essays dedicated to Egon Borger on the occasion of his 75th birthday /
Logic, computation and rigorous methodsessays dedicated to Egon Borger on the occasion of his 75th birthday /[electronic resource] :edited by Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe. - Cham :Springer International Publishing :2021. - xvi, 353 p. :ill., digital ;24 cm. - Lecture notes in computer science,127500302-9743 ;. - Lecture notes in computer science ;12750..

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 Borger 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 Borger on the occasion of his 75th birthday. It acknowledges Prof. Borger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Borger'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:

559826
Software engineering.

LC Class. No.: QA76.758 / .L64 2021

Dewey Class. No.: 005.1

Logic, computation and rigorous methods = essays dedicated to Egon Borger on the occasion of his 75th birthday /
LDR:03300nmm a2200361 a 4500 001 2301514
003 DE-He213
005 20220311215224.0
006 m d
007 cr nn 008maaau
008 230409s2021 sz s 0 eng d
020 $a 9783030760205 $q (electronic bk.)
020 $a 9783030760199 $q (paper)
024 7 $a 10.1007/978-3-030-76020-5 $2 doi
035 $a 978-3-030-76020-5
035 $a 2301514
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.758 $b .L64 2021
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
090 $a QA76.758 $b .L832 2021
245 0 0 $a Logic, computation and rigorous methods $h [electronic resource] : $b essays dedicated to Egon Borger on the occasion of his 75th birthday / $c edited by Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a xvi, 353 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 12750
490 1 $a Programming and software engineering
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 Borger 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 Borger on the occasion of his 75th birthday. It acknowledges Prof. Borger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Borger'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 $a Software engineering. $3 559826
650 0 $a Computer science. $3 523869
650 0 $a Computer logic. $3 840463
650 1 4 $a Software Engineering. $3 890874
650 2 4 $a Programming Language. $3 3538935
650 2 4 $a Theory of Computation. $3 892514
650 2 4 $a Business Information Systems. $3 892640
650 2 4 $a Mathematical Logic and Foundations. $3 892656
700 1 $a Raschke, Alexander. $3 3308018
700 1 $a Riccobene, Elvinia. $3 3600979
700 1 $a Schewe, Klaus-Dieter. $3 1071423
700 1 $a Borger, E. $q (Egon), $d 1946- $e honouree. $3 3600980
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 12750. $3 3600981
830 0 $a Programming and software engineering. $3 3382571
856 4 0 $u https://doi.org/10.1007/978-3-030-76020-5
950 $a Computer Science (SpringerNature-11645)