SWEN 102 – Introduction to Software Modelling
| Points: | 15 | Prerequisites: | COMP 102 |
|---|---|---|---|
| Faculty: | Engineering | Corequisites: | MATH 161 |
| School: | Engineering & Comp Sci | Restrictions: | None |
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.
Tuition Fees
2012:
domestic $829.50 
international $3,362.55
Tutorials
2 hours per week
Textbook
Wiley, UML in Practice, 2007
Trimester 2 2012
* indicates instructor is the course coordinator.
| CRN | From/To | Days | Time | Building [Campus] | Room | Instructor | 15244 | 16 Jul – 21 Oct 2012 | Mon, Wed, Fri | 1200 - 1250 | Cotton [Kelburn] | LT122 | David Pearce* |
|---|