02944nam a22005175i 4500 978-981-99-5589-3 DE-He213 20251030110839.0 cr nn 008mamaa 231123s2024 si | s |||| 0|eng d 9789819955893 978-981-99-5589-3 10.1007/978-981-99-5589-3 doi QA76.758 UMZ bicssc COM051230 bisacsh UMZ thema The Fundamental Research for Trustworthy Software [electronic resource] / edited by Jifeng He. 1st ed. 2024. Singapore : Springer Nature Singapore : Imprint: Springer, 2024. XV, 79 p. 4 illus. online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Reports of China’s Basic Research, 2731-8915 Chapter 1. Project Overview -- Chapter 2. The Situation of Research at Home and Abroad -- Chapter 3. Major Results of the Research -- Chapter 4 Outlook. This book mainly introduces the research overview, results, and achievements of “The Fundamental Research for Trustworthy Software”, a major research plan of NSFC. The Plan focuses on four key scientific issues: (i) measurement and modeling of software trustworthiness; (ii) construction and verification of trustworthy software; (iii) evolution and control of trustworthy software; (iv) trusted environment construction and evaluation. This book aims to establish a research framework for fundamental research on trustworthy software by focusing on the trustworthiness of embedded software and network application software, as well as the trustworthiness of software in key application fields in China. This book is intended for researchers who have been following the evolution of and trends in the trustworthy software; the book is also a valuable reference resource for practitioners and scholars at various levels and in various fields. Software engineering. 33953 Operating systems (Computers). 65514 Software Engineering. 33953 Operating Systems. 65516 He, Jifeng. editor. edt http://id.loc.gov/vocabulary/relators/edt 67522 SpringerLink (Online service) Springer Nature eBook Printed edition: 9789819955886 Printed edition: 9789819955909 Printed edition: 9789819955916 Reports of China’s Basic Research, 2731-8915 67523 https://doi.org/10.1007/978-981-99-5589-3 ZDB-2-SCS ZDB-2-SXCS 56627 56627