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 or (ENSC 251 and ENSC 252)) and MACM 201. Recommended CMPT 275 or 276.