Course Websites

ECE 478 - Formal Software Development Methods

Last offered Spring 2025

Official Description

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

Related Faculty

Subject Area

  • Computer Engineering

Description

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

Notes

Same as CS 477.

Detailed Description and Outline

Same as CS 477.

Schedule and Instructors

TitleSectionCRNTypeHoursTimesDaysLocationInstructor
Formal Software Devel MethodsB339766LCD31230 - 1345 T R  1310 Digital Computer Laboratory Gagandeep Singh
Formal Software Devel MethodsB439767LCD31230 - 1345 T R  1310 Digital Computer Laboratory Gagandeep Singh