Postgraduate Programme and Module Handbook 2007-2008 (archived)
Module COMP40115: SOFTWARE DEPENDABILITY
Department: Computer Science
COMP40115: SOFTWARE DEPENDABILITY
| Type | Tied | Level | 4 | Credits | 15 | Availability | Available in 2007/08 | Module Cap |
|---|
| Tied to | G5K209 |
|---|
Prerequisites
- None.
Corequisites
- None.
Excluded Combination of Modules
- Security and Fault Tolerance (COMP51215).
Aims
- The purpose of this module is to study how software dependability can be used to improve software for the internet.
Content
- Topics and approaches to:
- Software dependability including issues of safety and reliability
- Composing safety arguments
- Human factors for safety
- Hazard analysis
- Human reliability design
- Design specification and verification of interactive systems
Learning Outcomes
Subject-specific Knowledge:
- To have knowledge of the principle issues of software dependability
- To have knowledge of the particular aspects of dependability in relation to human factors
- To successfully evaluate different approaches of dependability for a variety of internet applications
Subject-specific Skills:
Key Skills:
Modes of Teaching, Learning and Assessment and how these contribute to the learning outcomes of the module
- Lecturing provides specialist subject information and the application of the theory to practical examples. Problem classes through practicals provide assessment (both formative and summative) to guide students in the correct development of their knowledge and skills. Tutorials provide active engagement and feedback to the learning process.
Teaching Methods and Learning Hours
| Activity | Number | Frequency | Duration | Total/Hours | |
|---|---|---|---|---|---|
| Tutorials | 4 | 1 hour | 4 | ||
| Lectures | 6 | Over first 2 weeks | 2 hour | 12 | |
| Preparation and Reading | 134 | ||||
| Total | 150 |
Summative Assessment
| Component: Coursework | Component Weighting: 100% | ||
|---|---|---|---|
| Element | Length / duration | Element Weighting | Resit Opportunity |
| Coursework | 2500 words | 100% | |
Formative Assessment:
A formative assignment will be given in the second week of the module (500-1000 words).
■ Attendance at all activities marked with this symbol will be monitored. Students who fail to attend these activities, or to complete the summative or formative assessment specified above, will be subject to the procedures defined in the University's General Regulation V, and may be required to leave the University