Normalized Specifications for Identifying Reusable Software
MetadataShow full item record
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.
Showing items related by title, author, creator and subject.
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 ...
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 ...
Lee, Yuh-jeng (Monterey, California. Naval Postgraduate School, 1989-09); NPS-52-89-060We are exploring the use of executable specifications in automating the process of debugging logic programs. We have formulated a computer model that encodes programming knowledge including a classification of program bugs, ...