MONASH UNIVERSITY FACULTY HANDBOOKS

Computing & Information Technology Handbook 1996

Authorised by Academic Registrar, April 1996

SFT4030

Software life-cycle processes

B Durnota

Objectives At the completion of this subject students should understand various rigorous approaches to software development; and be able to evaluate software methods; be able to apply a range of advanced techniques in the development of a large software engineering project.

Synopsis A study of rigorous approaches to various activities in the life cycle: requirements acquisition, specification, design, validation, maintenance and re-engineering. Role of formal methods in different parts of the life cycle. Integrative approaches to the software development process. Evaluating software methods. Method engineering and lifecycle modelling. Approaches to the engineering of complex software systems.

Assessment Assignments: 100%

Recommended texts

• Arnold R S Software reengineering IEEE Computer Science Press, 1993
• Bezier B Software testing techniques Van Nostrand, 1990
• Diller A Z: An introduction to formal methods 2nd edn, Wiley, 1994
• Lano K (ed.) Object-oriented formal specification case studies Prentice-Hall, 1993
• Morgan C Programming from specifications Prentice-Hall, 1990
• Rumbaugh J and others Object-oriented modelling and design Prentice-Hall, 1991