RSRG: The RESOLVE/Reusable Software Research Group

Software Engineering Group

Computer Science and Engineering Department

The Ohio State University


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:

Acknowledgments

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.


Bruce W. Weide
Last modified: Tue Nov 5 15:20:51 EST 2013