@inproceedings{822bc1ee6cff4d5ca6093502b6ddaeb1,
title = "Adventures in FRET and Specification",
abstract = "This paper gives an overview of previous work in which the authors used NASA{\textquoteright}s Formal Requirement Elicitation Tool (FRET) to formalise requirements. We discuss four case studies where we used FRET to capture the system{\textquoteright}s requirements. These formalised requirements subsequently guided the case study specifications in a combination of formal paradigms. For each case study we summarise insights gained during this process, exploring the expressiveness and the potential interoperability of these approaches. Our experience confirms FRET{\textquoteright}s suitability as a framework for the elicitation and understanding of requirements and for providing traceability from requirements to specification.",
author = "Marie Farrell and Matt Luckcuck and Rosemary Monahan and Conor Reynolds and Oisin Sheridan",
year = "2024",
month = oct,
day = "30",
doi = "10.1007/978-3-031-75380-0_7",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "Springer Cham",
booktitle = "International Symposium on Leveraging Applications of Formal Methods",
address = "Switzerland",
}