Skip to main content
SpringerLink
Log in
Book cover

Federation of International Conferences on Software Technologies: Applications and Foundations

STAF 2016: Software Technologies: Applications and Foundations pp 232–241Cite as

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

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 9946))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    http://sysma.imtlucca.it/cognitive-framework-maude-hofm-2016/.

  2. 2.

    http://sysma.imtlucca.it/cognitive-framework-csp-hofm-2016/.

References

  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. 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. 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

    Chapter  Google Scholar 

  4. Cerone, A., Roggenbach, M., Schlingloff, B.-H., Schneider, G., Shaikh, S.: Teaching formal methods for software engineering – ten principles. Informatica Didactica 9 (2015). https://www.informaticadidactica.de/index.php?page=Schlinghoff2015

  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. Dix, A., Finlay, J., Abowd, G., Beale, R.: Human-Computer Interaction. Pearson Education, Upper Saddle River (1998)

    MATH  Google Scholar 

  7. Glass, R.L.: A new answer to “how important is mathematics to the software practitioner?”. IEEE Softw. 17(6), 136–136 (2000)

    MathSciNet  Google Scholar 

  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. 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. 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. 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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  13. Thagard, P.: Cognitive science. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Stanford University (2008)

    Google Scholar 

  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

    Chapter  Google Scholar 

  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

    Chapter  Google Scholar 

  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

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Nazarbayev University, Astana, Kazakhstan

    Antonio Cerone

Authors
  1. Antonio Cerone
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Antonio Cerone .

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Universita di Pisa, Pisa, Italy

    Paolo Milazzo

  2. Budapest University of Technology and Economics, Budapest, Hungary

    Dániel Varró

  3. Vienna University of Technology, Vienna, Austria

    Manuel Wimmer

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this paper

Cite this paper

Cerone, A. (2016). Human-Oriented Formal Modelling of Human-Computer Interaction: Practitioners’ and Students’ Perspectives. In: Milazzo, P., Varró, D., Wimmer, M. (eds) Software Technologies: Applications and Foundations. STAF 2016. Lecture Notes in Computer Science(), vol 9946. Springer, Cham. https://doi.org/10.1007/978-3-319-50230-4_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-50230-4_17

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-50229-8

  • Online ISBN: 978-3-319-50230-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation