Computer Systems Engineering (3 Years) [BEng]

Verified Development


Unit code: COMP31111
Credit Rating: 10
Unit level: Level 3
Teaching period(s): Semester 1
Offered by School of Computer Science
Available as a free choice unit?: Y

Requisites

None

Additional Requirements

Students who are not from the School of Computer Science must have permission from both Computer Science and their home School to enrol.

Aims

This course is an introduction to verified development, using the Perfect Developer tool from Eschertech, which allows the development of abstract models, and their translation and refinement into running Java code.

Overview

Formal development techniques are able to provide the highest achievable levels of dependability in high-consequence applications.

Teaching and learning methods

Lectures

15

Laboratories

There are exercises associated with COMP31111. Some are to be submitted via Blackboard for assessment (counting 20% of the course).

Learning outcomes

Learning outcomes are detailed on the COMP31111 course unit syllabus page on the School of Computer Science's website for current students.

Employability skills

  • Analytical skills
  • Innovation/creativity
  • Problem solving
  • Research

Assessment methods

  • Written exam - 80%
  • Written assignment (inc essay) - 20%

Syllabus

Overview of informal and rigorous development.

Overview of model based refinement.

Basics of the Perfect language.

Practical development and refinement in Perfect.

More refinement theory.

The role of automated reasoning.

Prospects for the future.

Recommended reading

COMP31111 reading list can be found on the School of Computer Science website for current students.

Feedback methods

Feedback is provided face to face in the lab, and online for uploaded assessed materials.

Study hours

  • Assessment written exam - 2 hours
  • Lectures - 22 hours
  • Independent study hours - 76 hours

Teaching staff

Richard Banach - Unit coordinator

▲ Up to the top