Authorised by Academic Registrar, April 1996
Objectives On completion of this subject students should appreciate the role of software lifecycle models in project planning; be able to use functional and formal methods for specification and design of a software system; and understand the role and applications of tools for supporting the development of large software systems.
Synopsis Software engineering principles; lifecycle models; sizing, estimation, planning and control; requirements specification; functional specification and design; formal specification and design using Z; integration and testing strategies; quality assurance; configuration management; software maintenance.
Assessment Examination (3 hours): 40% + Other assessment modes: 60%