Course Websites

ECE 478 - Formal Software Development Methods

Last offered Spring 2023

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 MethodsB339766LCD31230 - 1345 T R  1302 Everitt Laboratory Gagandeep Singh
Formal Software Devel MethodsB439767LCD31230 - 1345 T R  1302 Everitt Laboratory Gagandeep Singh