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 ...

Nathaniel Watson has 2 co-authors in Research Commons.