my research interests

my research interests include component techniques, testing, and innovative teaching...
 
 

In the Spotlight

Web-CAT was selected as the winner of the 2006 Premier Award for Excellence in Engineering Education Courseware, a national award that was established to recognize high-quality, non-commercial courseware designed to enhance engineering education. The award was presented at the Frontiers in Education conference on October 31.
 

Latest News / Web-CAT Developments

Recent Publications

Model variables: Cleanly supporting abstraction in Design by Contract PDF Print E-mail
Friday, 28 February 2003

Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, and Stephen Edwards. Model variables: Cleanly supporting abstraction in Design by Contract. Technical Report #03-10, Dept. of Computer Science, Iowa State University, Ame, IA, March 2003.
 
[ Back ]