Software engineering II
A J Hurst
4 points * Two 1-hour lectures per week * First semester * Clayton * Prerequisites: CSC2030, CSC2040 and CSC2050 * 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
Examination (2 hours): 70% * Two exercises: 30%
Prescribed texts
Meyer B Object-oriented software construction Prentice-Hall, 1994
Wordsworth J B Software development with Z Addison-Wesley, 1992