Work

Integrating User Design and Formal Models within PVSio-Web

Year: 2018

Type: article

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.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.284.8

Authors: Nathaniel Watson, Steve Reeves, Paolo Masci

Institutions: University of Waikato, Institute for Systems Engineering and Computers, INESC TEC, University of Minho

Language: English

Topic: Usability and User Interface Design

Subfield: Human-Computer Interaction

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funders: Fundação para a Ciência e a Tecnologia, European Regional Development Fund