ECE 478 - Formal Software Development Methods

Fall 2021

TitleRubricSectionCRNTypeHoursTimesDaysLocationInstructor
Formal Software Devel MethodsCS477B364565ONL31100 - 1215 T R    Sasa Misailovic
Formal Software Devel MethodsCS477B464566ONL41100 - 1215 T R    Sasa Misailovic
Formal Software Devel MethodsECE478B366706ONL31100 - 1215 T R    Sasa Misailovic
Formal Software Devel MethodsECE478B466707ONL41100 - 1215 T R    Sasa Misailovic

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