Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Learning by Doing: Practical Courses in Lightweight Formal Methods using VDM++

Lookup NU author(s): Dr Peter Larsen, Emeritus Professor John FitzgeraldORCiD, Dr Stephen RiddleORCiD

Downloads

Abstract

We describe the design and delivery of two courses that aim to develop skills of use to students in their subsequent professional practice, whether or not they are directly applying formal methods. Both curricula take a "lightweight'' approach, emphasising skills in model construction and analysis by test rather than formal verification. The accessibility of the formalism is enhanced by the use of well-established notations (VDM-SL and VDM++); its credibility is established by using examples drawn from industrial projects, and by using an industrial-strength tool set. Examples from the courses are presented and initial results based on student evaluation and examination performance are discussed.

Publication metadata

Author(s): Larsen PG, Fitzgerald JS, Riddle S

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2006

Pages: 19

Print publication date: 01/12/2006

Source Publication Date: December 2006

Report Number: 992

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/992.pdf

Share