Delwedd Flaen

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...

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Awdur Corfforaethol:	SpringerLink (Online service)
Awduron Eraill:	He, Jifeng (Golygydd)
Fformat:	Electronig eLyfr
Iaith:	Saesneg
Cyhoeddwyd:	Singapore : Springer Nature Singapore : Imprint: Springer, 2024.
Rhifyn:	1st ed. 2024.
Cyfres:	Reports of China’s Basic Research,
Pynciau:	Software engineering. Operating systems (Computers). Software Engineering. Operating Systems.
Mynediad Ar-lein:	https://doi.org/10.1007/978-981-99-5589-3
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Eitemau Tebyg

Software Architecture. ECSA 2024 Tracks and Workshops Luxembourg City, Luxembourg, September 3–6, 2024, Proceedings /
Cyhoeddwyd: (2024)

Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium Istanbul, Turkey, September 18–22, 2023, Revised Selected Papers /
Cyhoeddwyd: (2024)

Software Quality as a Foundation for Security 16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23–25, 2024, Proceedings /
Cyhoeddwyd: (2024)

Search-Based Software Engineering 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings /
Cyhoeddwyd: (2024)

Search-Based Software Engineering 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings /
Cyhoeddwyd: (2024)

Handbook of Re-Engineering Software Intensive Systems into Software Product Lines
Cyhoeddwyd: (2023)

Smart Technologies for Sustainable and Resilient Ecosystems 3rd EAI International Conference, Edge-IoT 2022, and 4th EAI International Conference, SmartGov 2022, Virtual Events, November 16-18, 2022, Proceedings /
Cyhoeddwyd: (2023)

Service-Oriented Computing 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 – July 1, 2023, Revised Selected Papers /
Cyhoeddwyd: (2023)

Service-Oriented Computing 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24–29, 2024, Revised Selected Papers /
Cyhoeddwyd: (2025)

Using the Unix System
gan: Osborne, Adam
Cyhoeddwyd: (1981)

Coordination Models and Languages 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings /
Cyhoeddwyd: (2024)

Coordination Models and Languages 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17–19, 2025, Proceedings /
Cyhoeddwyd: (2025)

Formal Techniques for Distributed Objects, Components, and Systems 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings /
Cyhoeddwyd: (2024)

Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16–20, 2025, Proceedings /
Cyhoeddwyd: (2025)

Digital Forensics and Cyber Crime 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part I /
Cyhoeddwyd: (2024)

Advanced Parallel Processing Technologies 15th International Symposium, APPT 2023, Nanchang, China, August 4–6, 2023, Proceedings /
Cyhoeddwyd: (2024)

Innovations and Interdisciplinary Solutions for Underserved Areas 6th EAI International Conference, InterSol 2023, Flic en Flac, Mauritius, September 16-17, 2023, Proceedings /
Cyhoeddwyd: (2024)

Innovations and Interdisciplinary Solutions for Underserved Areas 7th International Conference, InterSol 2024, Dakar, Senegal, July 3–4, 2024, Proceedings /
Cyhoeddwyd: (2025)

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures /
Cyhoeddwyd: (2025)

Software Architecture Research Roadmaps from the Community /
Cyhoeddwyd: (2023)

Innovative Intelligent Industrial Production and Logistics First International Conference, IN4PL 2020, Virtual Event, November 2-4, 2020, and Second International Conference, IN4PL 2021, Virtual Event, October 25-27, 2021, Revised Selected Papers /
Cyhoeddwyd: (2023)

Teach yourself Linux/
gan: Billing, Robert
Cyhoeddwyd: (2004)

Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4–6, 2024, Proceedings, Part I /
Cyhoeddwyd: (2024)

Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4–6, 2024, Proceedings, Part II /
Cyhoeddwyd: (2024)

Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 – September 1, 2023, Proceedings, Part II /
Cyhoeddwyd: (2023)

Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 – September 1, 2023, Proceedings, Part I /
Cyhoeddwyd: (2023)

Operating system concepts / operating system concepts
gan: Silberschatz, Abraham
Cyhoeddwyd: (1998)

Software Ecosystems Tooling and Analytics /
Cyhoeddwyd: (2023)

Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10–13, 2023, Proceedings, Part II /
Cyhoeddwyd: (2024)

Managing Information Technology
gan: Castillo, Francisco, et al.
Cyhoeddwyd: (2024)

Software Architecture 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18–22, 2023, Proceedings /
Cyhoeddwyd: (2023)

Software Architecture 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3–6, 2024, Proceedings /
Cyhoeddwyd: (2024)

Software Architectures Topics Usually Missed in Textbooks /
gan: Nagl, Manfred, et al.
Cyhoeddwyd: (2024)

Guide to Computer Processor Architecture A RISC-V Approach, with High-Level Synthesis /
gan: Goossens, Bernard
Cyhoeddwyd: (2023)

Model-Driven Engineering and Software Development 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19–21, 2023, Revised Selected Papers /
Cyhoeddwyd: (2024)

Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences /
Cyhoeddwyd: (2023)

Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers /
Cyhoeddwyd: (2023)

Applied Informatics 6th International Conference, ICAI 2023, Guayaquil, Ecuador, October 26–28, 2023, Proceedings /
Cyhoeddwyd: (2024)

Modern operating systems
gan: Tanenbaum, Andrew S.
Cyhoeddwyd: (1992)

Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24–26, 2024, Proceedings, Part II /
Cyhoeddwyd: (2025)