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

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

doi:10.1007/978-3-030-71374-4_1

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

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

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

3 Citations (SciVal)

50 Downloads (Pure)

Abstract

This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, it advocates improved teaching of formal methods;systematic highlighting of formal methods within existing, ‘classical’ computer science courses; andthe inclusion of a compulsory formal methods course in computer science and software engineering curricula. These recommendations are based on the observations that formal methods are an essential and cost-effective means to increase software quality; howevercomputer science and software engineering programmes typically fail to provide adequate training in formal methods; and thusthere is a lack of computer science graduates who are qualified to apply formal methods in industry. This white paper is the result of a collective effort by authors and participants of the 1st International Workshop on Formal Methods – Fun for Everybody which was held in Bergen, Norway, 2–3 December 2019. As such, it represents insights based on learning and teaching computer science and software engineering (with or without formal methods) at various universities across Europe.

Original language	English
Title of host publication	Formal Methods – Fun for Everybody
Subtitle of host publication	FMFun 2019
Editors	Antonio Cerone, Markus Roggenbach
Place of Publication	Cham, Switzerland
Publisher	Springer
Pages	1-26
Number of pages	26
ISBN (Print)	9783030713737
DOIs	https://doi.org/10.1007/978-3-030-71374-4_1
Publication status	Published - 11 Mar 2021
Event	1st International Workshop on Formal Methods - Fun for Everybody, FMFun 2019 - Bergen, Norway Duration: 2 Dec 2019 → 3 Dec 2019

Publication series

Name	Communications in Computer and Information Science
Volume	1301 CCIS
ISSN (Print)	1865-0929
ISSN (Electronic)	1865-0937

Conference

Conference	1st International Workshop on Formal Methods - Fun for Everybody, FMFun 2019
Country/Territory	Norway
City	Bergen
Period	2/12/19 → 3/12/19

Bibliographical note

Publisher Copyright:
© 2021, Springer Nature Switzerland AG.

Copyright:
Copyright 2021 Elsevier B.V., All rights reserved.

ASJC Scopus subject areas

General Computer Science
General Mathematics

Access to Document

10.1007/978-3-030-71374-4_1

Ceroneetal2020aAccepted author manuscript, 293 KBLicence: CC BY-NC-ND

Cite this

Cerone, A., Roggenbach, M., Davenport, J., Denner, C., Farrell, M., Haveraaen, M., Moller, F., Körner, P., Krings, S., Ölveczky, P. C., Schlingloff, B. H., Shilov, N., & Zhumagambetov, R. (2021). Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper. In A. Cerone, & M. Roggenbach (Eds.), Formal Methods – Fun for Everybody: FMFun 2019 (pp. 1-26). (Communications in Computer and Information Science; Vol. 1301 CCIS). Springer. https://doi.org/10.1007/978-3-030-71374-4_1

Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper. / Cerone, Antonio; Roggenbach, Markus; Davenport, James et al.
Formal Methods – Fun for Everybody: FMFun 2019. ed. / Antonio Cerone; Markus Roggenbach. Cham, Switzerland: Springer, 2021. p. 1-26 (Communications in Computer and Information Science; Vol. 1301 CCIS).

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Cerone, A, Roggenbach, M, Davenport, J, Denner, C, Farrell, M, Haveraaen, M, Moller, F, Körner, P, Krings, S, Ölveczky, PC, Schlingloff, BH, Shilov, N & Zhumagambetov, R 2021, Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper. in A Cerone & M Roggenbach (eds), Formal Methods – Fun for Everybody: FMFun 2019. Communications in Computer and Information Science, vol. 1301 CCIS, Springer, Cham, Switzerland, pp. 1-26, 1st International Workshop on Formal Methods - Fun for Everybody, FMFun 2019, Bergen, Norway, 2/12/19. https://doi.org/10.1007/978-3-030-71374-4_1

Cerone A, Roggenbach M, Davenport J, Denner C, Farrell M, Haveraaen M et al. Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper. In Cerone A, Roggenbach M, editors, Formal Methods – Fun for Everybody: FMFun 2019. Cham, Switzerland: Springer. 2021. p. 1-26. (Communications in Computer and Information Science). Epub 2021 Mar 11. doi: 10.1007/978-3-030-71374-4_1

Cerone, Antonio ; Roggenbach, Markus ; Davenport, James et al. / Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper. Formal Methods – Fun for Everybody: FMFun 2019. editor / Antonio Cerone ; Markus Roggenbach. Cham, Switzerland : Springer, 2021. pp. 1-26 (Communications in Computer and Information Science).

