CS 5383 - Topics in Software Assurance: Cleanroom Approach, Spring 2007