DeepAI AI Chat
Log In Sign Up

Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering – A White Paper

by   Antonio Cerone, et al.

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 (i) improved teaching of formal methods; (ii) systematic highlighting of formal methods within existing, `classical' computer science courses; and (iii) the inclusion of a compulsory formal methods course in computer science and software engineering curricula. These recommendations are based on the observations that (a) formal methods are an essential and cost-effective means to increase software quality; however (b) computer science and software engineering programmes typically fail to provide adequate training in formal methods; and thus (c) there 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.


page 1

page 2

page 3

page 4


Observations on Transitioning to Teaching Computer Science Online

The hit of the COVID-19 pandemic has hugely affected higher education in...

FAIR and Open Computer Science Research Software

In computational science and in computer science, research software is a...

Towards Classification of Lightweight Formal Methods

The use of lightweight formal methods (LFM) for the development of indus...

Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education

Formal methods yet advantageous, face challenges towards wide acceptance...

On the Maintenance of Classic Modula-2 Compilers

The classic Modula-2 language was specified in [Wir78] by N.Wirth at ETH...

Teaching Computer Science Students to Communicate Scientific Findings More Effectively

Science communication forms the bridge between computer science research...