RSRG: The RESOLVE/Reusable Software Research Group

IMPORTANT NOTE: This website contains an archived version of the original OSU RSRG website that, because it's not "accessible" in the ADA sense, is no longer hosted on the official OSU website. Other than some minor edits to remove or update broken links, it's in a state essentially identical to when I (Bruce W. Weide) retired from OSU in 2013. The purpose of keeping this archival version of the website is so anyone who cared about what RSRG did or was doing as of late 2013 can find out about OSU RSRG research, instruction, and publications up to about that time. And now, back to 2013...

Welcome to the RESOLVE/Reusable Software Research Group (RSRG) Home Page at Ohio State. The work of the group deals with the disciplined engineering of component-based software systems and the software components (a.k.a. reusable software components) from which they can be built. The vision is to design and develop a language that supports carefully engineered component-based software, and a true verifying compiler for it. Our research language is called RESOLVE.

For More Information

RSRG is a distributed collaborative research and instruction effort involving many people over many years at several institutions: Clemson University, Denison University, Indiana University Southeast, Virginia Tech, and others. Information available via the links below highlights RSRG work in which there was major participation by members of OSU RSRG.

	OSU RSRG Research
	OSU RSRG Instruction
	OSU RSRG Publications

Our collaborators at Clemson University's RSRG have developed several interactive verification tools, etc., that are available here.

Acknowledgments

We gratefully acknowledge financial support for this work from the U.S. National Science Foundation, Fund for the Improvement of Post-Secondary Education, Defense Advanced Research Projects Agency, Microsoft Research, and Lucent Technologies.