Course Resources Archive
COM466: Development of Dependable Software
| Module Title | Development of Dependable Software |
|---|---|
| Module Code | COM466 |
| Module Tutor | Vicky Bush |
| School | Computing and Technology |
| CAT Points | 15 |
| Level of Study | 7 |
| Pre-requisites | None |
| Co-requisites | None |
| Restrictions | None |
| Brief Description | It is assumed that people taking this module already have an understanding and good practical experience of programming. The module focuses on software engineering practices that support the development of dependable software with emphasis on correctness, robustness and security. |
| Indicative Syllabus | · Review of the concept of dependability · Examine approaches to software dependability o Process based approaches o Tools and environments o Static verification techniques o Design by Contract o Testing o Metrics for assessing dependability Research directions in the development of Dependable Software |
| Learning Outcomes | A student passing this module should be able to: 1. Demonstrate a systematic understanding of techniques for ensuring software reliability and how they can be used to develop dependable software. 2. Flexibly and creatively apply appropriate techniques to existing software in order to assess and improve the dependability of the software. 3. Understand the range and utility of tools to support dependable software development and have the ability to independently learn to use them effectively. 4. Critically review, consolidate and extend 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 level. |
| Learning and Teaching Activities | Scheduled Contact Hours: 20 Independent Learning Hours: 130 |
| Assessment (For further details see the Module Guide) | 001: 100% Coursework: Individual, other: 4000 or equivalent |
| Special Assessment Requirements | |
| Indicative Resources | The Library Catalogue contains full details of the current reading list for this module. Further details may also be found in the Module Guide. |
Company Registration Number 06023243. VAT Number GB 886 1439 87.
Connect with us:
