COMP SCI 4054 - High Integrity Software Engineering
General Course Information
Course Details | Detailed Course Information | Course Staff | Course Timetable | Related Links
Course Details
| Course Code | COMP SCI 4054 |
| Course | High Integrity Software Engineering |
| Coordinating Unit | School of Computer Science, Faculty of Engineering, Computer and Mathematical Sciences |
| Term | Semester 2 2013 |
| Mode | Internal |
| Level | Undergraduate |
| Location/s | North Terrace |
| Units | 3 |
| Contact | Up to 2 hours per week |
| Prerequisites | Not applicable |
| Corequisites | Not applicable |
| Incompatible | Not applicable |
| Assumed Knowledge | Not applicable |
| Restrictions | Not applicable |
| Quota | Not applicable |
| Course Description | This course introduces students to high-integrity software engineering, with a focus on the development of safety-critical software. Lectures will cover hazard analysis, risk analysis, safety-critical software, formal methods, rigorous software development and software process improvement. Students will apply a variety of practical techniques in assignments. |
Detailed Course Information
Includes Learning Objectives, Learning Resources, Teaching & Learning
coming soonCourse Enrolment Dates and Fees
The enrolment dates, fees and full timetable of all activities for this course can be accessed from the Course Planner.
Course Staff
Name
Department
Floor/Room
Building
Campus
Telephone:
Email
