Bruce W. Weide

Professor Emeritus

Ph.D. Carnegie Mellon University, 1978
B.S.E.E. University of Toledo, 1974

Software Engineering Group


The Resolve/Reusable Software Research Group (RSRG) is part of the Software Engineering Group in the Department of Computer Science and Engineering at The Ohio State University.  Our charter is to explore all aspects of component-based software engineering.  Our approach involves integrating several related subareas: formal specification of functionality and performance, modular verification of correctness and efficiency of implementations, design of programming languages and systems, and adaptation of our Resolve technology to practice.  Most of our efforts recently are related to the long-term goal of laying the foundations for a "verified software" paradigm for software engineering, including addressing Tony Hoare's Grand Challenge of a "verifying compiler".  Sponsors have included the National Science Foundation, DARPA, Lucent Technologies, and Microsoft Research.  Selected publications are listed below under "Publications"; see the RSRG Home Page for more details.


With Paolo Bucci and Wayne Heym, among others, I have been engaged in a long-term effort to integrate into the undergraduate computer science curriculum component-based software engineering principles developed through RSRG research activities.  We have designed, developed, installed, and evaluated aspects of an innovative first-year undergraduate course sequence in software design and development for computer science and engineering students.  The goal of these activities is to create the core of an instructional system capable of producing software professionals with greater awareness and understanding of the technical issues faced by tomorrow's software industry, and with measurably better software design and development skills.  Publications about, and awards for, this course sequence are accessible through the first link below.  Sponsors have included the National Science Foundation, Fund for the Improvement of Post-Secondary Education, and Microsoft Research.

Other Things

I can't resist the temptation to join the trend toward putting a few personal interest items (I hope not offensive to anyone) on one's professional web page. The first picture, I swear, is not my car; we saw it in a parking garage near Niagara Falls, and wondered why my e-mail address was on it. Turns out it belongs to someone in an unrelated Weide family living in Cambridge, Ontario. The second picture, I'm afraid, speaks for itself.

Selected Publications on Component-Based Software Engineering Research

Contact Information

  Department of Computer Science and Engineering
  The Ohio State University
  2015 Neil Avenue
  Columbus, OH  43210-1277

  office: Dreese Lab 687    phone: 614-292-1517      FAX: 614-292-2911    email: weide DOT 1 [that's the numeral one] AT osu DOT edu      URL: