More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme

05/02/2022
by   James Noble, et al.
0

Formal methods for software correctness are critical to the future of software engineering - and so must be an essential part of software engineering education. Unfortunately, formal methods are often resisted by students due to perceived difficulty, mathematicity, and practical irrelevance. We redeveloped our software correctness course by taking a programming intensive approach, using the solver-aided language Dafny to provide instant formative feedback via automated assessment. Our redeveloped course increased student retention and resulted in the best evaluation for the course for at least ten years.

READ FULL TEXT
research
02/07/2018

Blueprint and Evaluation Instruments for a Course on Software Engineering for Sustainability

We report on a summer school course on Software Engineering for Sustaina...
research
07/30/2018

Designing a blended learning of system programming for software engineering bachelors

The research objective is to design a blended learning of system program...
research
07/22/2023

Exploring the Relationship Between Personality Traits and User Feedback

Previous research has studied the impact of developer personality in dif...
research
03/08/2021

Langar: An Approach to Evaluate Reo Programming Language

Reo is a formal coordination language. In order to assess and evaluate i...
research
08/03/2018

Code Shrew: Software platform for teaching programming through drawings and animations

In this paper, we present Code Shrew, a new software platform accompanie...

Please sign up or login with your details

Forgot password? Click here to reset