28 citations · 69 across the 11 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.RO2022★ 2 cited
Modelling the Turtle Python library in CSP
Dara MacConville, Marie Farrell, Matt Luckcuck +1
Software verification is an important tool in establishing the reliability of critical systems. One potential area of application is in the field of robotics, as robots take on mor…
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…