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.