Human-Oriented Formal Modelling of Human-Computer Interaction: Practitioners’ and Students’ Perspectives

  • Antonio CeroneEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9946)


Practitioners and students tend to have a negative inclination towards formal methods and consider them hard to learn and unusable in practice. In this paper we analyse the perspectives of practitioners, computer scientists and students to show that a notation developed for modelling interactive systems in previous work and its translations into rewriting logic and process algebra represent an appropriate compromise among such perspectives.


Human computer interaction Formal methods applications Computer science education 


  1. 1.
    Beckert, B., Grebing, S., Böhl, F.: A usability evaluation of interactive theorem provers using focus groups. In: Canal, C., Idani, A. (eds.) SEFM 2014. LNCS, vol. 8938, pp. 3–19. Springer, Heidelberg (2015). doi: 10.1007/978-3-319-15201-1_1 Google Scholar
  2. 2.
    Cerone, A.: Closure, attention activation in human automatic behaviour: A framework for the formal analysis of interactive systems. In: Proceedings of FMIS 2011, Electronic Communications of the EASST, vol. 45 (2011)Google Scholar
  3. 3.
    Cerone, A.: A cognitive framework based on rewriting logic for the analysis of interactive systems. In: De Nicola, R., Kühn, E. (eds.) SEFM 2016. LNCS, vol. 9763, pp. 287–303. Springer, Heidelberg (2016). doi: 10.1007/978-3-319-41591-8_20 CrossRefGoogle Scholar
  4. 4.
    Cerone, A., Roggenbach, M., Schlingloff, B.-H., Schneider, G., Shaikh, S.: Teaching formal methods for software engineering – ten principles. Informatica Didactica 9 (2015).
  5. 5.
    Cerone, A., Scotti, M.: Research challenges in modelling ecosystems. In: Canal, C., Idani, A. (eds.) SEFM 2014. LNCS, vol. 8938, pp. 276–293. Springer, Heidelberg (2015). doi: 10.1007/978-3-319-15201-1_18 Google Scholar
  6. 6.
    Dix, A., Finlay, J., Abowd, G., Beale, R.: Human-Computer Interaction. Pearson Education, Upper Saddle River (1998)zbMATHGoogle Scholar
  7. 7.
    Glass, R.L.: A new answer to “how important is mathematics to the software practitioner?”. IEEE Softw. 17(6), 136–136 (2000)MathSciNetGoogle Scholar
  8. 8.
    Idani, A., Stouls, N.: When a formal model rhymes with a graphical notation. In: Canal, C., Idani, A. (eds.) SEFM 2014. LNCS, vol. 8938, pp. 54–68. Springer, Heidelberg (2015). doi: 10.1007/978-3-319-15201-1_4 Google Scholar
  9. 9.
    Ladenberger, L., Dobrikov, I., Leuschel, M.: An approach for creating domain specific visualisations of CSP models. In: Canal, C., Idani, A. (eds.) SEFM 2014. LNCS, vol. 8938, pp. 20–35. Springer, Heidelberg (2015). doi: 10.1007/978-3-319-15201-1_2 Google Scholar
  10. 10.
    Page, R.L.: Software in discrete mathematics. In: Proceedings of ICFP 2003, ACM SIGPLAN Notices, vol. 38, pp. 79–86. ACM (2003)Google Scholar
  11. 11.
    Sobel, A.E.K., Clarkson, M.R.: Formal methods application: an empirical tale of software development. IEEE Trans. Softw. Eng. 28(3), 308–320 (2002)CrossRefGoogle Scholar
  12. 12.
    Sobel, A.E.K., Clarkson, M.R.: Response on “Comments on ‘Formal methods application: an empirical tale of software development”’. IEEE Trans. Softw. Eng. 29(6), 572–575 (2003)CrossRefGoogle Scholar
  13. 13.
    Thagard, P.: Cognitive science. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Stanford University (2008)Google Scholar
  14. 14.
    Wing, J.M.: Teaching mathematics to software engineers. In: Alagar, V.S., Nivat, M. (eds.) AMAST 1995. LNCS, vol. 936, pp. 18–40. Springer, Heidelberg (1995). doi: 10.1007/3-540-60043-4_44 CrossRefGoogle Scholar
  15. 15.
    Wing, J.M.: Invited talk: weaving formal methods into the undergraduate computer science curriculum (Extended Abstract). In: Rus, T. (ed.) AMAST 2000. LNCS, vol. 1816, pp. 2–7. Springer, Heidelberg (2000). doi: 10.1007/3-540-45499-3_2 CrossRefGoogle Scholar
  16. 16.
    Zamansky, A., Farchi, E.: Exploring the role of logic and formal methods in information systems education. In: Bianculli, D., Calinescu, R., Rumpe, B. (eds.) SEFM 2015. LNCS, vol. 9509, pp. 68–74. Springer, Heidelberg (2015). doi: 10.1007/978-3-662-49224-6_7 CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  1. 1.Department of Computer ScienceNazarbayev UniversityAstanaKazakhstan

Personalised recommendations