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

10/12/2020
by   Antonio Cerone, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/02/2021

Observations on Transitioning to Teaching Computer Science Online

The hit of the COVID-19 pandemic has hugely affected higher education in...
research
08/16/2019

FAIR and Open Computer Science Research Software

In computational science and in computer science, research software is a...
research
05/22/2018

Are Computer Science and Engineering Graduates Ready for the Software Industry? Experiences from an Industrial Student Training Program

It has been 50 years since the term software engineering was coined in 1...
research
07/05/2018

Towards Classification of Lightweight Formal Methods

The use of lightweight formal methods (LFM) for the development of indus...
research
06/04/2019

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

Formal methods yet advantageous, face challenges towards wide acceptance...
research
09/19/2018

On the Maintenance of Classic Modula-2 Compilers

The classic Modula-2 language was specified in [Wir78] by N.Wirth at ETH...
research
01/16/2023

Teaching Computer Science Students to Communicate Scientific Findings More Effectively

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

Please sign up or login with your details

Forgot password? Click here to reset