2016-2017 Graduate Academic Catalogue 
    
    Jul 23, 2019  
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]