Normalized Specifications for Identifying Reusable Software
Abstract
An approach to retrieving reusable software components by means of module specifications is described. The approach depends on normalizing specifications to reduce the variations in the representation of software concepts. The concept is illustrated in terms of both formal and informal approaches to component specifications.
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.Collections
Related items
Showing items related by title, author, creator and subject.
-
An examination of the requirements for fill materials included in guide specifications
Koch, Karsten Matthew. (Monterey California. Naval Postgraduate School, 1999-08-01);Guide specifications for fill materials are used in the preparation of the earthwork sections of specifications for individual projects. This report discusses the agencies that produce guide specifications for fill materials ... -
Formal specifications for an electrical power grid system stability and reliability
Galinski, Jonathan J. (Monterey, California: Naval Postgraduate School, 2015-09);This thesis provides natural language requirements and associated formal specifications for an electric power grid. These specifications are the first step in using bounded constraint solving to detect early bleak states ... -
Analysis of General Accounting Office, Armed Services Board of Contract Appeals, and Federal Court of Claims decisions on disputes involving performance specifications
Murphy-Sweet, Philip A. (Monterey, California. Naval Postgraduate School, 2002-09);This thesis analyzed rulings and court cases from the General Accounting Office, Armed Services Board of Contract Appeals and Federal Court of Claims with respect to contract protests and disputes involving Performance ...