书目名称 | Theories of Programming and Formal Methods |
副标题 | Essays Dedicated to |
编辑 | Jonathan P. Bowen,Qin Li,Qiwen Xu |
视频video | |
概述 | Honorary volume dedicated to Jifeng He on the occasion of his 80th birthday.Contributions by leading researchers in the domain.Papers detail a range of important scientific successes |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | .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 colleag |
出版日期 | Book 2023 |
关键词 | formal methods; computer programming; software engineering; theoretical computer science; Unifying Theor |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-031-40436-8 |
isbn_softcover | 978-3-031-40435-1 |
isbn_ebook | 978-3-031-40436-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |