Topics of Formal Methods in HCI

  • Judy Bowen
  • Alan Dix
  • Philippe Palanque
  • Benjamin Weyers
Part of the Human–Computer Interaction Series book series (HCIS)


In this chapter, we present an overview of some of the general themes and topics that can be seen in research into formal methods in human–computer interaction. We discuss how the contents of the rest of the book relate to these topics. In particular, we show how themes have evolved into particular branches of research and where the book contents fit with this. We also discuss the areas of research that are relevant, but are not represented within the book chapters.


  1. Abi-Aad R, Sinnig D, Radhakrishnan T, Seffah A (2003) CoU: context of use model for user interface designing. In: Proceedings of HCI international 2003, vol 4, LEA, pp 8–12Google Scholar
  2. Antonaya SL, Santos C (2010) Towards a framework for the development of CSCW systems. In: Luo Y (ed) Cooperative design, visualization, and engineering, vol 6240. Lecture Notes in Computer Science. Springer, Berlin Heidelberg, pp 117–120CrossRefGoogle Scholar
  3. Baecker RM, Grudin J, Buxton WAS, Greenberg S (eds) (1995) Readings in human-computer interaction: toward the year 2000, 2nd edn. Morgan KaufmannGoogle Scholar
  4. Bowen J, Reeves S (2009) Supporting multi-path UI development with vertical refinement. In: 20th Australian software engineering conference (ASWEC 2009), 14–17 April 2009. Gold Cost, Australia, pp 64–72Google Scholar
  5. Bowen J, Reeves S (2013) Modelling safety properties of interactive medical systems. In: Proceedings of the 5th ACM SIGCHI symposium on engineering interactive computing systems, ACM, New York, NY, USA, EICS ’13, pp 91–100. doi: 10.1145/2480296.2480314
  6. Bramwell C, Fields RE, Harrison MD (1995) Exploring design options rationally. In: Palanque P, Bastide R (eds) Design, specification and verification of interactive systems ’95. Springer, Wien, pp 134–148Google Scholar
  7. Butterworth R, Blandford A (1997) Programmable user models: the story so far. Puma working paper WP8, Middlesex UniversityGoogle Scholar
  8. Correani F, Mori G, Paternò FM (2004) Supporting flexible development of multi-device interfaces. In: EHCI/DS-VIS, pp 346–362Google Scholar
  9. Costa PD, Guizzardi G, Almeida JPA, Pires LF, van Sinderen M (2006) Situations in conceptual modeling of context. In: EDOC workshops, pp 6Google Scholar
  10. Curzon P, Blandford A (2002) From a formal user model to design rules. In: Goos G, Hartmanis J, van Leeuwen J (eds) Interactive systems: design, specification and verification, no. 2545 in Lecture Notes in Computer Science, Springer Berlin, pp 1–15Google Scholar
  11. Doherty GJ, Harrison MD (1997) A representational approach to the specification of presentations. Eurographics workshop on design specification and verification of interactive systems, DSVIS 97. Granada, Spain, pp 273–290Google Scholar
  12. Eisenstein J, Puerta A (2000) Adaptation in automated user-interface design. In: IUI ’00: Proceedings of the 5th international conference on Intelligent user interfaces, ACM Press, pp 74–81Google Scholar
  13. Guicking A, Tandler P, Avgeriou P (2005) Agilo: a highly flexible groupware framework. In: Groupware: design, implementation, and use. In: Proceedings of 11th international workshop, CRIWG 2005, Porto de Galinhas, Brazil, pp 49–56, 25–29 Sept 2005Google Scholar
  14. Jacky J (1997) The Way of Z: practical programming with formal methods. Cambridge University PressGoogle Scholar
  15. Limbourg Q, Vanderdonckt J, Michotte B, Bouillon L, López-Jaquero V (2004) UsiXML: A language supporting multi-path development of user interfaces. In: Proceedings of 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–220Google Scholar
  16. Loer K, Harrison MD (2002) Towards usable and relevant model checking techniques for the analysis of dependable interactive systems. In: Emmerich W, Wile D (eds) Proceedings 17th international conference on automated software engineering, IEEE Computer Society, pp 223–226.
  17. Michotte B, Vanderdonckt J (2008) Grafixml, a multi-target user interface builder based on usixml. In: ICAS ’08: Proceedings of the fourth international conference on autonomic and autonomous systems (ICAS’08), IEEE Computer Society, Washington, DC, USA, pp 15–22. doi: 10.1109/ICAS.2008.29
  18. Oliveira R, Dupuy-Chessa S, Calvary G (2015) Plasticity of user interfaces: formal verification of consistency. In: Proceedings of the 7th ACM SIGCHI symposium on engineering interactive computing systems, EICS 2015, Duisburg, Germany, June 23–26, 2015, pp 260–265Google Scholar
  19. Paternò FM, Sciacchitano MS, Lowgren J (1995) A user interface evaluation mapping physical user actions to task-driven formal specification. In: Design, Specificationa nd Verification of Interactive Systems. Springer, pp 155–173Google Scholar
  20. Puerta A, Eisenstein J (2002) XIML: a universal language for user interfaces. In: Intelligent user interfaces (IUI). ACM Press, San FranciscoGoogle Scholar
  21. Roseman M, Greenberg S (1996) Building real-time groupware with groupkit, a groupware toolkit. ACM Trans Comput-Hum Interact 3(1):66–106CrossRefGoogle Scholar
  22. Thimbleby H (2015) Safer user interfaces: a case study in improving number entry. IEEE Trans Softw Eng. doi: 10.1109/TSE.2014.2383396 Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Judy Bowen
    • 1
  • Alan Dix
    • 2
    • 3
  • Philippe Palanque
    • 4
  • Benjamin Weyers
    • 5
  1. 1.University of WaikatoHamiltonNew Zealand
  2. 2.School of Computer ScienceUniversity of BirminghamBirminghamUK
  3. 3.Talis Ltd. BirminghamBirminghamUK
  4. 4.IRIT—Interactive Critical Systems GroupUniversity of Toulouse 3—Paul SabatierToulouseFrance
  5. 5.Visual Computing Institute—Virtual Reality & Immersive VisualizationRWTH Aachen UniversityAachenGermany

Personalised recommendations