This workshop series serves as a forum for researchers and educators interested in the RESOLVE approach to software reuse to discuss recent advances, trends, and concerns in formal specification and verification of software designed for reuse, fosters a mutual understanding of emerging research issues, and explores possible methods for addressing those issues, as well as techniques for introducing these concepts into the classroom. The topic of special interest this year is the automated verification of software.

Submissions may be made in the form of brief position statement or discovery abstracts. They should be focused on raising questions, framing issues, or identifying significant advancements for discussion during the workshop. Unless authors request otherwise, submissions will be available on the web as a preparation aid prior to the workshop. The designated submission recipient is Joan Krone.

If you would like to participate but do not wish to submit a statement, please send a note to Joan Krone.

This workshop series serves as a forum for researchers and educators interested in the RESOLVE approach to software reuse to discuss recent advances, trends, and concerns in formal specification and verification of software designed for reuse, fosters a mutual understanding of emerging research issues, and explores possible methods for addressing those issues, as well as techniques for introducing these concepts into the classroom. The topic of special interest this year is the automated verification of software.

RESOLVE 2010 Workshop will be preceded on June 7 by an NSF-CCLI sponsored research dissemination workshop for educators on introducing mathematical reasoning across the compass of the CS curriculum. This workshop will be led by Jason Hallstrom (from Clemson University), Murali Sitaraman, and Joan Krone. Those interested in participating should contact Joan Krone.