Leader: Dr Damian Conway
Clayton Second semester 2005 (Day)
Malaysia Second semester 2005 (Day)
Synopsis: Formal methods and approaches to the construction of modern computer software. Topics include software tools, object-oriented design, object-oriented programming (using the C++ programming language), documentation, debugging, metrics, formal specification, process and project management issues.
Assessment: Examination (3 hours): 80% + Practical work: 20%
Contact Hours: Two 1-hour lectures per week, one 1-hour tutorial per fortnight, and one 3-hour laboratory per fortnight
Prerequisites: CSE1303 or CSC1030
Prohibitions: CFR2128, CFR3042, CSC2050, CSE2401, DGS2231, GCO3811, RDT2231, SFT2201, SFT2411, SFT3041