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, offered in 2020 in Semester 1 at Caulfield. It needs FIT5136; or (MAT1830 and FIT2004).
- Credit points
- 6
- Offered in 2020
- Semester 1
- Caulfield
- Workload
- 12 hours
- per semester
This is the 2020 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 2020 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 2020
| Teaching period | Campus | Mode |
|---|---|---|
| First semester | Caulfield | On campus |
| First semester (Fully flex) | Caulfield | Flexible |
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
Minimum total expected workload equals 12 hours per week comprising:
(a.) Contact hours for on-campus students:
(b.) Additional requirements (all students):
Where it fits
FIT5138 is part of 1 area of study in the 2020 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?
In 2020, FIT5138 runs in Semester 1 at Caulfield.
How much work is FIT5138?
The handbook expects about 12 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.