CSE3150

Data communications software engineering ( 6 points, SCA Band 2, 0.125 EFTSL)

Leader: B Srinivasan

Offered:
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

Prerequisites: COT2004 or CSE2004, or COT2001 or CSE2318 or CSE3318

Prohibitions: COT3150