CSSE 260 - Software Modeling and Analysis

Credits 3
The use of various types of models as semi-formal or completely formal descriptions of system structure and behavior. Analysis of implementations with respect to their models for consistency, completeness, and correctness. Recommended prior coursework: MATH-370
CSSE-240 (Required, Previous).
May not be audited.