SWEN 224: Formal Foundations of Programming
2010 Trimester 2
| SWEN 224 | CRN 18321, 15 Points (2010 2/3) | |
|---|---|---|
| Coordinator: | Dr Petra Malik |
|
| Lecturer: | A/Prof Lindsay Groves |
|
| Prerequisites: | COMP 103, SWEN 102, MATH 161 (or 114); | |
| Restrictions: | COMP 202, SWEN 202 | |
| Lectures: | Mon Tue Thu 9-10 timetable | |
| Tutorials: | TBA | |
| Recommended: | Additional mathematics | |
| 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 engineering of programs, languages and machines. Topics covered will include finite state machines, formal languages and grammars, operational semantics, and specifying and analysing systems using software tools for formal specification. | |
|
|
||
| CourseForm | |
|---|---|
| CourseCode | SWEN 224 |
| SubjectCode | SWEN |
| CourseNumber | 224 |
| CourseName | Formal Foundations of Programming |
| Trimesters | 2 |
| Year | 2010 |
| CourseHomePage | |
| Coordinator | Petra Malik |
| Lecturer | Lindsay Groves |
| SeniorTutor | |
Year2010
EResearch
