Browse by author
Lookup NU author(s): Dr Peter Larsen,
Professor John Fitzgerald,
Dr Stephen Riddle
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
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 apply formal methods directly. Both courses emphasise skills in model construction and analysis by testing rather than formal verification. The accessibility of the formalism is enhanced by the use of established notations (VDM-SL and VDM++). Motivation is improved by using credible examples drawn from industrial projects, and by using an industrial-strength tool set. We present examples from the courses and discuss student evaluation and examination performance. We stress the need for exercises and tests to support the development of abstraction skills.
Author(s): Larsen PG, Fitzgerald JS, Riddle S
Publication type: Article
Publication status: Published
Journal: Formal Aspects of Computing
ISSN (print): 0934-5043
ISSN (electronic): 1433-299X
Altmetrics provided by Altmetric