Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Kongresse
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Veranstaltungskalender Awards MyNewsletter Firmensuche
Kunden Login
Über Einzelzugang informieren
Über Unternehmenszugang informieren
Referenzkunden
Elektrische Antriebe und Energiesysteme 2025 | 26 + 27 März 2025

19. Internationaler MTZ-Fachkongress Zukunftsantriebe

Seien Sie bei der Konferenz dabei! Dort treffen Experten aus der Automobilindustrie, Energieerzeugung und Stromnetzbetrieb auf Vertreter aus Politik und Wissenschaft. Diskutiert werden wichtige Themen der Branche.
Erweiterte Suche
Anmelden
nach oben

2025 | Buch

Kapitel lesen Erstes Kapitel lesen

Grundlagenforschung für vertrauenswürdige Software

herausgegeben von: Jifeng He

Verlag: Springer Berlin Heidelberg

Enthalten in: Springer Professional "Wirtschaft+Technik" , Springer Professional "Technik" , Springer Professional "Wirtschaft"

Inhaltsverzeichnis
insite
SUCHEN

Über dieses Buch

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.

Inhaltsverzeichnis

Frontmatter
Kapitel 1. Projektübersicht
Zusammenfassung
Mit dem Fortschritt der modernen Informationstechnologie und ihrer weit verbreiteten Anwendung hat sich die Software zur Seele moderner Computersysteme entwickelt. Sie steht im Mittelpunkt des nationalen Informatisierungsaufbaus und ist ein mächtiger Treiber für die Entwicklung der Produktivkräfte in der heutigen Gesellschaft und für den Fortschritt der menschlichen Zivilisation. Darüber hinaus spielt die Software eine wichtige Rolle in der nationalen Wirtschaft, der sozialen Entwicklung und dem Aufbau der nationalen Verteidigung.
Jifeng He, Binxing Fang, Jiaguang Sun, Zongben Xu, Yong Shi, Ji Wang, Zhiguang Shan, Geguang Pu, Ke Liu, Ruizhen Zhao, Zhaotian Zhang, Jian Guo
Kapitel 2. Forschung in China und im Ausland
Zusammenfassung
Software ist eine technische Disziplin, die sich mit Computersoftware als Objekt befasst und ihre Paradigmen, Entwicklungsmethoden, Betriebsunterstützung und Qualitätsmetrikenbewertung untersucht. Die Grundlage der vertrauenswürdigen Softwareforschung ist die Softwarevertrauenswürdigkeit. Sie führt grundlegende Forschungen zur Software und verwandten interdisziplinären Studien durch. Softwaretechnik ist ihr grundlegender Inhalt.
Jifeng He, Binxing Fang, Jiaguang Sun, Zongben Xu, Yong Shi, Ji Wang, Zhiguang Shan, Geguang Pu, Ke Liu, Ruizhen Zhao, Zhaotian Zhang, Jian Guo
Kapitel 3. Wichtige Forschungsergebnisse
Zusammenfassung
Die Forschungsteams des Plans versammelten die überlegenen Kräfte von relevanten Disziplinen in China (einschließlich Experten und Gelehrten aus Instituten der Chinesischen Akademie der Wissenschaften, Projekt 985 Universitäten, Unternehmen und staatlichen Schlüssellaboren). Der Plan hat ein hochrangiges Team mit jungen und mittelalten Menschen als Hauptkraft kultiviert.
Jifeng He, Binxing Fang, Jiaguang Sun, Zongben Xu, Yong Shi, Ji Wang, Zhiguang Shan, Geguang Pu, Ke Liu, Ruizhen Zhao, Zhaotian Zhang, Jian Guo
Kapitel 4. Ausblick
Zusammenfassung
Obwohl der Plan die erwarteten Ziele erreicht hat, hinken wir in den folgenden Aspekten noch hinterher, wenn wir die gesamte internationale Situation betrachten.
Jifeng He, Binxing Fang, Jiaguang Sun, Zongben Xu, Yong Shi, Ji Wang, Zhiguang Shan, Geguang Pu, Ke Liu, Ruizhen Zhao, Zhaotian Zhang, Jian Guo
Backmatter
Metadaten
Titel
Grundlagenforschung für vertrauenswürdige Software
herausgegeben von
Jifeng He
Copyright-Jahr
2025
Verlag
Springer Berlin Heidelberg
Electronic ISBN
978-3-662-69626-2
Print ISBN
978-3-662-69625-5
DOI
https://doi.org/10.1007/978-3-662-69626-2

Premium Partner

    Bildnachweise