Browsing by Author "Watson, Nathaniel"
Now showing items 1-1 of 1
-
Integrating user design and formal models within PVSio-Web
Watson, Nathaniel; Reeves, Steve; Masci, Paolo (2018)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 logically and consistently. Despite this, tools ...
Co-authors for Nathaniel Watson
Nathaniel Watson has 2 co-authors in Research Commons.