(IT)
B Srinivasan
6 points + 2 hours per week + Second semester + Caulfield + Prerequisites: COT2004 or COT2001
Synopsis: Methodology and models of software development. Real-time programming. Concurrency. Mutual exclusion, process synchronisation and communications mechanisms. Distributed systems. Layered architecture and OSI. Formal methods for software specification and verification of correctness. SDL. State charts. Implementation issues. Software reliability engineering. Software management and quality assurance.
Assessment: Examination (2 hours): 60% + Practical work (design and development of a data communication application): 40%