This site uses cookies. By continuing to use this site, closing this banner, or clicking "I Agree", you agree to the use of cookies.
Read our cookies policy and privacy statement for more information.
Stand with UkraineDonate
- Home
- Ohio
- Cleveland State University
- Course info
- eec-522 - software-systems-modeling-and-analysis
Cleveland State University Course Info
Cleveland, Ohio
Course Info
Search for courses by clicking on letters of the alphabet or by using a search bar. Explore course description, number of credits required and course sequences to satisfy graduation requirements.
EEC 522
Software Systems Modeling and Analysis
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.
Units: 4.0