vbid/9783662696262

Description

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.Typham this is the title: Grundlagenforschung f�r vertrauensw�rdige Software