|
You are here:
Macquarie
» 2006 Handbooks
» Units
» ITEC200
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: |
X1 - External study; Offered in the first half-year
(On Campus session: 11 March; 8 April; 13 May)
X2 - External study; Offered in the second half-year
(On Campus session: 12 August; 23 September; 21 October) |
| Staff Contact: |
Postgraduate Professional Development Program Staff |
| Prerequisites: |
Admission to GDipIT or GradCertIT; ITEC100(P)
|
| Corequisites: |
|
| NCCWs: |
|
| Unit Designations: |
--
| | Assessed As: |
Graded
|
| Offered By: |
ICS - Division of Information and Communication Sciences |
|
|
|
|
