Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties Export

@incollection{citeulike:4007532, 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.}, author = {Patern\`{o}, Fabio and Santoro, Carmen}, citeulike-article-id = {4007532}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/3-540-44675-3_9}, citeulike-linkout-1 = {http://www.springerlink.com/content/jvv88l4wfp912ja8}, doi = {10.1007/3-540-44675-3_9}, journal = {Interactive Systems Design, Specification, and Verification}, keywords = {2001, gui, modelchecking, specification, verification}, pages = {135--150}, posted-at = {2009-02-04 13:42:12}, priority = {4}, title = {Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties}, url = {http://dx.doi.org/10.1007/3-540-44675-3_9}, year = {2001} }

TY - CHAP ID - citeulike:4007532 L3 - citeulike-article-id:4007532 N2 - 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. JF - Interactive Systems Design, Specification, and Verification EP - 150 TI - Integrating Model Checking and HCI Tools to Help Designers Verify User Interface Properties SP - 135 KW - 2001 KW - gui KW - modelchecking KW - specification KW - verification AU - Paternò, Fabio AU - Santoro, Carmen PY - 2001/// UR - http://dx.doi.org/10.1007/3-540-44675-3_9 ER -