Stephen H. Edwards - Specifying components in RESOLVE

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

Web-CAT blog resumes!
I am on sabbatical for spring 2008
I have moved offices
Web-CAT wins the Premier Award
PMD checks for JUnit tests are working again

Recent Publications

Algorithm visualization
Dereferee: Instrumenting C++ pointers with meaningful runtime diagnostics
Going beyond algorithm visualization to algorithm exploration
Using Web 2.0 technologies in your computer science classes
CATSpace: Sharing, discovering, and improving laboratory materials through a social network

Specifying components in RESOLVE

Friday, 30 September 1994
Stephen H. Edwards, Wayne D. Heym, Timothy J. Long, Murali Sitaraman, and Bruce W. Weide. Specifying components in RESOLVE. ACM SIGSOFT Software Engineering Notes, 19(4):29-39, October, 1994.

[ Back ]