RESOLVE Workshop 2002
June 17-19, 2002
Columbus, OH USA

We invite you to participate in the RESOLVE Workshop 2002 by submitting a position paper to either the education or research track of the workshop. Topics of interest include:

• Infusing software engineering techniques into computer science education:

  • Design with reuse
  • Design for reuse
  • Modular reasoning
  • Component-based software
  • Formal specification
  • Formal verification
  • Software testing
  • Using RESOLVE in the undergraduate curriculum
  • Pedagogical techniques to help teach the above topics
  • Using RESOLVE in the graduate curriculum

• Software engineering research on formal approaches to component-based systems:

  • Specification and verification of performance properties
  • Modular approaches to detecting component interface violations
  • Trade-offs among testing, formal verification, and model checking
  • Combining concurrency-oriented formalisms with model-based behavioral specification approaches
  • Formal characterization of user interfaces
  • Formal modeling of file system behavior
  • Formal characterization of mathematical and program types
  • Software engineering environments and tools
  • The Java Modeling Language (JML)
  • RESOLVE language and implementation issues

Submission deadline	:	May	1, 2002
Acceptance notification	:	May	10, 2002
Final revision deadline	:	May	27, 2002
E-proceedings available	:	June	3, 2002

Paper submissions for the RESOLVE Workshop 2002 fall into two categories:

• Short position papers are targeted at raising a question or framing an issue for discussion during the workshop, either in the educational track or the research track. Position papers are limited to 2500 words (not including figures or references).

• Technical papers provide a longer format for presenting experience reports, research results, classroom techniques, or descriptions of "work in progress". Technical papers are limited to 5000 words (not including figures or references).

A selection of technical papers from both tracks accepted for the workshop will be invited for presentation on the first day of the event. The education track will be held on Day 2, and the research track will close out the workshop on Day 3. RESOLVE Workshop 2002 sponsorship and local arrangements are by the Computer and Information Science Department of The Ohio State University, so there will be no registration fee for participants.