Naval Postgraduate School
Dudley Knox Library
NPS Dudley Knox Library
View Item 
  •   Calhoun Home
  • Faculty and Researchers
  • Faculty and Researchers' Publications
  • View Item
  •   Calhoun Home
  • Faculty and Researchers
  • Faculty and Researchers' Publications
  • View Item
  • How to search in Calhoun
  • My Accounts
  • Ask a Librarian
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

All of CalhounCollectionsThis Collection

My Account

LoginRegister

Statistics

Most Popular ItemsStatistics by CountryMost Popular Authors

Software Component Search

Thumbnail
Download
IconLuqi_Software Component Search.pdf (1.645Mb)
Download Record
Download to EndNote/RefMan (RIS)
Download to BibTex
Author
Luqi
Goguen, Joseph
Nguyen, Doan
Messeguer, Jose
Zhang, Du
Berzins, Valdis
Date
1996
Metadata
Show full item record
Abstract
An important problem in software development is to make better use of software libraries by improving the search and retrieval process, that is, by making it easier to find the few components you may want among the many you do not want. This paper suggests some ideas to improve this process: (1) Associate an algebraic specification with each software component; these specifications should include complete syntactic information, but need have only partial semantic information. (2) User queries consist of syntactic declarations plus results for sample executions. (3) User queries may be posed in standard programming notation, which is then automatically translated into algebraic notation. (4) Search is organized as ranked multi-level filtering, where each level yields a ranked set of partial matches. (5) Early stages of filtering narrow the search space by using computationally simple procedures, such as checking that the number of types is adequate. (6) Middle levels may find partial signature matches. (7) Pre-computed catalogues (i.e., indexes) can speed up early and middle level filtering. (8) Semantic information is used in a final filter with term rewriting, but complete verification is not attempted. (9) The series of filters is implemented incrementally, so as to backtrack to lower ranked components in case of failure. This approach avoids the need for complex theorem proving, and does not require any knowledge of algebraic specification from the user. Moreover, it does not require either specifications or queries to be complete or even fully correct, because it yields partial matches ranked by how well they fit the query. The paper concludes with a description of some preliminary experiments and some suggestions for further experiments.
Description
Journal of Systems Integration (Special issue on Computer Aided Prototyping), Vol. 6, No. 1-2, pp. 93-134.
Rights
This 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.
URI
http://hdl.handle.net/10945/42343
Collections
  • Faculty and Researchers' Publications

Related items

Showing items related by title, author, creator and subject.

  • Thumbnail

    Mapping Libyan jihadist networks for UW 

    Beuerlein, Robert (Monterey, California: Naval Postgraduate School, 2018-12);
    The post-Gaddafi Libyan war continues along fractured lines of allegiance. Various militia networks are in open armed conflict with each other and pitted against other jihadist networks. The central government is split in ...
  • Thumbnail

    Assigning Unmanned Undersea Vehicles (UUVs) to mine detection operations 

    Diaz, J. Enrique Reyes (Monterey, California. Naval Postgraduate School, 1999-12-01);
    In an era when mines are inexpensive and easily accessible, present mine detection and area reconnaissance capabilities are insufficient to enable unencumbered maneuver in the littoral regions. Unmanned undersea vehicles ...
  • Thumbnail

    Ontology-based Software Repository System 

    Johnson, Jean M. (Monterey, California. Naval Postgraduate School, 2010-04-30); NPS-AM-10-040
    The reuse of software and related artifacts is a key tenant of DoD acquisition improvement initiatives, including the Naval Open Architecture program. While there are many inhibitors of reuse, software repositories are ...
NPS Dudley Knox LibraryDUDLEY KNOX LIBRARY
Feedback

411 Dyer Rd. Bldg. 339
Monterey, CA 93943
circdesk@nps.edu
(831) 656-2947
DSN 756-2947

    Federal Depository Library      


Start Your Research

Research Guides
Academic Writing
Ask a Librarian
Copyright at NPS
Graduate Writing Center
How to Cite
Library Liaisons
Research Tools
Thesis Processing Office

Find & Download

Databases List
Articles, Books & More
NPS Theses
NPS Faculty Publications: Calhoun
Journal Titles
Course Reserves

Use the Library

My Accounts
Request Article or Book
Borrow, Renew, Return
Tech Help
Remote Access
Workshops & Tours

For Faculty & Researchers
For International Students
For Alumni

Print, Copy, Scan, Fax
Rooms & Study Spaces
Floor Map
Computers & Software
Adapters, Lockers & More

Collections

NPS Archive: Calhoun
Restricted Resources
Special Collections & Archives
Federal Depository
Homeland Security Digital Library

About

Hours
Library Staff
About Us
Special Exhibits
Policies
Our Affiliates
Visit Us

NPS-Licensed Resources—Terms & Conditions
Copyright Notice

Naval Postgraduate School

Naval Postgraduate School
1 University Circle, Monterey, CA 93943
Driving Directions | Campus Map

This is an official U.S. Navy Website |  Please read our Privacy Policy Notice  |  FOIA |  Section 508 |  No FEAR Act |  Whistleblower Protection |  Copyright and Accessibility |  Contact Webmaster

Export search results

The export option will allow you to export the current search results of the entered query to a file. Different formats are available for download. To export the items, click on the button corresponding with the preferred download format.

A logged-in user can export up to 15000 items. If you're not logged in, you can export no more than 500 items.

To select a subset of the search results, click "Selective Export" button and make a selection of the items you want to export. The amount of items that can be exported at once is similarly restricted as the full export.

After making a selection, click one of the export format buttons. The amount of items that will be exported is indicated in the bubble next to export format.