Show simple item record

dc.contributor.advisorLuqi
dc.contributor.authorSteigerwald, Robert Allen
dc.dateDecember 1991
dc.date.accessioned2013-01-23T22:04:56Z
dc.date.available2013-01-23T22:04:56Z
dc.date.issued1991
dc.identifier.urihttp://hdl.handle.net/10945/26733
dc.description.abstractEfforts in the software engineering community to reuse code are hampered by a lack of tools. Reusability is particularly beneficial in a rapid prototyping environment. Rapid prototyping with automated reusable software component retrieval is a software development method to rapidly construct and adapt software, validate and refine requirements, and check the consistency of proposed designs. This dissertation describes a tool used within the Computer Aided Prototyping System (CAPS), developed at the Naval Postgraduate School, which retrieves reusable components from a software base using a formal specification as the search key. The query specification that represents a design requirement is compared to formal specifications of Ada reusable software components stored in an object-oriented database management system. A syntactic search compares specification interfaces, identifying reusable candidates based on types of parameters. The semantic search rank orders a set of candidate components based on semantic similarity to the query. The methods, called query by consistency, compares terms that are reduced in the axioms of each specification. Specifications are normalized to facilitate the matching between query specifications and reusable component specifications in the retrieval. A formal proof verified that query by consistency can retrieve components guaranteed to meet specified requirements.en_US
dc.description.urihttp://archive.org/details/reusablesoftware1094526733
dc.format.extent226 p.en_US
dc.language.isoen_US
dc.publisherMonterey, California. Naval Postgraduate Schoolen_US
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.en_US
dc.titleReusable software component retrieval via normalized algebraic specificationsen_US
dc.typeThesisen_US
dc.contributor.corporateNaval Postgraduate School (U.S.)
dc.contributor.departmentDepartment of Computer Science
dc.subject.authorReusabilityen_US
dc.subject.authorReusable software componentsen_US
dc.subject.authorComponent retrievalen_US
dc.subject.authorAlgebraic specificationsen_US
dc.subject.authorRapid prototypingen_US
dc.subject.authorComputer aided prototypingen_US
dc.description.serviceCaptain, United States Air Forceen_US
etd.thesisdegree.namePh.D. in Computer Scienceen_US
etd.thesisdegree.levelDoctoralen_US
etd.thesisdegree.disciplineComputer Scienceen_US
etd.thesisdegree.grantorNaval Postgraduate Schoolen_US
dc.description.distributionstatementApproved for public release; distribution is unlimited.


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record