Document - A case study in formal analysis of system requirements

2023

Contribution to book Open Access

A case study in formal analysis of system requirements

Belli D., Mazzanti F.

Requirements analysis ProB LNT Formal Methods UML UMC

One of the goals of the 4SECURail project has been to demonstrate the benefits, limits, and costs of introducing formal meth- ods in the system requirements definition process. This has been done, on an experimental basis, by applying a specific set of tools and method- ologies to a case study from the railway sector. The paper describes the approach adopted in the project and some considerations resulting from the experience.

Source: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, edited by Masci P., Bernardeschi C., Graziani P., Koddenbrock M., Palmieri M., pp. 164–173, 2023

Metrics

Back to previous page

Cite as

BibTeX entry

@inbook{oai:it.cnr:prodotti:471855,
	title = {A case study in formal analysis of system requirements},
	author = {Belli D. and Mazzanti F.},
	doi = {10.1007/978-3-031-26236-4_14},
	booktitle = {Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, edited by Masci P., Bernardeschi C., Graziani P., Koddenbrock M., Palmieri M., pp. 164–173, 2023},
	year = {2023}
}