Course Description Course Description
| SE 310a/b Theoretical Foundations of Software Engineering |
|
An investigation into the theoretical foundations of Software Engineering including automata theory, computability, analysis of algorithms and the application of formal specification methods to software specification. |
| Antirequisite: Computer Science 331a/b, Computer Science 340a/b |
| Prerequisite: Registration in Year 3 of Software Engineering |
| 3 lecture hours, 2 tutorial hours, half course |
| Academic Calendar |
![[Table of Contents]](toc.gif) ![[Index]](index.gif)
|
![[Courses by Subject]](crssbsub.gif) ![[Courses by Name]](crssbnme.gif) ![[Awards by Category]](awrdbctg.gif) ![[Awards by Name]](awrdbnme.gif) ![[Calendar Search]](search.gif)
|