Integrating model checking and HCI tools to help designers verify user interface properties

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1946, Issue , 2001, Pages 135-150

  Paternò, Fabio ^a   Santoro, Carmen ^a  

^a ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AIR TRAFFIC CONTROL; DESIGN; INTERACTIVE DEVICES; MODEL CHECKING; SPECIFICATIONS; SYSTEMS ANALYSIS;

DESIGN PROCESS; FORMAL TECHNIQUES; INTEGRATING MODEL; INTERACTIVE APPLICATIONS; INTERFACE PROPERTY; MULTI-USER INTERACTION; TASK MODELING;

USER INTERFACES;

EID: 84949509030     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44675-3_9     Document Type: Conference Paper

References (15)

1. B. d'Ausbourg, C. Seguin, G. Durrieu, P. Roche, Helping the Automated Validation Process of User Interfaces Systems, Proceedings ICSE'98 pp.219-228.
2. G. Abowd, H. Wang, A. Monk, "A formal technique for automated dialogue development", Proceedings DIS'95, ACM Press, pp.219-226.
3. G. Ballardin, C. Mancini, F. Paternö, Computer-Aided Analysis of Cooperative Applications, Proceedings Computer-Aided Design of User Interfaces, pp.257-270, Kluwer, 1999.
4. G. Booch, J. Rumbaugh, I. Jacobson, Unified Modeling Language Reference Manual, Addison Wesley, 1999
5. R. De Nicola, A. Fantechi, S. Gnesi, and G. Ristori. An action-based framework for verifying logical and behavioural properties of concurrent systems, Computer Network and ISDN systems, 25, 1993, 761778
6. J. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, M. Sighireanu, CADP (CAESAR/ALDEBARAN Development Package): A Protocol Validation and Verification Toolbox, Proceedings of the 8th Conference on Computer-Aided Verification, LNCS 1102, Springer Verlag, pp. 437--440, 1996.
7. A. Hall, "Using Formal Methods to Develop an ATC Information System", IEEE Software, pp.66-76, March 1996.
8. ISO (1988). Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Based on Temporal Ordering of Observational Behaviour. ISO/IS 8807. ISO Central Secretariat.
9. R. Mateescu and H. Garavel, XTL: A Meta-Language and Tool for Temporal Logic Model-Checking. Proceedings of the International Workshop on Software Tools for Technology. Transfer STTT'98 (Aalborg, Denmark), July 1998.
10. Myers, B., Rosson, M.B., "Survey on User Interface Programming", Proceedings CHI'92, pp. 195-202, ACM Press, 1992.
11. P. Palanque, F. Paternö (eds.), Formal Methods in Human-Computer Interaction, Springer Verlag, 1997.
12. F. Paternö, Formal Reasoning about Dialogue Properties with Automatic Support, Interacting with Computers, August 1997, pp.173-196, Elsevier.
13. F. Paternö, Model-Based Design and Usability Evaluation of Interactive Applications, Springer Verlag, ISBN 1-85233-155-0, 1999.
14. F. Paterno, G. Faconti, On the Use of LOTOS to Describe Graphical Interaction, in Monk, Diaper & Harrison eds. People and Computers VII: Proceedings of the HCI'92 Conference, pp.155-173, Cambridge University Press.
15. A. Puerta, A Model-Based Interface Development Environment, IEEE Software, pp. 40-47, July/August 1997.