Contact

Course inquiries
telephone (02) 9514 1222
UTS Service Desk

UTS International
telephone 1800 774 816 (in Australia)
telephone +61 3 9627 4816 (international)
email international@uts.edu.au

City campus
15 Broadway
Ultimo NSW 2007

Kuring-gai campus
Eton Road
Lindfield NSW 2070

University of Technology, Sydney
PO Box 123
Broadway NSW 2007
Australia
telephone +61 2 9514 2000

31077 Software Engineering Fundamentals

6cp; availability: undergraduate degree students
Requisite(s): 31475 Requirements Engineering OR 31485 Systems Development OR 31269 Business Requirements Modelling OR 31424 Systems Modelling
Undergraduate

This subject aims to develop an understanding of the issues which beset software engineering and to build competence in the application of mathematics in software development.

The issues portion of the subject covers topics such as the nature of software as an entity to be engineered, the newness of the software engineering discipline and current issues in the large-scale application of software engineering practice.

The mathematics portion covers fundamental concepts and methods for software development and engineering, including formal specification, program development from specification and proving/verifying correctness. Appropriate tools and packages are used, including Z and OCL. The mathematical basis includes predicate logic and structures (sets, relations, functions and trees).

Typical availability

Autumn semester, City campus

Access conditions

Note: The requisite information presented in this subject description covers only academic requisites. Full details of all enforced rules, covering both academic and admission requisites, are available at Access conditions and My Student Admin.