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.