EEC 522 - Software Systems Modeling and Analysis

(4 credits)

Prerequisite(s): Graduate standing. Software system formal mechanisms, including specification, validation, and verification. Formal specification with algebraic specification and abstraction/reasoning about system properties. Evolution of formalism to model a certain system. Proof of models using analytical methods and experimental methods using simulators.

Click here for the schedule of courses