Skip to main content
SpringerLink
Log in

Teaching Formal Methods in Academia: A Systematic Literature Review

  • Conference paper
  • First Online:
Formal Methods – Fun for Everybody (FMFun 2019)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 1301))

Included in the following conference series:

Abstract

The amount of literature on teaching formal methods has been growing. However, there is a lack of attempts to systematically review existing practices. This study attempts to identify challenges related to teaching formal methods by examining the literature on this topic. The literature review categorizes and systematizes the existing experience of teaching formal methods to students at universities. It presents obstacles reported as well as the strategies to deal with them that are expected to help current practitioners.

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

Access this chapter

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

Institutional subscriptions

Similar content being viewed by others

References

  1. Bayley, I., Lightfoot, D., Martin, C.: Teaching the Oxford Brookes formal specification module. In: Teaching Formal Methods, p. 5 (2006)

    Google Scholar 

  2. Blanco, J., Losano, L., Aguirre, N., Novaira, M.M., Permigiani, S., Scilingo, G.: An introductory course on programming based on formal specification and program calculation. SIGCSE Bull. 41(2), 31–37 (2009). https://doi.org/10.1145/1595453.1595459

    Article  Google Scholar 

  3. Boute, R.: Teaching and practicing computer science at the university level. SIGCSE Bull. 41(2), 24–30 (2009). https://doi.org/10.1145/1595453.1595458

    Article  Google Scholar 

  4. Brakman, H., Driessen, V., Kavuma, J., Bijvank, L.N., Vermolen, S.: Supporting formal method teaching with real-life protocols. In: Formal Methods in the Teaching Lab: Examples, Cases, Assignments and Projects Enhancing Formal Methods Education, pp. 59–68 (2006)

    Google Scholar 

  5. Catano, N.: An empirical study on teaching formal methods to millennials. In: 2017 IEEE/ACM 1st International Workshop on Software Engineering Curricula for Millennials (SECM), pp. 3–8. IEEE, Buenos Aires, Argentina (2017). https://doi.org/10.1109/SECM.2017.1

  6. Catano, N., Rueda, C.: Teaching formal methods for the unconquered territory. In: Gibbons, J., Oliveira, J.N. (eds.) TFM 2009. LNCS, vol. 5846, pp. 2–19. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-04912-5_2

    Chapter  Google Scholar 

  7. Davies, J., Gibbons, J.: Formal methods for future interoperability. ACM Inroads 41(2), 60–64 (2009). https://doi.org/10.1145/1595453.1595463

    Article  Google Scholar 

  8. Feinerer, I., Salzer, G.: Automated tools for teaching formal software verification. In: Teaching Formal Methods, p. 5 (2006)

    Google Scholar 

  9. Gopalakrishnan, G.: Formal methods for surviving the jungle of heterogeneous parallelism. In: 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops & PhD Forum, pp. 1321–1324. IEEE, Shanghai, China (2012). https://doi.org/10.1109/IPDPSW.2012.164

  10. Hallerstede, S., Leuschel, M.: How to explain mistakes. In: Gibbons, J., Oliveira, J.N. (eds.) TFM 2009. LNCS, vol. 5846, pp. 105–124. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-04912-5_8

    Chapter  Google Scholar 

  11. Kitchenham, B., Charters, S.: Guidelines for performing systematic literature reviews in software engineering (2007)

    Google Scholar 

  12. Kofroň, J., Parízek, P., Šerý, O.: On teaching formal methods: behavior models and code analysis. In: Gibbons, J., Oliveira, J.N. (eds.) TFM 2009. LNCS, vol. 5846, pp. 144–157. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-04912-5_10

    Chapter  Google Scholar 

  13. Lipaczewski, M., Ortmeier, F.: Teaching and training formal methods for safety critical systems. In: 2013 39th Euromicro Conference on Software Engineering and Advanced Applications, pp. 408–413. IEEE, Santander, Spain (2013). https://doi.org/10.1109/SEAA.2013.54

  14. Loukanova, R.: Teaching formal methods for computational linguistics at uppsala university. In: Teaching Formal Methods, p. 6 (2006)

    Google Scholar 

  15. Méry, D.: A simple refinement-based method for constructing algorithms. SIGCSE Bull. 41(2), 51–59 (2009). https://doi.org/10.1145/1595453.1595462

    Article  Google Scholar 

  16. Miller, A., Cutts, Q.: The use of an electronic voting system in a formal methods course. In: Formal Methods in the Teaching Lab: Examples, Cases, Assignments and Projects Enhancing Formal Methods Education. A Workshop at the Formal Methods 2006 Symposium, Hamilton, Ontario, Canada, 26 Aug 2006, pp. 3–8. McMaster University, Hamilton (2006)

    Google Scholar 

  17. Ölveczky, P.C.: Teaching formal methods based on rewriting logic and Maude. In: Gibbons, J., Oliveira, J.N. (eds.) TFM 2009. LNCS, vol. 5846, pp. 20–38. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-04912-5_3

    Chapter  Google Scholar 

  18. Parnas, D.L., Eng, P., Soltys, M.: Basic science for software developers (2006)

    Google Scholar 

  19. Prasetya, W., et al.: Having fun in learning formal specifications. In: 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET), pp. 192–196. IEEE, Montreal (2019). https://doi.org/10.1109/ICSE-SEET.2019.00028

  20. Roychoudhury, A.: Introducing model checking to undergraduates. In: Formal Methods Education Workshop, pp. 9–15 (2006)

    Google Scholar 

  21. Schreiner, W.: The RISC ProofNavigator: a proving assistant for program verification in the classroom. Formal Aspects Comput. 21(3), 277–291 (2009). https://doi.org/10.1007/s00165-008-0069-4

    Article  MATH  Google Scholar 

  22. Sekerinski, E.: Teaching the mathematics of software design. In: Formal Methods in the Teaching Lab, p. 53 (2006)

    Google Scholar 

  23. Shilov, N.V.: Kwangkeun Yi: engaging students with theory through ACM collegiate programming contests. Commun. ACM 45(9), 98–101 (2002)

    Article  Google Scholar 

  24. Spichkova, M., Zamansky, A.: Teaching of formal methods for software engineering. In: Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering, pp. 370–376. SCITEPRESS - Science and and Technology Publications, Rome (2016). https://doi.org/10.5220/0005928503700376

  25. Spies, K., Schätz, B.: A playful approach to formal models a field report on teaching modeling fundamentals at middle school. In: Formal Methods in the Teaching Lab, p. 45 (2006)

    Google Scholar 

  26. Utting, M., Reeves, S.: Teaching formal methods lite via testing. Softw. Test. Verif. Reliab. 11(3), 181–195 (2001). https://doi.org/10.1002/stvr.223

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Nazarbayev University, Nur-Sultan, 010000, Kazakhstan

    Rustam Zhumagambetov

Authors
  1. Rustam Zhumagambetov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Rustam Zhumagambetov .

Editor information

Editors and Affiliations

  1. Nazarbayev University, Nur-Sultan, Kazakhstan

    Antonio Cerone

  2. Swansea University, Swansea, UK

    Markus Roggenbach

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Zhumagambetov, R. (2021). Teaching Formal Methods in Academia: A Systematic Literature Review. In: Cerone, A., Roggenbach, M. (eds) Formal Methods – Fun for Everybody. FMFun 2019. Communications in Computer and Information Science, vol 1301. Springer, Cham. https://doi.org/10.1007/978-3-030-71374-4_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-71374-4_12

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-71373-7

  • Online ISBN: 978-3-030-71374-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation