東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Theories of programming and formal m...

Bowen, Jonathan P.

FindBook

Google Book

Amazon

博客來

Theories of programming and formal methods = essays dedicated to Jifeng He on the occasion of his 80th birthday /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Theories of programming and formal methods/ edited by Jonathan P. Bowen, Qin Li, Qiwen Xu.
其他題名:	essays dedicated to Jifeng He on the occasion of his 80th birthday /
其他作者:	Bowen, Jonathan P.
出版者:	Cham :Springer Nature Switzerland : : 2023.,
面頁冊數:	xiv, 413 p. :ill., digital ;24 cm.
內容註:	Jifeng He's Research Influence -- Oxford Colleagues -- ProCoS Colleagues -- Chinese Colleagues -- European Colleagues -- The Future Roadmap.
Contained By:	Springer Nature eBook
標題:	Computer programming. -
電子資源:	https://doi.org/10.1007/978-3-031-40436-8
ISBN:	9783031404368

Theories of programming and formal methods = essays dedicated to Jifeng He on the occasion of his 80th birthday /
Theories of programming and formal methodsessays dedicated to Jifeng He on the occasion of his 80th birthday /[electronic resource] :edited by Jonathan P. Bowen, Qin Li, Qiwen Xu. - Cham :Springer Nature Switzerland :2023. - xiv, 413 p. :ill., digital ;24 cm. - Lecture notes in computer science,140800302-9743 ;. - Lecture notes in computer science ;14080..

Jifeng He's Research Influence -- Oxford Colleagues -- ProCoS Colleagues -- Chinese Colleagues -- European Colleagues -- The Future Roadmap.

This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher on the European ESPRIT ProCoS project and the Working Group on Provably Correct Systems, subsequently he collaborated with Tony Hoare on Unifying Theories of Programming. Jifeng returned to China in 1998, first to the United Nations University in Macau and then to the East China Normal University in Shanghai. He has since founded an Artificial Intelligence research institute that focuses on the application of technology in large-scale industrial software systems. His scientific contributions have been recognized through his election to membership of the Chinese Academy of Sciences. The first paper in the volume provides an overview of Jifeng's research contributions, especially inthe area of formal methods, and the following two papers detail developments in UTP and rCOS (refinement calculus of object systems) In the next two sections of the book, the editors included papers by colleagues and coauthors of Jifeng while he was at the University of Oxford and engaged with the European ProCoS project. The section that follows includes papers authored by colleagues from his later research in China and Europe. The final section includes a paper related to Jifeng's recent roadmap for UTP.

ISBN: 9783031404368

Standard No.: 10.1007/978-3-031-40436-8doiSubjects--Topical Terms:

527209
Computer programming.

LC Class. No.: QA76.6

Dewey Class. No.: 005.1

Theories of programming and formal methods = essays dedicated to Jifeng He on the occasion of his 80th birthday /
LDR:02755nmm a2200337 a 4500 001 2373634
003 DE-He213
005 20240314155550.0
006 m d
007 cr nn 008maaau
008 241231s2023 sz s 0 eng d
020 $a 9783031404368 $q (electronic bk.)
020 $a 9783031404351 $q (paper)
024 7 $a 10.1007/978-3-031-40436-8 $2 doi
035 $a 978-3-031-40436-8
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.6
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.6 $b .T396 2023
245 0 0 $a Theories of programming and formal methods $h [electronic resource] : $b essays dedicated to Jifeng He on the occasion of his 80th birthday / $c edited by Jonathan P. Bowen, Qin Li, Qiwen Xu.
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2023.
300 $a xiv, 413 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 14080
505 0 $a Jifeng He's Research Influence -- Oxford Colleagues -- ProCoS Colleagues -- Chinese Colleagues -- European Colleagues -- The Future Roadmap.
520 $a This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher on the European ESPRIT ProCoS project and the Working Group on Provably Correct Systems, subsequently he collaborated with Tony Hoare on Unifying Theories of Programming. Jifeng returned to China in 1998, first to the United Nations University in Macau and then to the East China Normal University in Shanghai. He has since founded an Artificial Intelligence research institute that focuses on the application of technology in large-scale industrial software systems. His scientific contributions have been recognized through his election to membership of the Chinese Academy of Sciences. The first paper in the volume provides an overview of Jifeng's research contributions, especially inthe area of formal methods, and the following two papers detail developments in UTP and rCOS (refinement calculus of object systems) In the next two sections of the book, the editors included papers by colleagues and coauthors of Jifeng while he was at the University of Oxford and engaged with the European ProCoS project. The section that follows includes papers authored by colleagues from his later research in China and Europe. The final section includes a paper related to Jifeng's recent roadmap for UTP.
650 0 $a Computer programming. $3 527209
650 0 $a Formal methods (Computer science) $3 882407
650 0 $a Software engineering. $3 559826
650 1 4 $a Software Engineering. $3 890874
650 2 4 $a Computer Science Logic and Foundations of Programming. $3 3538531
700 1 $a Bowen, Jonathan P. $3 1071859
700 1 $a Li, Qin. $3 1064530
700 1 $a Xu, Qiwen. $3 3721916
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 14080. $3 3721917
856 4 0 $u https://doi.org/10.1007/978-3-031-40436-8
950 $a Computer Science (SpringerNature-11645)