Monash University Science handbook 1995

Copyright © Monash University 1995
Enquiries to publishing@udev.monash.edu.au

CSC3080

Software engineering II

A J Hurst

4 points * Two 1-hour lectures per week * First semester * Clayton * Prerequisites: CSC2040, CSC2050 and CSC2030 * Corequisites: As for CSC3030

This subject examines issues related to programming in the large. Topics covered include formal specification (using the Z specification language), criteria governing the design of modules, object orientation and the role of static and dynamic bindings in system construction, Examples of languages using strong typing, inheritance, polymorphism, genericity and persistence will be used to support these ideas. Of particular importance is the process of mapping formal specifications into implementations, and the idea of programming by contract.

Assessment

Examinations (2 hours): 60% * Two exercises: 40%

Prescribed texts

Meyer B Object-oriented software construction Prentice-Hall

Wordsworth J B Software development with Z Addison-Wesley, 1992



Return to details of undergraduate subjects
Return to Science handbook contents
Return to the list of Monash handbooks