Background

Over the past several years, we have been investigating various aspects of software reuse including specification of abstract functionality and performance, formal verification and testing, language design, portability, distributed and real-time computing, and education. We have regularly presented papers and participated in reuse conferences and workshops, including the Annual Workshops on Software Reuse. Our research in software engineering issues at the West Virginia University is currently funded in part by ARPA Grant DAAL03-92-G-0412, NASA Grant 7629/229/0824, and NSF Grant CCR-9204461.