2009 Course Handbook
ITEC200: Foundations of Software Engineering
This unit provides a thorough presentation of the fundamentals of software development as an engineering discipline. It establishes conceptual foundations, which lie in discrete mathematics, and builds upon them to provide a thorough understanding of a wide range of issues surrounding data structures and algorithms. We examine topics such as algorithmic complexity, efficiency and optimisation, formal specification, program correctness, testing methodologies, verification proofs and code refinement.
The practical components of the unit are designed to provide students with a working understanding of modern approaches to professional systems development practice. In particular they emphasise topics such as defensive programming, data abstraction, code re-use, tool-supported debugging, profiling and verification, test scaffolds and version control.
| Credit Points: | 4 |
| Contact Hours: | -- |
| When Offered: | D1 - Day; Offered in the first half-year |
| Staff Contact: | Postgraduate Professional Development Program Staff |
| Prerequisites: | ITEC100(P) and admission to GDipIT or GradCertIT |
| Corequisites: | |
| NCCWs: | COMP225, COMP229, ISYS201 |
| Unit Designations: | -- |
| Assessed As: | Graded |
| Offered By: |
Department of Computing |