Grundlagenforschung für vertrauenswürdige Software

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 ve