Course Websites

ECE 478 - Formal Software Development Methods

Last offered Fall 2021

Official Description

Course Information: Same as CS 477. See CS 477.

Related Faculty

Subject Area

  • Computer Engineering


Mathematical models, languages and methods for software specification, development and verification.


Same as CS 477.

Detailed Description and Outline

Same as CS 477.

Formal Software Devel MethodsB366706ONL31100 - 1215 T R    Sasa Misailovic
Formal Software Devel MethodsB466707ONL41100 - 1215 T R    Sasa Misailovic