Sie sind hier: Startseite » EDV / Informatik

Engineering Trustworthy Software Systems

Engineering Trustworthy Software Systems
4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
Urheber: Bowen, Jonathan P. / Liu, Zhiming / Zhang, Zili
ISBN-13 978-3-030-17600-6
Verlag: Springer International Publishing
Erscheinungstermin 13.04.2019
Anzahl Seiten XVII / 237

Dieser Band enthält Vorträge über Spitzenforschung an Methoden und Werkzeugen für den Einsatz in der Computersystemtechnik an der 4th International School on Engineering Trustworthy Software Systems, SETSS 2018, die im April 2018 an der Southwest University in Chongqing, China, stattfand. Die fünf Kapitel dieses Bandes geben einen Überblick über die Forschung an der Grenze von Theorien, Methoden und Werkzeugen für die Softwaremodellierung, das Design und die Verifikation. Die in diesem Kapitel behandelten Themen sind Softwareverifikation mit Whiley, Lernen von Büchi-Automaten und ihren Anwendungen, Sicherheit in IoT-Anwendungen, Programmierung in Z3 und die Auswirkungen von Alan Turing: Formale Methoden und darüber hinaus. Der Band bietet eine nützliche Ressource für Doktoranden, Forscher, Akademiker und Ingenieure in der Industrie, die sich für Theorie, Methoden und Werkzeuge zur Entwicklung vertrauenswürdiger Software interessieren.


Software-Engineering; sicherheitskritische Systeme; Künstliche Intelligenz; Geschichte der Informatik; Computersysteme; Programmiersprachensemantik; Modellprüfung; Logik; Echtzeitsysteme; Modellierungssprachen; Programmverfeinerung; formale Methoden; Softwareentwicklung; reaktive Systeme; formale Spezifikation; Semantik; Softwareverifikation; Laufzeitverifikation; formale Verifikation; Informatik....