School Of Computer, Data And Mathematical Sciences

Formal Software EngineeringWestern Sydney University Unit Code: 300404.3


Student Contribution Band: 2

Level: 3

Credit Points: 10

Co ordinator
Yan Zhang

200025 Discrete Mathematics AND 300103 Data Structures and Algorithms

Teaching Periods

PeriodOffered  Campus  Contact
2021 Spring  Yes  Parramatta Campus - Victoria Road - DAY  See Coordinator above   Timetable not available  
2021 Spring  Yes  Penrith Campus - DAY  See Coordinator above   Timetable not available  

*If using Safari, Firefox or Chrome to print the Unit Outline, right-click on the Print Unit Outline link and select 'Save link as...' or in Safari 'Download Linked File'

About this Unit
This unit is concerned with the design, development and maintenance of computer software systems. The unit focuses on current formal specification and system verification technologies and methodologies. Foundations of model checking such as LTL and CTL, as well as a particular practical model checker SPIN will be thoroughly studied in this unit. The SPIN model checker with programming language PROMELA will be used for all software development and verification practices throughout this unit.

3506.7Bachelor of Computer ScienceCONTINUING
3506.9Bachelor of Computer ScienceCURRENT
3633.2Bachelor of ComputingCONTINUING
3639.1Bachelor of Information and Communications TechnologyCONTINUING
3639.4Bachelor of Information and Communications TechnologyCURRENT
3684.2Bachelor of Information and Communications Technology (Advanced)CURRENT
3771.1Bachelor of Engineering Advanced (Honours)CURRENT
3778.1Bachelor of MathematicsCURRENT
6039.1Diploma/Bachelor of Information and Communications TechnologyCURRENT


KT3175.1Software EngineeringCURRENT
M3001.1Advanced ProgrammingCONTINUING
M3073.1Systems SecurityCONTINUING
M3102.1Cyber SecurityCONTINUING
MT3040.1Computational MathematicsCURRENT
SM3004.1Formal SystemsCONTINUING

Western Sydney University Copyright © 2004-2016 ABN 53 014 069 881 CRICOS Provider No: 00917K Contact Us | Disclaimer | Emergency Help |