SENG442-24S2 (C) Semester Two 2024

Special Topic

15 points

Start Date: Monday, 15 July 2024
End Date: Sunday, 10 November 2024
Withdrawal Dates
Last Day to withdraw from this course:
  • Without financial penalty (full fee refund): Sunday, 28 July 2024
  • Without academic penalty (including no fee refund): Sunday, 29 September 2024


Special Topic in Software Engineering


Dependability in software engineering refers to the expected quality level of software intended for use in applications where failure can have serious or even catastrophic consequences. As we depend more on software, the number of these applications gradually increases. Finance, banking, avionics, automotive, robotics, health care, energy, telecommunications, and some public services are classical examples of application domains requiring dependable software.

SENG442 is an advanced course for computer science and software engineering students on software dependability. The course will start with an introduction to systems dependability, and dependability analysis. The course will then focus on software faults (i.e. defects introduced during the software development) and techniques aiming at avoiding and eliminating these faults.

Learning Outcomes

Students will be able to:
1. Understand dependability requirements and analysis techniques, and their impact on software development (e.g. quality assurance standards for dependable software).
2. Apply software engineering techniques for dependability: software fault avoidance (e.g. model-checking) and elimination (e.g. testing, software model-checking).
3. Classify model-checking techniques and analyse their benefits and limitations.
4. Demonstrate research skills, through literature search and review, in the space of software engineering for dependable systems.
5. Synthetize and communicate effectively the objectives and findings of their literature review.


Subject to the approval of the Director of Studies

Timetable 2024

Students must attend one activity from each section.

Lecture A
Activity Day Time Location Weeks
01 Wednesday 09:00 - 11:00 Jack Erskine 239
15 Jul - 25 Aug
9 Sep - 20 Oct
Computer Lab A
Activity Day Time Location Weeks
01 Monday 12:00 - 14:00 Jack Erskine 131 Lab 1
15 Jul - 25 Aug
9 Sep - 20 Oct

Course Coordinator / Lecturer

Etienne Borde


Assessment Summary:
70% Project 30% Final Exam (90 minutes)

Time Commitment: 150 hours
24hr Lecture hours (2x1hr/week – 12 weeks)
10hr Laboratory – lab sessions on faults avoidance and elimination techniques (5x2hr/week – 5 weeks)
30hr Self-directed learning (lecture prep)
70hr Project work
16hr Examination (including prep time)


SENG201 Software Engineering I

Recommended paper:
COSC261 Formal Languages and Compilers

Indicative Fees

Domestic fee $1,110.00

International fee $5,275.00

* All fees are inclusive of NZ GST or any equivalent overseas tax, and do not include any programme level discount or additional course-related expenses.

For further information see Computer Science and Software Engineering .

All SENG442 Occurrences

  • SENG442-24S1 (C) Semester One 2024 - Not Offered
  • SENG442-24S2 (C) Semester Two 2024