2016-2017 Graduate Academic Catalogue 
    
    Apr 06, 2020  
2016-2017 Graduate Academic Catalogue [ARCHIVED CATALOG]

Add to Portfolio

CS 773 - Software System Specification

(3.00 cr.)

Corequisite: CS 770 . Formal specification of architecture and architecture frameworks, requirements, systems modeling languages, algebraic specification languages, denotational semantics, and correctness. Emphasis is on the rigor required to design and build critical systems.



Add to Portfolio