Course Resources Archive

It is assumed that people taking this module already have an understanding and good practical experience of programming.

The module explores concepts in programming languages, constructs and design patterns that support or inhibit the development of dependable software with emphasis on correctness, robustness and security.

·         Introduction to the concept of dependability

·         Examination of the evolution of modern programming languages with a focus on features contributing (or not) to dependability

o    Structural constructs

o    Typing

o    Exception handling

o    Other language concepts

·         The role of other software products (specification, design and test plans)

·         Research directions in the development of dependable languages

A student passing this module should be able to:

1.     Demonstrate a systematic understanding of programming language constructs and how they can be used to develop Dependable Software.

2.      Demonstrate a keen appreciation of those language constructs that may compromise the dependability of software.

3.     Flexibly and creatively incorporate knowledge of the underlying implementation in order to develop correct, robust and secure code.

4.     Understand and critically evaluate the relative merits of a range of contemporary languages.

5.     Critically review, consolidate and extend their knowledge, practice and thinking in the development of dependable programs.

Demonstrate self-direction and originality in tackling and solving problems, and act autonomously in planning and implementing tasks at a professional or equivalent level.

The Library Catalogue contains full details of the current reading list for this module. Further details may also be found in the Module Guide.