Mathematical Foundations of Software Technology CMPT 375 (3)
Abstraction principles and formalization techniques for modelling software systems in early design phases. Design is a creative activity calling for abstract models that facilitate reasoning about the key system attributes to ensure that these attributes are properly established prior to actually building a system. The focus is on specification and validation techniques rather than on formal verification. Prerequisite: MACM 101, 201. Recommended: CMPT 275 or 276.