Mar 02, 2024  
2023-2024 Undergraduate Catalog 
    
2023-2024 Undergraduate Catalog
Add to Portfolio (opens a new window)

COSC 440 - Formal Foundations of Software Engineering

4 Credit Hours
Principles 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.



Add to Portfolio (opens a new window)