CS773 Software System Specification   (3.00 cr.)

Prerequisite: CS770. 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.