You can also download the entire proceedings as one volume in PDF format (140 pp., 3.4M), published as Virginia Tech Technical Report TR-02-11:
Stephen H. Edwards, editor. Proceedings of the RESOLVE Workshop 2002. Technical Report TR-02-11, Dept. of Computer Science, Virginia Tech, Blacksburg, VA, June 2002.
Joseph E. Hollingsworth, Indiana University Southeast
A More Seamless Checking Wrapper for Raw C++ Pointers
Joseph E. Hollingsworth and W. Christopher Lang, Indiana University
Southeast
RESOLVE Machine Paradigm
Applied to Image Compression Algorithms
Joan Krone, Denison University
William F. Ogden, The Ohio State University
Mathematical Foundations for Reusable Software
Nigamanth Sridhar, The Ohio State University
Reaping More from Lazy Initialization Using Dynamic
Reconfiguration
Bruce W. Weide, The Ohio State University
Good News and Bad News
About Software Engineering Practice
Stephen H. Edwards, Virginia Tech Making the Case for Assertion Checking Wrappers
Joan Krone, Denison University
William F. Ogden, The Ohio State University
Murali Sitaraman, Clemson University
A Proof System for Modular Verification of Performance
Correctness
Gregory Kulczycki, Clemson University
William F. Ogden, The Ohio State University
Joseph E. Hollingsworth, Indiana University Southeast
Capturing the Reference Behavior
of Linked Data Structures (cross-listed under education)
Larry Latour, Ling Huang, and Tom Wheeler, University of Maine
The Pragmatics of Integrative Programming
Murali Sitaraman and Greg Kulczycki, Clemson University
Displacement Violation Checking and Ghost
Facilities (cross-listed under education)
Roy Patrick Tan, Virginia Tech
Design Issues Toward an Object Oriented RESOLVE
Bruce W. Weide, Scott M. Pike, and Wayne D. Heym, The Ohio State University
Why Swapping?
Thomas J. Wheeler, University of Maine
Integration and Conceptual Modeling
Levent Yilmaz, Trident Systems Incorporated
Stephen H. Edwards, Virginia Tech
Specifying and Verifying Collaborative Behavior in
Component-Based Systems
Paolo Bucci and Timothy J. Long, the Ohio State University
Fostering Early Development of Expert-Like
Knowledge Structures in Computer Science Students
Peter J. DePasquale, Virginia Tech
Subsetting Language Elements in Novice
Programming Environments
Allen Parrish, University of Alabama
Testing in Undergraduate Computer Science: Test
Cases Need Formal Specifications
Gregory Kulczycki, Clemson University
William F. Ogden, The Ohio State University
Joseph E. Hollingsworth, Indiana University Southeast
Capturing the Reference Behavior
of Linked Data Structures (cross-listed under research)
Murali Sitaraman and Greg Kulczycki, Clemson University
Displacement Violation Checking and Ghost
Facilities (cross-listed under research)