Online Courses

CS 477 - Formal Software Devel Methods

Spring 2011

Formal Software Devel MethodsONL55917ONL -    Madhusudan Parthasarathy
Alexander David Mont

Course Description

Course topics include mathematical models, languages, and methods for software specification, development, and verification.

Credit Hours

3 or 4 hours


A course in data structures (CS 225) and a course in theory of computation (CS 373) or mathematical logic (MATH 414).

Subject Area

Computer Science