Normal Forms for Algebraic Specifications of Reusable Ada Packages

Thumbnail Image
Files
inc_Steigerwald_1991.pdf (826.4 KB)
Authors
Steigerwald, Robert
Berzins, Valdis
Subjects
Advisors
Date of Issue
1991
Date
Publisher
Monterey, California: Naval Postgraduate School.
Language
Abstract
This paper introduces the concept of normal forms for algebraic specifications of Ada packages defining abstract data types. The normal form is used in the process of reusable software component retrieval via formal specifications. We review the use of algebras for the specification of abstract data types. Then, using a concrete example, we define normal forms and present the details of algorithms to automate the normalization process.
Type
Article
Description
URI
https://hdl.handle.net/10945/38288
Series/Report No
Department
Computer Science (CS)
Organization
Identifiers
NPS Report Number
Sponsors
Funder
Format
Citation
Distribution Statement
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
Publications