COMP 426: Formal Software Development
2009 Trimester 1
| COMP 426 |
CRN 991, 15 Points (2009 1/3) |
| Coordinator: |
A/Prof Lindsay Groves
|
| Lecturer: |
Dr Petra Malik
|
| Prerequisites: |
COMP 202, MATH 214; 60 300-level COMP pts; (MATH 309 or PHIL 234/334 (or 211) recommended) |
| Lectures: |
Mon 1-3, Fri 1-2 timetable |
| Prescription: |
This course addresses the use of mathematical logic in the specification and construction for software systems. It presents an introduction to the area of formal methods; the formal specification of software systems; the refinement of specifications to code; and their semantic foundations. |
|
Home Page
|
EResearch