Grundlagenforschung für vertrauenswürdige Software
Editat de Jifeng Hede Limba Germană Hardback – 28 oct 2024
Preț: 662.19 lei
Preț vechi: 827.74 lei
-20% Nou
Puncte Express: 993
Preț estimativ în valută:
126.72€ • 133.31$ • 104.92£
126.72€ • 133.31$ • 104.92£
Carte nepublicată încă
Doresc să fiu notificat când acest titlu va fi disponibil:
Se trimite...
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783662696255
ISBN-10: 3662696258
Pagini: 79
Ilustrații: XV, 79 S. 4 Abb.
Dimensiuni: 155 x 235 mm
Ediția:2025
Editura: Springer Berlin, Heidelberg
Colecția Springer Vieweg
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3662696258
Pagini: 79
Ilustrații: XV, 79 S. 4 Abb.
Dimensiuni: 155 x 235 mm
Ediția:2025
Editura: Springer Berlin, Heidelberg
Colecția Springer Vieweg
Locul publicării:Berlin, Heidelberg, Germany
Cuprins
Project Overview.- The Situation of Research at Home and Abroad.- Major Results of the Research.- Outlook.
Notă biografică
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.
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.
Textul de pe ultima copertă
Dieses Buch gibt einen Überblick über das Forschungsprojekt "The Fundamental Research for Trustworthy Software" des NSFC und stellt die Forschungsergebnisse sowie Erfolge vor.
Das Projekt konzentriert sich auf vier wissenschaftliche Kernthemen:
Dieses Buch ist eine Übersetzung, die mit Hilfe von künstlicher Intelligenz maschinell angefertigt und anschließend von einem professionellen Lektor inhaltlich und sprachlich überarbeitet wurde. Dennoch kann sich der Text des Buches stilistisch von einer konventionellen Übersetzung unterscheiden. Springer Nature arbeitet bei der Publikation von Büchern kontinuierlich mit innovativen Technologien, um die Arbeit der Autoren unterstützen.
Der Herausgeber:
Prof. Jifeng He schloss 1965 sein Studium der Mathematik an der Fudan-Universität in China ab. Er war Senior Research Fellow in der Programming Research Group des Oxford University Computing Laboratory. Seit 1986 ist Jifeng He Professor für Informatik an der East China Normal University in Shanghai, China. Im Jahr 2005 wurde er zum Akademiemitglied der Chinesischen Akademie der Wissenschaften gewählt.
Das Projekt konzentriert sich auf vier wissenschaftliche Kernthemen:
- Messung und Modellierung der Vertrauenswürdigkeit von Software
- Konstruktion und Verifizierung vertrauenswürdiger Software
- Entwicklung und Kontrolle vertrauenswürdiger Software
- Konstruktion und Bewertung einer vertrauenswürdigen Umgebung.
Dieses Buch ist eine Übersetzung, die mit Hilfe von künstlicher Intelligenz maschinell angefertigt und anschließend von einem professionellen Lektor inhaltlich und sprachlich überarbeitet wurde. Dennoch kann sich der Text des Buches stilistisch von einer konventionellen Übersetzung unterscheiden. Springer Nature arbeitet bei der Publikation von Büchern kontinuierlich mit innovativen Technologien, um die Arbeit der Autoren unterstützen.
Der Herausgeber:
Prof. Jifeng He schloss 1965 sein Studium der Mathematik an der Fudan-Universität in China ab. Er war Senior Research Fellow in der Programming Research Group des Oxford University Computing Laboratory. Seit 1986 ist Jifeng He Professor für Informatik an der East China Normal University in Shanghai, China. Im Jahr 2005 wurde er zum Akademiemitglied der Chinesischen Akademie der Wissenschaften gewählt.
Caracteristici
Fokussiert sich auf Embedded Software und Netzwerkanwendungssoftware Stellt den Forschungsplan der "Grundlagenforschung für vertrauenswürdige Software" vor Repräsentative Errungenschaft der National Natural Science Foudation of China