| |
Apr 24, 2024
|
|
|
|
|
EEC 522 - Software Sys Modeling/Analysis(4 credits)
Prerequisite(s): Restriction for undergraduates in graduate courses and enrolled in the college
of Engineering 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)
|
|
