goto UNSW  home page  
Contacts Library myUNSW WebCT
 Language-based Software Safety - COMP4181
 Students studying
Campus: Kensington Campus
Career: Undergraduate
Units of Credit: 6
EFTSL: 0.125 (more info)
Contact Hours per Week: 3
Enrolment Requirements:
Prerequisite: COMP2011 or COMP2711 or COMP2911.
Fee Band:   (more info)
Further Information: See Class Timetable


Trust in the safety and security of software systems is increasingly important with the use of software in systems where failure or sabotage can lead to loss of life or be very expensive (this includes medical and financial applications as well as software used for power grids, amss transport systems, and security infrastructure). This course covers language based safety engineering techniques advanced type systems, specification-based test generators, domain-specific languages, and prototyping for high-assurance. It demonstrates via concrete examples, including security infrastructure software, how modern functional languages are used to achieve high assurance, and conveys hands-on experience via practical assignments.

Further Information

URL for this page:

© The University of New South Wales (CRICOS Provider No.: 00098G), 2004-2011. The information contained in this Handbook is indicative only. While every effort is made to keep this information up-to-date, the University reserves the right to discontinue or vary arrangements, programs and courses at any time without notice and at its discretion. While the University will try to avoid or minimise any inconvenience, changes may also be made to programs, courses and staff after enrolment. The University may also set limits on the number of students in a course.