ECE 478 - Formal Software Development Methods

Semesters Offered

TitleRubricSectionCRNTypeTimesDaysLocationInstructor
Formal Software Devel MethodsCS477B364565LEC1230 - 1345 W F  1109 Siebel Center for Comp Sci Madhusudan Parthasarathy
Formal Software Devel MethodsCS477B464566LEC1230 - 1345 W F  1109 Siebel Center for Comp Sci Madhusudan Parthasarathy
Formal Software Devel MethodsECE478B366706LEC1230 - 1345 W F  1109 Siebel Center for Comp Sci Madhusudan Parthasarathy
Formal Software Devel MethodsECE478B466707LEC1230 - 1345 W F  1109 Siebel Center for Comp Sci Madhusudan Parthasarathy

Official Description

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

Prerequisites

Credit in CS 225
Credit in CS 373 or MATH 414

Subject Area

Computer Engineering

Course Director

Department of Computer Science

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