COSC 440 - Formal Foundations of Software Engineering
4Credit HoursPrinciples of analysis and design of information systems. Principles of program design and verification, formal objects, formal specifications.
(RE) Prerequisite(s):COSC 311 or COSC 317 with a grade of C or better.