Created as a Tier-2 unit (advanced unit) for Master of Information Technology - 2014

17/7/13 Added teaching responsibility. Effective Semester 1 2015.

19/7/13 Amended effective date for teaching responsibility for 2014 to 2015.

15/8/13 - Objectives have been amended by CE to comply with AQF requirements, for 2015 offering.

14/07/17 - Admin: add Reasons for Change on behalf of the CE - changed examination from 3 hours to 2 hours, as per university policy, and the percentage weighting of assessment.

17/1/2018 - Admin: CE modified this unit to changed from its original version: teaching staff (now Bran Selic & Yuan-Fang), materials, as well as learning outcomes. Effective Semester 1, 2018.

17/01/2018 - Yuan-Fang Li: the unit has been modified from its original proposal (teaching staff, materials, etc.). The new learning outcomes more accurately reflect the new materials.

18/01/2018 - Yuan-Fang Li: added additional prerequisite units so that more students can enrol into this unit.

22/1/2018 - Admin: UG units cannot be prereqs for PG units. Removing UG prereqs as per discussion with Director Graduate Programs. Other amendments have been approved.

5/10/2018: Update to prerequisites to allow Software engineering students to enrol as an approved elective. Effective 2019.

24/9/2019: Admin - adding 10 minutes to exam duration as per University requirements.

22/09/2020 - Admin: Update to include new assessment and teaching approach fields as per Handbook requirements.

This is one of the advanced units (Tier-2) in the Master of Information Technology - 2014, and is also available as an elective for all FIT masters.

On successful completion of this unit students 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.

020199

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.

on-campus

Examination (2 hours and 10 minutes): 50%, In-semester assessment: 50%

1. Tutorial participation - 5% - ULO: 1, 2, 3, 4, 5, 6, 7, 8
2. Design Presentation - 5% - ULO: 1, 2, 3, 4
3. Design & architectural modelling with UML & SysML - 20% - ULO: 1, 2, 3, 4, 5
4. Event-B modelling - 20% - ULO: 4, 6, 7, 8
5. Examination - 50% - ULO: 1, 2, 3, 4, 5, 6, 7, 8

Minimum total expected workload equals 12 hours per week comprising:

(a.) Contact hours for on-campus students:

(b.) Additional requirements (all students):

FIT

FIT5136

For students enrolled in 2770, E3001, E3002, E3005, E3010, E3011, E3007 completing the Software Engineering specialisation: FIT2004 and MAT1830