Browse by author
Lookup NU author(s): Dr Peter Larsen, Professor John Fitzgerald, Dr Stephen RiddleORCiD
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.
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