28 citations · 33 across the 4 of their papers we have counts for
4 papers
Adventures in FRET and Specification
Marie Farrell, Matt Luckcuck, Rosemary Monahan +2
This paper gives an overview of previous work in which the authors used NASA's Formal Requirement Elicitation Tool (FRET) to formalise requirements. We discuss four case studies wh…
Why just FRET when you can Refactor? Retuning FRETISH Requirements
Matt Luckcuck, Marie Farrell, Oisín Sheridan
Formal verification of a software system relies on formalising the requirements to which it should adhere, which can be challenging. While formalising requirements from natural-lan…
Towards Refactoring FRETish Requirements
Marie Farrell, Matt Luckcuck, Oisin Sheridan +1
Like software, requirements evolve and change frequently during the development process. Refactoring is the process of reorganising software without changing its behaviour, to make…
FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller
Marie Farrell, Matt Luckcuck, Oisin Sheridan +1
[Context & motivation] Eliciting requirements that are detailed and logical enough to be amenable to formal verification is a difficult task. Multiple tools exist for requirements…