The Fundamental Research for Trustworthy Software
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 verifica...
Đã lưu trong:
| Tác giả của công ty: | |
|---|---|
| Tác giả khác: | |
| Định dạng: | Điện tử eBook |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Singapore :
Springer Nature Singapore : Imprint: Springer,
2024.
|
| Phiên bản: | 1st ed. 2024. |
| Loạt: | Reports of China’s Basic Research,
|
| Những chủ đề: | |
| Truy cập trực tuyến: | https://doi.org/10.1007/978-981-99-5589-3 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-981-99-5589-3 | ||
| 003 | DE-He213 | ||
| 005 | 20250807145533.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 231123s2024 si | s |||| 0|eng d | ||
| 020 | |a 9789819955893 |9 978-981-99-5589-3 | ||
| 024 | 7 | |a 10.1007/978-981-99-5589-3 |2 doi | |
| 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 | 4 | |a The Fundamental Research for Trustworthy Software |h [electronic resource] / |c edited by Jifeng He. |
| 250 | |a 1st ed. 2024. | ||
| 264 | 1 | |a Singapore : |b Springer Nature Singapore : |b Imprint: Springer, |c 2024. | |
| 300 | |a XV, 79 p. 4 illus. |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 | ||
| 341 | 0 | |b Table of contents navigation |2 onix | |
| 341 | 0 | |b Single logical reading order |2 onix | |
| 341 | 0 | |b Short alternative textual descriptions |2 onix | |
| 341 | 0 | |b Use of color is not sole means of conveying information |2 onix | |
| 341 | 0 | |b Use of high contrast between text and background color |2 onix | |
| 341 | 0 | |b Next / Previous structural navigation |2 onix | |
| 341 | 0 | |b All non-decorative content supports reading without sight |2 onix | |
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Reports of China’s Basic Research, |x 2731-8915 | |
| 505 | 0 | |a Chapter 1. Project Overview -- Chapter 2. The Situation of Research at Home and Abroad -- Chapter 3. Major Results of the Research -- Chapter 4 Outlook. | |
| 520 | |a 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. | ||
| 532 | 8 | |a Accessibility summary: This PDF does not fully comply with PDF/UA standards, but does feature limited screen reader support, described non-text content (images, graphs), bookmarks for easy navigation and searchable, selectable text. Users of assistive technologies may experience difficulty navigating or interpreting content in this document. We recognize the importance of accessibility, and we welcome queries about accessibility for any of our products. If you have a question or an access need, please get in touch with us at accessibilitysupport@springernature.com. | |
| 532 | 8 | |a No reading system accessibility options actively disabled | |
| 532 | 8 | |a Publisher contact for further accessibility information: accessibilitysupport@springernature.com | |
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | |a Operating systems (Computers). | |
| 650 | 1 | 4 | |a Software Engineering. |
| 650 | 2 | 4 | |a Operating Systems. |
| 700 | 1 | |a He, Jifeng. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9789819955886 |
| 776 | 0 | 8 | |i Printed edition: |z 9789819955909 |
| 776 | 0 | 8 | |i Printed edition: |z 9789819955916 |
| 830 | 0 | |a Reports of China’s Basic Research, |x 2731-8915 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-981-99-5589-3 |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||