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.
Information accessible through the links to the left deals primarily with OSU RSRG work. Some related links include:
We gratefully acknowledge financial support for this work from the U.S. National Science Foundation, from the Fund for the Improvement of Post-Secondary Education of the U.S. Department of Education, from Microsoft Research, and from Lucent Technologies.