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.