CP14
Paterṇ, F., Santoro, C.,
Integrating Model Checking and HCI Tools to Help
Designers Verifying User Interface Properties
In this paper we present a method that aims to integrate the use of formal
techniques in the design process of interactive applications, with particular
attention to those applications where both usability and safety are main
concerns. The method is supported by a set of tools. We will also discuss how
the resulting environment can be helpful in reasoning about multi-user
interactions using the task model of an interactive application. Examples are
provided from a case study in the field of air traffic control.
Proceedings of 7th Eurographics Workshop on the Design, Specification and
Verification of Interactive Systems, DSV-IS
2000, Limerick, Ireland, June 5-7, 2000.
Home
Overview
Contact list
Planning of Work
Documents
Workspace
Related Links
Statistics