Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering.
22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings.
Urheber: Hähnle, Reiner; van der Aalst, Wil.
Verlag: Springer International Publishing.
23,5 x 15,5 cm. 85 Abbildungen, farbig, 1117 Abbildungen, schwarz-weiß. Seiten: 446.
ISBN-13: 9783030167219.
Erscheinungsdatum: 04.04.2019

Dieses Buch ist Open Access unter einer CC BY Lizenz. Dieses Buch stellt die Ergebnisse der 22. Internationalen Konferenz über grundlegende Ansätze des Software-Engineerings, FASE 2019, dar, die im April 2019 in Prag, Tschechische Republik, im Rahmen der Europäischen Gemeinsamen Konferenzen über Theorie und Praxis der Software, ETAPS 2019, stattfand. 24 in diesem Band vorgestellte Beiträge wurden sorgfältig geprüft und aus 94 Einreichungen ausgewählt. Die Papiere sind in thematischen Abschnitten mit den folgenden Bezeichnungen organisiert: Softwareverifikation; modellgetriebene Entwicklung und Modelltransformation; Softwareevolution und Requirements Engineering; Spezifikation, Design und Implementierung bestimmter Klassen von Systemen; und Softwaretests

Inhalt:
Software Engineering
Informationstechnik (IT), allgemeine Themen
Compiler und Übersetzer
Programmier- und Skriptsprachen, allgemein
IT-Zertifizierung
Informatik
Theoretische Informatik
Systemanalyse und -design
Computermodellierung und -simulation

Modellprüfung; Softwareevaluierung; modellgetriebene Entwicklung; Requirements Engineering; Semantik; Programm-Compiler; Programmiersprachen; Theoremnachweis; formale Logik; Softwarearchitektur; Software Engineering; Spezifikationen; Softwareevolution; Softwaresystemmodelle; Programmdebugging.