ECE 478 - Formal Software Development Methods

Spring 2024

TitleRubricSectionCRNTypeHoursTimesDaysLocationInstructor
Formal Software Devel MethodsCS477B339588LCD31230 - 1345 T R  1310 Digital Computer Laboratory Gagandeep Singh
Formal Software Devel MethodsCS477B439589LCD31230 - 1345 T R  1310 Digital Computer Laboratory Gagandeep Singh
Formal Software Devel MethodsECE478B339766LCD31230 - 1345 T R  1310 Digital Computer Laboratory Gagandeep Singh
Formal Software Devel MethodsECE478B439767LCD31230 - 1345 T R  1310 Digital Computer Laboratory Gagandeep Singh

Official Description

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

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.

Last updated

9/22/2014