CS412-15 Formal Systems Development

Academic year
Computer Science
Undergraduate Level 4
Module leader
Jane Sinclair
Credit value
Module duration
10 weeks
Study location
University of Warwick main campus, Coventry
Introductory description

This module uses formal techniques to explore the specification, design and implementation of computer systems. It will cover more advanced features of specification and introduce data and functional refinement, considering how a system design may be modified in a variety of practical ways. Refining the specification to code is an important step in the software life-cycle. This module presents both the theoretical basis for this and practical means of refinement from system specification to program code.

Module aims

To study methods for designing, analysing and programming complex computing systems.

Outline syllabus

This is an indicative module outline only to give an indication of the sort of topics that may be covered. Actual sessions held may differ.

Revision of sets, relations, functions and sequences.
Revision of basic specification skills.
Introduction to development tool:

Learning outcomes

By the end of the module, students should be able to:

Indicative reading list

Please see Talis Aspire link for most up to date list.

View reading list on Talis Aspire

Subject specific skills
Transferable skills

Study time

Type Required
Lectures 20 sessions of 1 hour (13%)
Supervised practical classes 10 sessions of 1 hour (7%)
Private study 120 hours (80%)
Total 150 hours
Private study description

Background reading;
Completion of exercise sheets;


No further costs have been identified for this module.

You do not need to pass all assessment components to pass the module.

Students can register for this module without taking any assessment.

Assessment group D3
Weighting Study time
Practical assignment 1 20%

Assignment 1: practical coursework task

Practical assignment 2 20%

Assignment 2: practical coursework task

In-person Examination 60%

2 hour exam

  • Answerbook Pink (12 page)
Assessment group R1
Weighting Study time
In-person Examination - Resit 100%

CS412 Examination resit

  • Answerbook Pink (12 page)
  • Students may use a calculator
Feedback on assessment

Individual written feedback on each assignment.

Past exam papers for CS412


MEng students must have studied the material in CS130, CS131, CS262


This module is Optional for:

  • Year 5 of UCSA-G504 MEng Computer Science (with intercalated year)
  • Year 1 of TCSA-G5PD Postgraduate Taught Computer Science
  • UCSA-G503 Undergraduate Computer Science MEng
    • Year 4 of G503 Computer Science MEng
    • Year 4 of G503 Computer Science MEng

This module is Option list B for:

  • Year 4 of UCSA-G4G3 Undergraduate Discrete Mathematics
  • Year 5 of UCSA-G4G4 Undergraduate Discrete Mathematics (with Intercalated Year)