OMSE 522 Modeling and Analysis of Software Systems

Abstract models are used to formalize specifications of software systems. Formalized reference specifications serve as a basis for the design of software implementations and for validating critical properties of software systems. Provides the fundamental mathematical concepts needed to understand abstract models of software and to reason about them. Foundation coursework is required for registration.