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á bibliografie

Vydáno v:	2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) s. 62 - 74
Hlavní autoři:	Ferrari, Alessio, Mazzanti, Franco, Basile, Davide, ter Beek, Maurice H., Fantechi, Alessandro
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 01.10.2020
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!