- Department: Computer Science
- Module co-ordinator: Prof. Ana Cavalcanti
- Credit value: 20 credits
- Credit level: H
- Academic year of delivery: 2021-22
Occurrence | Teaching period |
---|---|
A | Autumn Term 2021-22 to Summer Term 2021-22 |
Software should do what you expect as reliably as any other technology. Usually it does not, however. Software is often unreliable and fails to meet the requirements. Typical software defect rates are unacceptable for any other kind of product. This module covers the modelling, validation, design, and verification techniques that contemporary engineers can employ to save money and time, and reduce risks. Specific aims of this module are to:
On completion of this module, students will:
Task | Length | % of module mark |
---|---|---|
Online Exam - 24 hrs (Centrally scheduled) Programming: Correctness by Construction (PCOC1) |
8 hours | 50 |
Online Exam - 24 hrs (Centrally scheduled) Programming: Correctness by Construction (PCOC2) |
8 hours | 50 |
None
Task | Length | % of module mark |
---|---|---|
Online Exam - 24 hrs (Centrally scheduled) Programming: Correctness by Construction (PCOC1) |
8 hours | 50 |
Online Exam - 24 hrs (Centrally scheduled) Programming: Correctness by Construction (PCOC2) |
8 hours | 50 |
Two formative assessments in the Autumn Term.
A number of formative assessments (typically four) in the Spring Term.
*** Woodcock J.C.P. and Davies J., Using Z: specification, refinement and proof, Prentice-Hall International, 1996
*** A. W. Roscoe, Understanding Concurrent Systems, Springer, 2011