28 citations · 61 across the 16 of their papers we have counts for
Showing 2022 · cs.SEShow all
2 papers · 2 filters
cs.SE2022
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…
cs.SE2022
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…