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...

Celý popis

Podrobná bibliografia

Vydané v:	2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) s. 62 - 74
Hlavní autori:	Ferrari, Alessio, Mazzanti, Franco, Basile, Davide, ter Beek, Maurice H., Fantechi, Alessandro
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	ACM 01.10.2020
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!