COMPUTER SYSTEMS RESEARCH
Software Engineering Introduction
Fall/Spring 2006 - 2007

  1. Formal methods

  2. Object oriented design

  3. UML (Unified Modeling Language)

  4. Extreme programming.org