next up previous
Next: About this document ... Up: Semantic Spaces for Specifications Previous: References

Biography

David S. Gibson is a Major in the United States Air Force and a Ph.D. candidate in the Department of Computer and Information Science at The Ohio State University. He received a B.S. in Physics and Computer Science from Duke University in 1983 and his M.S. in Computer and Information Sciences from Trinity University in San Antonio in 1986.

Bruce W. Weide is Professor of Computer and Information Science at The Ohio State University. He received a B.S. in Electrical Engineering from the University of Toledo in 1974 and a Ph.D. in Computer Science from Carnegie-Mellon University in 1978. He is a co-founder (with Bill Ogden and Stu Zweben) of the Reusable Software Research Group at The Ohio State University.

We gratefully acknowledge financial support from the National Science Foundation under grants CCR-9311702, DUE-9555062, and CDA-9634425, and the Fund for the Improvement of Post-Secondary Education under project number P116B60717. Any opinions, findings, and conclusions or recommendations expressed in this paper are those of the authors and do not necessarily reflect the views of the National Science Foundation or the U.S. Department of Education.



David S. Gibson and Bruce W. Weide
Sep. 12 1997