In diesem Buch werden vor allem der Forschungsüberblick, die Forschungsergebnisse und die weiteren Aussichten von "The Fundamental Research for Trustworthy Software", einem großen Forschungsprojekt des NSFC, vorgestellt. Das Projekt konzentriert sich auf vier wissenschaftliche Kernthemen: Messung und Modellierung der Software-Glaubwürdigkeit, Konstruktion und Verifizierung vertrauenswürdiger Software, Entwicklung und Kontrolle vertrauenswürdiger Software sowie Konstruktion und Bewertung einer vertrauenswürdigen Umgebung. Es konzentriert sich auf die Glaubwürdigkeit von embedded Software und Netzwerkanwendungssoftware und nimmt die Glaubwürdigkeit von Software in nationalen Schlüsselanwendungsbereichen als einen Durchbruch, um einen Forschungsrahmen für die Grundlagenforschung von vertrauenswürdiger Software zu schaffen.
In diesem Buch werden vor allem der Forschungsüberblick, die Forschungsergebnisse und die weiteren Aussichten von "The Fundamental Research for Trustworthy Software", einem großen Forschungsprojekt des NSFC, vorgestellt. Das Projekt konzentriert sich auf vier wissenschaftliche Kernthemen: Messung und Modellierung der Software-Glaubwürdigkeit, Konstruktion und Verifizierung vertrauenswürdiger Software, Entwicklung und Kontrolle vertrauenswürdiger Software sowie Konstruktion und Bewertung einer vertrauenswürdigen Umgebung. Es konzentriert sich auf die Glaubwürdigkeit von embedded Software und Netzwerkanwendungssoftware und nimmt die Glaubwürdigkeit von Software in nationalen Schlüsselanwendungsbereichen als einen Durchbruch, um einen Forschungsrahmen für die Grundlagenforschung von vertrauenswürdiger Software zu schaffen.

Grundlagenforschung für vertrauenswürdige Software

Grundlagenforschung für vertrauenswürdige Software
Related collections and offers
Product Details
ISBN-13: | 9783662696262 |
---|---|
Publisher: | Springer Vieweg |
Publication date: | 03/10/2025 |
Sold by: | Barnes & Noble |
Format: | eBook |
File size: | 5 MB |
Language: | German |