Normal Forms for Algebraic Specifications of Reusable Ada Packages
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.
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.
-
Ultraviolet resonance Raman enhancements in the detection of explosives
Short, Billy Joe (Monterey, California: Naval Postgraduate School, 2009-06);Raman-based spectroscopy is potentially militarily useful for standoff detection of high explosives. Normal (non-resonance) and resonance Raman spectroscopies are both light scattering techniques that use a laser to measure ... -
MACHINE LEARNING IN MOBILE CUBESAT COMMAND AND CONTROL (MC3) GROUND STATIONS
Marczewski, Timothy J. (Monterey, CA; Naval Postgraduate School, 2021-06);The Mobile CubeSat Command and Control (MC3) ground station network is a program designed to enable many organizations to command and control very small satellites (or CubeSats) in low-earth orbit. The MC3 network currently ... -
A new kinematic model for the study of the role of the posterior cruciate ligament (PCL) in human knee motion
Belen, Robin L. (Monterey, California. Naval Postgraduate School, 1994-12);A six degree of freedom model was utilized to study the motion of the loaded human knee joint, with emphasis placed on the role of the posterior cruciate ligament (PCL) in that motion. Unlike previous studies, where the ...