| Fall | Winter | Spring | |
|---|---|---|---|
| 2009-2010 | SE-2030 Software Engineering Tools and Practices | ||
| 2008-2009 | |||
| 2007-2008 | SE-280 Software Engineering Process | SE-3811 Formal Methods | |
| 2006-2007 | CS-409 Ethical and Professional Issues in Computing | SE-280 Software Engineering Process | SE-3811 Formal Methods |
| 2005-2006 |
CS-386 Introduction to Database Systems |
CS-1020 Software Design I
SE-280 Software Engineering Process |
|
| 2004-2005 | On sabbatical at Software Engineering Institute | ||
| 2003-2004 |
SE-381 Formal Methods |
||
| 2002-2003 |
SE-381 Formal Methods SE-4093 Software Development Laboratory III |
GE-300 Career and Professional Guidance SE-3091 Software Development Laboratory I |
|
| 2001-2002 |
SE-381 Formal Methods SE-4093 Software Development Laboratory III |
SE-3091 Software Development Laboratory I SE-400/CS-400 Senior Design Project I SE-4094 Software Development Management Laboratory |
SE-3092 Software Development Laboratory II |
| 2000-2001 |
SE-380 Principles of Software Architecture SE-381 Formal Methods |
SE-280 Software Engineering Process SE-3091 Software Development Laboratory I GE-300 Career and Professional Guidance |
CS-280 Embedded System Software SE-3092 Software Development Laboratory II |
| 1999-2000 | CS-321 Computer Graphics |
SE-280 Software Engineering Process |
|
| 1998-1999 | CS-489 Software Engineering Design | CS-384 Design of Operating Systems | CS-183 Software Design |
| 1997-1998 |
CS-489 Software Engineering Design |
CS-183 Software Design CS-321 Computer Graphics |
CS-384 Design of Operating Systems |
| 1996-1997 |
CS-182 Computer Programming CS-400 Senior Design Project I CS-489 Software Engineering Design |
CS-183 Software Design CS-401 Senior Design Project II |
CS-384 Design of Operating Systems CS-486 Database System Design |