Authorised by Academic Registrar, April 1996
Objectives The student is expected to develop an understanding of the major concerns in telecommunications software, concurrency, real-time requirements, formal techniques in software engineering and software development in a team environment.
Synopsis Methodology and models of software development; real-time programming; concurrency; mutual exclusion, process synchronisation and communication 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) + Assignments + Project work