Pith. sign in

REVIEW

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

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2205.00787 v1 pith:EQE4UCYO submitted 2022-05-02 cs.SE cs.LO

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

James Noble , David Streader , Isaac Oscar Gariano , Miniruwani Samarakoon This is my paper
classification cs.SE cs.LO
keywords softwarecourseengineeringformalmethodsprogrammingcorrectnessredeveloped
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

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.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.