CS 477 - Formal Software Devel Methods

Spring 2024

TitleRubricSectionCRNTypeHoursTimesDaysLocationInstructor
Formal Software Devel MethodsCS477B339588LCD31230 - 1345 T R  1310 Digital Computer Laboratory Gagandeep Singh
Formal Software Devel MethodsCS477B439589LCD31230 - 1345 T R  1310 Digital Computer Laboratory Gagandeep Singh
Formal Software Devel MethodsECE478B339766LCD31230 - 1345 T R  1310 Digital Computer Laboratory Gagandeep Singh
Formal Software Devel MethodsECE478B439767LCD31230 - 1345 T R  1310 Digital Computer Laboratory Gagandeep Singh

Official Description

Mathematical models, languages, and methods for software specification, development, and verification. Course Information: Same as ECE 478. 3 undergraduate hours. 3 or 4 graduate hours. Prerequisite: CS 225; one of CS 374, ECE 374 or MATH 414.