(IT)
Dr Damian Conway
6 points + Two 1-hour lectures per week and one 3-hour laboratory per fortnight + Second semester + Clayton, Malaysia + Prerequisite: CSE1303 or CSC1030 + Prohibitions: CFR2128, CFR3042, CSC2050, CSE2201, DGS2231, GCO3811, RDT2231, SFT2201, SFT2411, SFT3041
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%