@inproceedings{fa1568579f44496d9889e512c8b9d174,

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

abstract = "This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, it advocates improved teaching of formal methods;systematic highlighting of formal methods within existing, {\textquoteleft}classical{\textquoteright} computer science courses; andthe inclusion of a compulsory formal methods course in computer science and software engineering curricula. These recommendations are based on the observations that formal methods are an essential and cost-effective means to increase software quality; howevercomputer science and software engineering programmes typically fail to provide adequate training in formal methods; and thusthere is a lack of computer science graduates who are qualified to apply formal methods in industry. This white paper is the result of a collective effort by authors and participants of the 1st International Workshop on Formal Methods – Fun for Everybody which was held in Bergen, Norway, 2–3 December 2019. As such, it represents insights based on learning and teaching computer science and software engineering (with or without formal methods) at various universities across Europe.",

author = "Antonio Cerone and Markus Roggenbach and James Davenport and Casey Denner and Marie Farrell and Magne Haveraaen and Faron Moller and Philipp K{\"o}rner and Sebastian Krings and {\"O}lveczky, {Peter Csaba} and Schlingloff, {Bernd Holger} and Nikolay Shilov and Rustam Zhumagambetov",

note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG. Copyright: Copyright 2021 Elsevier B.V., All rights reserved.; 1st International Workshop on Formal Methods - Fun for Everybody, FMFun 2019 ; Conference date: 02-12-2019 Through 03-12-2019",

year = "2021",

month = mar,

day = "11",

doi = "10.1007/978-3-030-71374-4_1",

language = "English",

isbn = "9783030713737",

series = "Communications in Computer and Information Science",

publisher = "Springer",

pages = "1--26",

editor = "Antonio Cerone and Markus Roggenbach",

booktitle = "Formal Methods – Fun for Everybody",

}

TY - GEN

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

AU - Cerone, Antonio

AU - Roggenbach, Markus

AU - Davenport, James

AU - Denner, Casey

AU - Farrell, Marie

AU - Haveraaen, Magne

AU - Moller, Faron

AU - Körner, Philipp

AU - Krings, Sebastian

AU - Ölveczky, Peter Csaba

AU - Schlingloff, Bernd Holger

AU - Shilov, Nikolay

AU - Zhumagambetov, Rustam

PY - 2021/3/11

Y1 - 2021/3/11

N2 - This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, it advocates improved teaching of formal methods;systematic highlighting of formal methods within existing, ‘classical’ computer science courses; andthe inclusion of a compulsory formal methods course in computer science and software engineering curricula. These recommendations are based on the observations that formal methods are an essential and cost-effective means to increase software quality; howevercomputer science and software engineering programmes typically fail to provide adequate training in formal methods; and thusthere is a lack of computer science graduates who are qualified to apply formal methods in industry. This white paper is the result of a collective effort by authors and participants of the 1st International Workshop on Formal Methods – Fun for Everybody which was held in Bergen, Norway, 2–3 December 2019. As such, it represents insights based on learning and teaching computer science and software engineering (with or without formal methods) at various universities across Europe.

AB - This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, it advocates improved teaching of formal methods;systematic highlighting of formal methods within existing, ‘classical’ computer science courses; andthe inclusion of a compulsory formal methods course in computer science and software engineering curricula. These recommendations are based on the observations that formal methods are an essential and cost-effective means to increase software quality; howevercomputer science and software engineering programmes typically fail to provide adequate training in formal methods; and thusthere is a lack of computer science graduates who are qualified to apply formal methods in industry. This white paper is the result of a collective effort by authors and participants of the 1st International Workshop on Formal Methods – Fun for Everybody which was held in Bergen, Norway, 2–3 December 2019. As such, it represents insights based on learning and teaching computer science and software engineering (with or without formal methods) at various universities across Europe.

UR - http://www.scopus.com/inward/record.url?scp=85104472662&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-71374-4_1

DO - 10.1007/978-3-030-71374-4_1

M3 - Chapter in a published conference proceeding

AN - SCOPUS:85104472662

SN - 9783030713737

T3 - Communications in Computer and Information Science

SP - 1

EP - 26

BT - Formal Methods – Fun for Everybody

A2 - Cerone, Antonio

A2 - Roggenbach, Markus

PB - Springer

CY - Cham, Switzerland

T2 - 1st International Workshop on Formal Methods - Fun for Everybody, FMFun 2019

Y2 - 2 December 2019 through 3 December 2019

ER -

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

Abstract

Publication series

Conference

Bibliographical note

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this