12 citations · 15 across the 6 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.SE2018★ 12 cited
Integrating User Design and Formal Models within PVSio-Web
Nathaniel Watson, Steve Reeves, Paolo Masci
Creating formal models of interactive systems has wide reaching benefits, not only for verifying low-level correctness, but also as a tool for ensuring user interfaces behave logic…
cs.LO2018
Proceedings 18th Refinement Workshop
John Derrick, Brijesh Dongol, Steve Reeves
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is the process of developing a more detailed design or implementation from an abstrac…