Verifying Component-Based Collaboration Designs

Kathi Fisler, Shriram Krishnamurthi, Don S. Batory

ICSE Workshop on Component-Based Software Engineering, 2001


This is a (surprisingly informative) brief overview paper. Please instead refer to the subsequent conference paper, which contains technical details. (The elegant question-answer format of this paper was proposed by the workshop organizers but, in retrospect, honored only in the breach.)



These papers may differ in formatting from the versions that appear in print. They are made available only to support the rapid dissemination of results; the printed versions, not these, should be considered definitive. The copyrights belong to their respective owners.