Publication Date

11-6-2001

Technical Report Number

TR01-09a

Subjects

Software, Theory of Computation

Abstract

The goal of this workshop was to explore how formal (i.e., mathematical) techniques can be or should be used to establish a suitable foundation for specification and verification of component-based systems. Component-based systems are a growing concern for the object-oriented community. Specification and reasoning techniques are urgently needed to permit composition of systems from components, for which source code is unavailable. This report is the proceedings of the workshop

Share

COinS