Data di Pubblicazione:
2019
Abstract:
Welcome to FormaliSE 2019, the 7th International Conference on Formal Methods in Software Engineering. FormaliSE is a yearly conference on Formal Methods in Software Engineering. (https://www.formalise.org/). It is organized by FME (Formal Methods Europe). FormaliSE is co-located with ICSE (International Conference on Software Engineering) 2019 (https://conf.researchr.org/home/icse-2019).
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
Formal methods; User requirement formulation; Design; implementation; Verification/Testing; Creation of documentation
Elenco autori:
Gnesi, Stefania
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
FormaliSE '19: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering
Pubblicato in: