F20RS Rigorous Methods for Software Engineering

Prof Andrew IrelandDr Muhammad NajibDr Hind Zantout

Course co-ordinator(s): Prof Andrew Ireland (Edinburgh), Dr Muhammad Najib (Edinburgh), Dr Hind Zantout (Dubai).

Aims:

To provide knowledge and understanding of tools and techniques which support rigorous software engineering

Detailed Information

Course Description: Link to Official Course Descriptor.

Pre-requisite course(s): F28SD Introduction to Software Engineering or equivalent.

Location: Dubai, Edinburgh.

Semester: 1.

Syllabus:

The course addresses the challenges of engineering and modelling safe and secure software systems. It covers a range of rigorous processes and formal methods that support the development of high integrity software systems. From modelling and reasoning about designs through to code, students will experience a range of state-of-the-art static analysis tools and techniques. While theory based, the course has a strong practical element, drawing upon industrial case study material where appropriate.

SCQF Level: 10.

Credits: 15.