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