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
May not be audited.