FIT5138 Advanced software engineering
Faculty of Information Technology
FIT5138 Advanced software engineering is a level 5, 6-credit-point, postgraduate unit from the Faculty of Information Technology. It isn't offered in 2021. It needs FIT5136; or (MAT1830 and FIT2004).
- Credit points
- 6
- Offered in 2021
- Not offered
- Workload
- 144 hours
- per semester
This is the 2021 handbook entry. See the 2022 entry.
Reviews
No reviews yetNo reviews yet. Be the first to review FIT5138.
Requisites
Before FIT5138
Prerequisites
Pass these before you enrol.
After FIT5138
No unit lists FIT5138 as a prerequisite in the 2021 handbook.
Enrolment rules
Prerequisite: For students enrolled in 2770 or E3001, E3002, E3005, E3010, E3011, E3007 completing the Software Engineering specialisation: FIT2004 and MAT1830
Overview
This unit covers the core software engineering disciplines concerned with the design and development of complex software-based systems using advanced software engineering methods and technologies. This involves specification of software systems using advanced design languages and formal logics, as well as verifying the correctness of such specifications using formal engineering analysis methods and various mechanical/automated tools. Topics include design/modeling languages, software architecture design patterns, complex system design methods, mathematical logic, formal specification languages, theorem proving, and model checking. It shows how to analyse model complex software systems, how to express properties that the system should adhere to and how to use mechanical/automated tools to verify such properties.
Offerings in 2021
The 2021 handbook lists no offerings for FIT5138.
Learning outcomes
When you finish this unit, you should be able to:
- 1
Define requirements for complex interactive software systems;
- 2
Use modern high-level languages and technologies to document the architecture of complex reactive software systems;
- 3
Design new a high-level domain-specific language for a specific domain;
- 4
Articulate the central technical challenges of distributed reactive software systems and corresponding solution design patterns;
- 5
Develop suitable architectural-level solutions for complex interactive software systems;
- 6
Articulate the role of formal logic and verification methods in the system development life cycle;
- 7
Categorise major techniques and approaches to software verification: theorem proving, model checking and model-based testing;
- 8
Develop software specifications and express desirable properties using a formal language/logic such as the Event-B notation and temporal logics.
Workload and teaching
- Tutorials24 hours
- Lectures24 hours
Minimum total expected workload to achieve the learning outcomes for this unit is 144 hours per semester typically comprising a mixture of scheduled online and face to face learning activities and independent study. Independent study may include associated reading and preparation for scheduled activities. The unit requires on average three/four hours of scheduled activities per week. Scheduled activities may include a combination of teacher directed learning and online engagement.
Where it fits
FIT5138 is part of 1 area of study in the 2021 handbook.
Contacts
- Chief Examiners
- Dr Yuan-Fang Li
Common questions
What are the prerequisites for FIT5138?
You need FIT5136; or (MAT1830 and FIT2004) before you enrol. Enrolment rules also apply.
When is FIT5138 offered?
FIT5138 has no offerings listed in the 2021 handbook.
How much work is FIT5138?
The handbook expects about 144 hours of study across the semester. No students have rated its difficulty yet.
Which majors and minors include FIT5138?
FIT5138 is part of Software engineering.