Design and implementation of a concrete interface generation system

Download
Author
Rachal, Randy James
Date
1990-12Advisor
Berzins, Valdis
Second Reader
Bradbury, Leigh W.
Metadata
Show full item recordAbstract
The purpose of this thesis is to design and implement a concrete interface generation system. The concrete interface generator is a software system which takes a formal specification as input and generates the specification part of an Ada implementation as output. Attribute grammars and fourth-generation language tools have been used in the implementation of this system. Spec, a formal language for writing black-box specifications for large software systems, was used as the input for the concrete interface generation system. Ada was chosen to be the computer language generated by the system. This thesis implements a subset of the Spec language, discusses the design methodology used in its implementation, and presents guidelines for the mapping of Spec to Ada. Included is a listing of the Spec grammar, the concrete interface generator systems source listing, a sample of input used to tet the system, and resulting output.
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.
-
Concrete paving blocks: an overview.
Abate, Michael K. (1993);There is a widespread perception in the U.S. that a concrete block pavement (CBP) is an untried pavement alternative. However, each year more of these pavements are being installed. The available literature concerning this ... -
Software Vulnerabilities, Defects, and Design Flaws: A Technical Debt Perspective
Nord, Robert L.; Ozkaya, Ipek; Shull, Forrest (Monterey, California. Naval Postgraduate School, 2017-03); SYM-AM-17-099Technical debt describes a universal software development phenomenon: "Quick and easy" design or implementation choices that linger in the system will cause ripple effects that make future changes more costly. Although DoD ... -
Software Vulnerabilities, Defects, and Design Flaws: A Technical Debt Perspective
Nord, Robert L.; Ozkaya, Ipek; Shull, Forrest (Monterey, California. Naval Postgraduate School, 2017-03); SYM-AM-17-047Technical debt describes a universal software development phenomenon: モQuick and easyヤ design or implementation choices that linger in the system will cause ripple effects that make future changes more costly. Although DoD ...