Not offered until 2000
4 points · 26 lectures · 26 hours of laboratory and problem classes · Second semester · Clayton · Prerequisites: ECE2702, MAT3901
Objectives The student is expected to develop an understanding of the major concerns in real time software, formal techniques in software engineering, and software development and validation in a team environment.
Synopsis This subject explores the methodology of software development and lifecycle models; characteristics and requirements of real-time systems including scheduling under crisis time constraints; concurrency; process synchronisation and resource sharing; inter-process communication mechanisms; distributed systems; formal specification techniques; software validation and quality assurance; standards; performance metrics; human factors in software engineering.
Assessment Examination (3 hours): 70% · Project work: 30%
Recommended texts
Pressman R S Software engineering: A practitioner's
approach European edn, McGraw Hill, 1994
Watts H S A discipline for software engineering Addison-Wesley, 1995
Stankovic and Ramamritham Hard real-time systems IEEE Computer Society
Press, 1988
Bacon J Concurrent systems: An integrated approach to operating
systems, database and distributed systems Addison Wesley, 1992