Workshop: RESOLVE 2009: Software Verification — the Cornerstone of Reuse

Hosted September 27, 2009, at the 11th International Conference on Software Reuse, ICSR 11, September 27-30, 2009, Falls Church, Virginia, USA

• Call for Participation
• Program
• Papers
• Adcock, Bruce M., "The beginning of the end of debugging as we know it".
• Bronish, Derek, "The Ramifications of Programming Language Design on Verifiability".
• Byrd, Beth Anne and Heather Harton, "Verification Experimentation with Implicit and Expicit Style Specifications".
• Cook, Chuck and Hampton Smith, "Developing and Verifying RESOLVE Components via a Web Interface".
• Drachova-Strang, Svetlana V., "Teaching Desing-by-Contract with Formal Specifications".
• Kirschenbaum, Jason, "An Examination of Local Definitions".
• Krone, Joan, William F. Ogden, Murali Sitaraman, and Bruce W. Weide, "Refocusing the Verifying Compiler Grand Challenge".
• Kulczycki, Gregory, "Resolve-Style Components in Java".
• Smith, Hampton, "Experimentation with a Minimalist Prover".
• Sun, Yu-Shan and Joan Krone, "Generic Sorting in RESOLVE".

Maintained by:
Wayne Heym ‹w.heym@ieee.org›

Last modified: Tue Sep 22 16:36:50 EDT 2009