• Bolton ML, Bass EJ (2010) Formally verifying human-automation interaction as part of a system model: limitations and tradeoffs. Innov Syst Softw Eng A NASA J 6(3):219–231

  Article  Google Scholar 

• Bowen J, Reeves S (2006a) Formal models for informal GUI designs. In: 1st international workshop on formal methods for interactive systems, Macau SAR China, 31 October 2006. electronic notes in theoretical computer science, Elsevier, vol 183, pp 57–72

  Google Scholar 

• Bowen J, Reeves S (2006b) Formal refinement of informal GUI design artefacts. In: Australian software engineering conference (ASWEC’06). IEEE, pp 221–230

  Google Scholar 

• Bowen J, Reeves S (2008) Formal models for user interface design artefacts. Innov Syst Softw Eng 4(2):125–141

  Article  Google Scholar 

• Bowen J, Reeves S (2013) Modelling safety properties of interactive medical systems. In: 5th ACM SIGCHI symposium on engineering interactive computing systems, EICS’13. ACM, pp 91–100

  Google Scholar 

• Bowen J, Reeves S (2014) A simplified Z semantics for presentation interaction models. In: FM 2014: formal methods—19th international symposium, Singapore, pp 148–162

  Google Scholar 

• Courtney A (2003) Functionally modeled user interfaces. In: Interactive systems. design, specification, and verification. 10th international workshop DSV-IS 2003. Lecture notes in computer science, LNCS. Springer, pp 107–123

  Google Scholar 

• Derrick J, Boiten E (2014) Refinement in Z and object-Z: foundations and advanced applications. Formal approaches to computing and information technology, 2nd edn. Springer

  Google Scholar 

• Dix A, Runciman C (1985) Abstract models of interactive systems. Designing the interface, people and computers, pp 13–22

  Google Scholar 

• Duke DJ, Harrison MD (1995) Interaction and task requirements. In: Palanque P, Bastide R (eds) Eurographics workshop on design, specification and verification of interactive system (DSV-IS’95). Springer, pp 54–75

  Google Scholar 

• Duke DJ, Faconti GP, Harrison MD, Paternò F (1994) Unifying views of interactors. In: Advanced visual interfaces, pp 143–152

  Google Scholar 

• Duke DJ, Fields B, Harrison MD (1999) A case study in the specification and analysis of design alternatives for a user interface. Formal Asp Comput 11(2):107–131

  Article  Google Scholar 

• Harel D (1987) Statecharts: a visual formalism for complex systems. Sci Comput Program 8(3):231–274

  Article MathSciNet MATH  Google Scholar 

• Harrison MD, Dix A (1990) A state model of direct manipulation in interactive systems. In: Formal methods in human-computer interaction. Cambridge University Press, pp 129–151

  Google Scholar 

• Henson MC, Deutsch M, Reeves S (2008) Z Logic and its applications. Monographs in theoretical computer science. An EATCS series. Springer, pp 489–596

  Google Scholar 

• Hussey A, MacColl I, Carrington D (2000) Assessing usability from formal user-interface designs. Technical report, TR00-15, Software Verification Research Centre, The University of Queensland

  Google Scholar 

• ISO, IEC 13568 (2002) Information technology-Z formal specification notation-syntax, type system and semantics. International series in computer science, 1st edn. Prentice-Hall, ISO/IEC

  Google Scholar 

• Jacob RJK (1982) Using formal specifications in the design of a human-computer interface. In: 1982 conference on human factors in computing systems. ACM Press, pp 315–321

  Google Scholar 

• Limbourg Q, Vanderdonckt J, Michotte B, Bouillon L, López-Jaquero V (2004) UsiXML: a language supporting multi-path development of user interfaces. In: 9th IFIP working conference on engineering for human-computer interaction jointly with 11th international workshop on design, specification, and verification of interactive systems, EHCI-DSVIS’2004, Kluwer Academic Press, pp 200–220

  Google Scholar 

• Paternò FM (2001) Task models in interactive software systems. Handbook of software engineering and knowledge engineering

  Google Scholar 

• Paternò FM, Sciacchitano MS, Lowgren J (1995) A user interface evaluation mapping physical user actions to task-driven formal specification. In: Design, specification and verification of interactive systems. Springer, pp 155–173

  Google Scholar 

• Philipps J, Scholz P (1998) Formal verification and hardware design with statecharts. In: Prospects for hardware foundations, ESPRIT working group 8533. NADA—new hardware design methods, survey chapters, pp 356–389

  Google Scholar 

• Puerta A, Eisenstein J (2002) XIML: a universal language for user interfaces. In: Intelligent user interfaces (IUI). ACM Press, San Francisco

  Google Scholar 

• Reeve G (2005) A refinement theory for\(\mu \)charts. PhD thesis, The University of Waikato

  Google Scholar 

• Reeve G, Reeves S (2000a)\(\mu \)-charts and Z: examples and extensions. In: Proceedings of APSEC 2000. IEEE Computer Society, pp 258–265

  Google Scholar 

• Reeve G, Reeves S (2000b)\(\mu \)-charts and Z: hows, whys and wherefores. In: Grieskamp W, Santen T, Stoddart B (eds) Integrated formal methods 2000: proceedings of the 2nd international workshop on integrated formal methods. LNCS, vol 1945. Springer, pp 255–276

  Google Scholar 

• Reichart D, Dittmar A, Forbrig P, Wurdel M (2008) Tool support for representing task models, dialog models and user-interface specifications. In: Interactive systems. Design, specification, and verification: 15th international workshop, DSV-IS’08. Springer, Berlin, pp 92–95

  Google Scholar 

• Scholz P (1996) An extended version of mini-statecharts. Technical report, TUM-I9628, Technische Univerität München.http://www4.informatik.tu-muenchen.de/reports/TUM-I9628.html

• Thimbleby H (1990) Design of interactive systems. In: McDermid JA (ed) The software engineer’s reference book. Butterworth-Heineman, Oxford, Chap, p 57

  Google Scholar 

• Thimbleby H (2004) User interface design with matrix algebra. ACM Trans Comput Hum Interact 11(2):181–236

  Article  Google Scholar 

• Woodcock J, Davies J (1996) Using Z: specification, refinement and proof. Prentice Hall

  Google Scholar 

Download references