Mar 29, 2024  
Graduate Catalog 2015 - 2016 
    
Graduate Catalog 2015 - 2016 [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

EEC 522 - Software Systems Modeling and Analysis

(4 credits)
Prerequisite: 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



Add to Portfolio (opens a new window)