
Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.
Pagabile anche con Carta della cultura giovani e del merito, Carta della Cultura e Carta del Docente
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.
Projekt Übersicht.- Forschung in China und im Ausland.- Wichtige Forschungsergebnisse.- Ausblick.
Prof. Jifeng He schloss sein Studium der Mathematik an der Fudan-Universität im Jahr 1965 ab. Von 1965 bis 1985 war er Dozent an der East China Normal University. In den Jahren 1980-1981 war er Gastwissenschaftler an der Stanford University und der University of San Francisco in Kalifornien, USA.
Von 1984 bis 1998 war Jifeng He Senior Research Fellow in der Programming Research Group des Oxford University Computing Laboratory. Er beschäftigte sich intensiv mit formalen Aspekten der Computerwissenschaft. Insbesondere arbeitete er mit Prof. Sir Tony Hoare zusammen, zuletzt an Unifying Theories of Programming, woraus ein gleichnamiges Buch entstand.
Seit 1986 ist Jifeng He Professor für Informatik an der East China Normal University in Shanghai, China. Im Jahr 1998 wurde er Senior Research Fellow am Internationalen Institut für Softwaretechnologie (UNU-IIST) der Universität der Vereinten Nationen in Macau. Im Jahr 2005 zog er zurück nach Shanghai.
Jifeng He Forschungsinteressen umfassen die Theorie der Vertrauenswürdigkeit und Informationssicherheit, die Theorie der nebenläufigen Programmierung, Methoden und Werkzeuge für den Entwurf eingebetteter Systeme, hybride Software- und Hardwaresysteme sowie Computersoftware und -theorie.
Im Jahr 2005 wurde er zum Akademiemitglied der Chinesischen Akademie der Wissenschaften gewählt.


Il sito utilizza cookie ed altri strumenti di tracciamento che raccolgono informazioni dal dispositivo dell’utente. Oltre ai cookie tecnici ed analitici aggregati, strettamente necessari per il funzionamento di questo sito web, previo consenso dell’utente possono essere installati cookie di profilazione e marketing e cookie dei social media. Cliccando su “Accetto tutti i cookie” saranno attivate tutte le categorie di cookie. Per accettare solo deterninate categorie di cookie, cliccare invece su “Impostazioni cookie”. Chiudendo il banner o continuando a navigare saranno installati solo cookie tecnici. Per maggiori dettagli, consultare la Cookie Policy.