Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering

Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper —

Published:2021 Issue: Volume: Page:1-26
ISSN:1865-0929
Container-title:Communications in Computer and Information Science
language:
Short-container-title:

Author:

Cerone Antonio^ORCID,Roggenbach Markus^ORCID,Davenport James,Denner Casey,Farrell Marie,Haveraaen Magne,Moller Faron,Körner Philipp,Krings Sebastian,Ölveczky Peter Csaba,Schlingloff Bernd-Holger,Shilov Nikolay,Zhumagambetov Rustam

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-71374-4_1

Reference53 articles.

1. ACM. Computer science curricula 2013: Curriculum guidelines for undergraduate degree programs in computer science (2013). http://dx.doi.org/10.1145/2534860

2. ACM. Software engineering 2014: Curriculum guidelines for undergraduate degree programs in computer science (2015). https://doi.org/10.1145/2965631

3. Amrani, M., Lucio, L., Bibal, A.: ML + FV = $$\heartsuit $$? A survey on the application of machine learning to formal verification. arXiv Software Engineering (2018)

4. Barnes, J.E.: Experiences in the industrial use of formal methods. In: Romanovsky, A., Jones, C., Bendiposto, J., Leuschel, M., (eds.) AVoCS 2011. Electronic Communications of the EASST (2011)

5. Backes, J., Bolignano, P., Cook, B., Gacek, A., Luckow, K.S., Rungta, N., Schaef, M., Schlesinger, C., Tanash, R., Varming, C., Whalen, M.: One-click formal methods. IEEE Softw. 36(6), 61–65 (2019)

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21

2. Meta-programming Event-B;Lecture Notes in Computer Science;2024

3. Teaching an Advanced Maude-Based Formal Methods Course in Oslo;Lecture Notes in Computer Science;2024

4. Structuring Formal Methods into the Undergraduate Computer Science Curriculum;Lecture Notes in Computer Science;2024

5. Formal Specification in Basic Education: What Does It Take?;2023 IEEE Frontiers in Education Conference (FIE);2023-10-18