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(s): Computer Science 3331A/B, 3340A/B. Prerequisite(s): Registration in third year of Software Engineering program. Corequisite(s): Pre-or Corequisite(s): Extra Information: 3 lecture hours, 2 tutorial hours, 0.5 course. back to top