ECE 478 - Formal Software Development Methods

Semesters Offered

TitleRubricSectionCRNTypeHoursTimesDaysLocationInstructor
Formal Software Devel MethodsCS477B339588LCD30930 - 1045 W F  1109 Siebel Center for Comp Sci Elsa Gunter
Formal Software Devel MethodsCS477B439589LCD40930 - 1045 W F  1109 Siebel Center for Comp Sci Elsa Gunter
Formal Software Devel MethodsECE478B339766LCD30930 - 1045 W F  1109 Siebel Center for Comp Sci Elsa Gunter
Formal Software Devel MethodsECE478B439767LCD40930 - 1045 W F  1109 Siebel Center for Comp Sci Elsa Gunter

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