- Course Home Page:
|Offered this year?||No|
Topics in design, specification, construction and validation of programs, focusing on tools to support each of these stages. We pay special attention to concerns raised by the properties of modern software systems including distribution, security, component-based decomposition and implicit control. Prerequisite: CSCI1900 or other upper-level systems coursework.