SWEN 102: Introduction to Software Modelling
2009 Trimester 2
| SWEN 102 |
CRN 15244, 15 Points (2009 2/3) |
| Coordinator: |
Dr David Pearce
|
| Lecturer: |
Dr Petra Malik
|
| Prerequisites: |
COMP 102; |
| Corequisites: |
MATH 161 |
| Lectures: |
Tue Thu Fri 10-11 timetable |
| Course Materials: |
TBA |
| Textbook: |
TBA |
| Prescription: |
A basic introduction to software modelling, that is, understanding software systems in terms of models other than their source code. The emphasis is on the relationships between models and systems of the real world; producing models from informal specifications; and analysing and verifying properties of these models. In labratory exercises students will construct their own formal models and verify them using the Alloy checker. |
|
Home Page
|
EResearch