CSE4602

Advanced topics in software engineering ( 6 points, SCA Band 2, 0.125 EFTSL)

Leader: Hons Course Coordinator

Offered:
Clayton First semester 2005 (Day)
Clayton Full year 2005 (Day)
Clayton S2-S1-02 2005 (Day)
Clayton S2-S1 2005 (Day)
Clayton Second semester 2005 (Day)

Synopsis: Software engineering is concerned with all aspects of effectively building reliable software systems. It addresses the entire software life cycle including requirement analysis and specification, design, construction, testing, and operation and maintenance. The modules in the framework of this unit cover advanced issues in software engineering, particularly the use of formal methods, such as: mathematical concepts behind formal methods; executable specifications; formal specification formalisms and their use in the software engineering process; and verification and testing.

Assessment: Assignment and Examination, relative weight depending on topic composition. When no exam is given students will be expected to demonstrate their knowledge by solving practical problems and maybe required to give an oral report. This variability is designed to give flexibility to the lecturer to decided the most appropriate form of examination for a given choice of topics.

Contact Hours: Lectures: 39 hours; Laboratory: up to 40 hours

Prerequisites: Completion of the Bachelor of Computer Science or Bachelor of Digital Systems or Bachelor of Computing at an advanced level equivalent to the entry requirements for the Honours program. Students must also have enrolment approval from the Honours Coordinator. Individual modules in the framework of this unit may have additional prerequisites. For detailed information please contact the Honours coordinator.

Corequisites: Individual modules in the framework of this unit may have additional corequisites.

Prohibitions: Individual modules in the framework of this unit may have additional prohibitions.