5 citations · 5 across the 1 of their papers we have counts for
1 paper
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…