INFS 3008 Formal Software Engineering
Credit Points 10
Legacy Code 300404
Coordinator Yan Zhang Opens in new window
Description 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.
School Computer, Data & Math Sciences
Discipline Information Systems
Student Contribution Band HECS Band 2 10cp
Check your HECS Band contribution amount via the Fees page.
Level Undergraduate Level 3 subject
Pre-requisite(s) MATH 1006 AND
COMP 2009
Assessment
The following table summarises the standard assessment tasks for this subject. Please note this is a guide only. Assessment tasks are regularly updated, where there is a difference your Learning Guide takes precedence.
| Item | Length | Percent | Threshold | Individual/Group Task |
|---|---|---|---|---|
| Practical | To take place during practicals | 60 | N | Individual |
| Quiz 1 | 1.5 hours | 20 | Y | Individual |
| Quiz 2 | 1.5 hours | 20 | Y | Individual |
Teaching Periods