SWEN 202: Formal Foundations of Software Engineering
2009 Trimester 2
| SWEN 202 |
CRN 15437, 20 Points (2009 2/3) |
| Coordinator: |
A/Prof Lindsay Groves
|
| Lecturer: |
Dr Petra Malik
|
| Prerequisites: |
COMP 103, MATH 114 or 161, SWEN 102; |
| Restrictions: |
COMP 202 |
| Lectures: |
Mon Tue Thu Fri 3-4 timetable |
| Prescription: |
This course introduces a selection of topics, focusing on the use of formal notations and formal models in the specification, design and analysis and egineering of programs, languages, and machines. The main topics covered are the formal foundations of UML models, precise modelling with JML and Z, checking models with Alloy, and reasoning about the behaviour of programs with Hoare logics. |
|
Home Page
|
EResearch