間眅埶AV

i Please note:  

To view the current calendar, go to

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.