Leader: B Srinivasan
Not offered in 2005.
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%
Contact Hours: 2 hours per week