Online Course Catalog

ECE 478 B4 - Formal Software Devel Methods

Fall 2021

TitleSectionCRNTypeHoursTimesDaysLocationInstructor
Formal Software Devel MethodsB466707ONL41100 - 1215 T R    Sasa Misailovic

Course Description

This course covers mathematical models, languages, and methods for software specification, development, and verification.

Credit Hours

4 hours

Prerequisites

CS 225; CS 374 or MATH 414.

Subject Area

  • Electrical and Computer Engineering