Show simple item record

dc.contributor.authorHoyt, Matthewen
dc.date.accessioned2006-08-22 14:29:22 (GMT)
dc.date.available2006-08-22 14:29:22 (GMT)
dc.date.issued2001en
dc.date.submitted2001en
dc.identifier.urihttp://hdl.handle.net/10012/1145
dc.description.abstractAlthough markets are emerging for commercial off-the-shelf components (such as Sun JavaBeans), there are many barriers to widespread component adoption. This is due to the inherent `black-box' nature of software components: developers have no knowledge or control of the component's internal characteristics. Without source or design details, developers only have the component's interface, documentation and test results to answer important questions about reliability, proper use, behavior andperformance. The current best practice of specifying a component's capabilities by providing only the syntax and informal documentation is insufficient to assemble mission or safety-critical systems successfully. To address these problems we have developed a framework forcreating and analyzing the concise specifications of components and their related interfaces. The framework extends a formal model for software architecture descriptions to support the specification of a range of terms. With formal component specifications developers can use the framework to analyze the properties of individual components or of entire systems. Unlike other approaches, the formal basis and implementation of our framework enhance understanding and automates much of thecomponent analysis process.en
dc.formatapplication/pdfen
dc.format.extent405454 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoenen
dc.publisherUniversity of Waterlooen
dc.rightsCopyright: 2001, Hoyt, Matthew. All rights reserved.en
dc.subjectComputer Scienceen
dc.subjectSoftware Engineeringen
dc.subjectComponentsen
dc.subjectInterfaceen
dc.subjectFrameworken
dc.titleA Framework for Software Component Interface Specification and Analysisen
dc.typeMaster Thesisen
dc.pendingfalseen
uws-etd.degree.departmentSchool of Computer Scienceen
uws-etd.degreeMaster of Mathematicsen
uws.typeOfResourceTexten
uws.peerReviewStatusUnrevieweden
uws.scholarLevelGraduateen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record


UWSpace

University of Waterloo Library
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
519 888 4883

All items in UWSpace are protected by copyright, with all rights reserved.

DSpace software

Service outages