search menu icon-carat-right cmu-wordmark

Dependable Software Technology Exchange

June 1993 Special Report
Charles B. Weinstock, Fred Schneider

This report summarizes the discussions at the 1993 Dependable Software Technology Exchange meeting.


Software Engineering Institute

CMU/SEI Report Number


DOI (Digital Object Identifier):


On March 18 and 19, 1993, the Dependable Real-Time Software Project hosted a Dependable Software Technology Exchange. The exchange, sponsored by the Air Force Space and Missile Systems Center and the Office of Naval Research, brought together researchers and system developers, providing an opportunity for the researchers to learn the needs of the developers and for the developers to learn about techniques being investigated by the researchers. This report summarizes what transpired at the meeting.