Reusable Software Research Group (RSRG) Research Overview

8/19/02

Click here to start

Table of Contents

Reusable Software Research Group (RSRG) Research Overview

What is “Software Component Engineering”?

Some RSRG Contributions

Modular Verification/Reasoning

Modular Verification/Reasoning

Specification Design

Behavioral Interface Design

Implementation Design

Application Design

Modular Verification/Reasoning

Other Current Areas of Interest

 Author: Bruce W. Weide 

Email: weide.1@osu.edu

Home Page: http://www.cse.ohio-state.edu/~weide