Formal interactive systems analysis and usability inspection methods: Two incompatible worlds?

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

Volumn 1946, Issue , 2001, Pages 169-190

  Loer, Karsten ^a   Harrison, Michael ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

INSPECTION; SPECIFICATIONS; SYSTEMS ANALYSIS;

ANALYSIS TECHNIQUES; DIFFERENT STAGES; FORMAL APPROACH; FORMAL TECHNIQUES; FUNCTIONAL PROPERTIES; HEURISTIC EVALUATION; INTERACTIVE SYSTEM; USABILITY INSPECTION;

COST BENEFIT ANALYSIS;

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

References (35)

1. J. Nielsen and R.L. Mack, Usability Inspection Methods, John Wiley & Sons, Inc. 1994
2. Virzi, R.A., Usability Inspection Methods, in Handbook of Human-Computer Interaction, K. Helander, Landauer T.K., and Prabhu P., Editors. 1997, chapter 29, Elsevier Science B.V.
3. Harel, D. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 1987: p. 231-274.
4. McMillan, K.L., Symbolic model checking. 1993: Kluwer.
5. Norman, D.A., Design Principles for Human-Computer Interaction, in Proceedings of CIHF83. 1983, ACM. p. 1-10.
6. Dix, A., J. Finlay, G. Abowd, and R. Beale, Human Computer Interaction (2nd edition). 1998: Prentice Hall Europe.
7. Shneiderman, B., Designing the user interface: strategies for effective human-computer-interaction. 1998: Addison Wesley.
8. Nielsen, J., Enhancing the explanatory power of usability heuristics, in Proceedings of the CHI'94 Conf. 1994, ACM: Boston, MA. p. 152-158.
9. Nielsen, J. Finding usability problems through heuristic evaluation. in Proc. of ACM CHI'92 Conference on Human Factors in Computing Systems. pp249-256. New York, 1992, ACM.
10. Lüttgen, G. and V. Carreno, Analyzing Mode Confusion via Model Checking. 1999, Technical Report, ICASE.
11. Rushby, J., Using Model Checking to Help Discover Mode Confusions and Other Auto­mation Surprises, in (Pre-) Proceedings of the Workshop on Human Error, Safety, and System Development (HESSD). chapter 13, 1999.
12. Palmer, E. Murphi busts an Altitude: A Murphi Analysis of an Automation Surprise. in Proceedings of the 18th Digital Avionics Systems Conference (DASC). 1999: IEEE Press.
13. Butler, R.W., S.P. Miller, J.N. Potts, and V.A. Carreno. A Formal Methods Approach to the Analysis of Mode Confusion. in Proceedings of the 17th Digital Avionics Systems Conference. 1998. Bellevue, Washington.
14. Abowd, G., H. Wang, and A. Monk, A formal technique for automated dialogue develop­ment, in Proceedings of the First Symposium on Designing Interactive Systems, DIS'95. 1995, ACM Press. p. 212-226.
15. Paternò, F.D., A Method for Formal Specification and Verification of Interactive Systems. DPhil Thesis, Department of Computer Science, University of York, UK, 1996.
16. Faconti, G. and F. Paternò. An approach to the formal presentation of the components of an interaction. in Eurographics '90. 1990. Montreaux: North-Holland.
17. d'Ausbourg, B. Using Model Checking for the Automatic Validation of User Interfaces Systems. in P. Markopoulos and P. Johnson, eds., Design, Specification and Verification of Interactive Systems '98. 1998: Eurographics, Springer Verlag.
18. Campos, J.C., Automated Deduction and Usability Reasoning. DPhil Thesis, Department of Computer Science, University of York, UK, 2000.
19. Duke, D.J. and M.D. Harrison, Abstract Interaction Objects. Computer Graphics Forum, 1993. 12(3): p. 25-36.
20. Kyng, M., Creating Contexts for Design, in Scenario Based Design:Envisioning Work and Technology in System Development, J. M. Carroll, Editor. chapter 4, John Wiley & Sons, 1994.
21. Fields, B., M.D. Harrison, and P. Wright, THEA: Human Error Analysis for Requirements Definition. 1997, Technical Report YCS294, Department of Computer Science, University of York.
22. Clarke, E.M., J.M. Wing et al., Formal Methods: State of the Art and Future Directions. ACM Computing Surveys, 1996. 28(4): p. 626-643.
23. Degani, A., On Modes, Error, and Patterns of Interaction, PhD Thesis, Georgia Institute of Technology, 1996.
24. Harel, D., H. Loachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot, STATEMATE: A Working Environment for the Devel­opment od Complex Reactive Systems. IEEE Transactions on Software Engineering, 1990. 16(4): p. 403-413.
25. Armstrong, J.M., Industrial Integration of Graphical and Formal Specifications. Journal of Systems & Software Special Issue on Formal Methods Technology Transfer, 1998. 40: p. 211-225.
26. von der Beeck, M., A Comparison of Statecharts Variants, in Formal Techniques in Real-Time and Fault-Tolerant Systems, H. Langmaack, W.-P. de Roever, and J. Vytopil, Editors. 1994, Springer-Verlag. p. 128-148.
27. Harel, D. and A. Namaad, The STATEMATE Semantics of Statecharts. ACM Transactions on Software Engineering and Methodology, 1996. 5(4): p. 293-333.
28. Loer, K. and Harrison, M. Model-checking statechart interface descriptions. 2000, in preparation.
29. Mitchell, C.M., Operator Models, Model-Based Displays and Intelligent Aiding, in Hu­man/Technology in Complex Systems. 1996, JAI Press Inc. p. 67-172.
30. Kirwan, B., A Guide to Practical Human Reliability Assessment. 1994: Taylor & Francis.
31. Campos, J.C. and M.D. Harrison. The role of verification in interactive system design. in P. Markopoulos and P. Johnson, eds., Design, Specification and Verification of Interactive Systems 98. 1998: Eurographics, Springer Verlag. p. 155-170.
32. Clarke, E.M., E.A. Emerson, and A.P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 1986. 8(2): p. 244-263.
33. Dwyer, M.B., G.S. Avrunin, and J.C. Corbett. Property Specification Patterns for Finite-State Verification. in M. Ardis, ed., 2nd Workshop on Formal Methods in Software Practice. 1998. p. 7-15.
34. Dix, A., R. Mancini, and S. Levaldi, The cube - extending systems for undo, in Proceedings on the 4th Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSVIS), M.D. Harrison and J.C. Torres, Editors. 1997, SpringeVerlag. p. 119-134.
35. Butterworth, R., A. Blandford, and D. Duke. The role of formal proof in modelling interactive behaviour. in P. Markopoulos and P. Johnson, eds., Design, Specification and Verification of Interactive Systems 98. 1998: Eurographics, Springer Verlag p. 87-101.