(ENG)
B Srinivasan
3 points + 16 lectures and 9 tutorials/laboratory hours + Second semester + Clayton + Prerequisites: ECS2380 or equivalent
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