Comparing Formal Tools for System Design: a Judgment Study

Formal methods and tools have a long history of successful applications in the design of safety-critical railway products. However, most of the experiences focused on the application of a single method at once, and little work has been performed to compare the applicability of the different availabl...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) S. 62 - 74
Hauptverfasser:	Ferrari, Alessio, Mazzanti, Franco, Basile, Davide, ter Beek, Maurice H., Fantechi, Alessandro
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	ACM 01.10.2020
Schlagworte:	empirical formal methods empirical software engineering formal methods formal methods diversity formal tools human aspects of formal design judgment study moving-block system railway
ISSN:	1558-1225
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!