CS 5382 - Topics in Software Development: UML, OCL, JML, and AOP, Spring 2009