Integrating User Design and Formal Models within PVSio-Web
Software Engineering
2018-11-28 v1 Human-Computer Interaction
Abstract
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 for designing user experiences and tools for creating and working with formal models are typically distinctly separate systems. This work aims to bridge this divide by allowing the generation of state machine diagrams and formal models via a simple, interactive prototyping tool that mirrors the basic functionality of many modern digital prototyping applications.
Cite
@article{arxiv.1811.10821,
title = {Integrating User Design and Formal Models within PVSio-Web},
author = {Nathaniel Watson and Steve Reeves and Paolo Masci},
journal= {arXiv preprint arXiv:1811.10821},
year = {2018}
}
Comments
In Proceedings F-IDE 2018, arXiv:1811.09014