(Created page with " == Abstract == 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 atten...") |
m (Scipediacontent moved page Draft Content 535870328 to Paterno et al 2001a) |
(No difference)
| |
Latest revision as of 13:29, 14 October 2020
Abstract
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.
Document type: Part of book or chapter of book
Full document
Original document
The different versions of the original document can be found in:
Document information
Published on 01/01/2001
Volume 2001, 2001
DOI: 10.1007/3-540-44675-3_9
Licence: CC BY-NC-SA license
Share this document
Keywords
claim authorship
Are you one of the authors of this document?