Design and implementation of a concrete interface generation system
Rachal, Randy James
Bradbury, Leigh W.
MetadataShow full item record
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.
RightsThis 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.
Showing items related by title, author, creator and subject.
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 ...
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 ...
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 ...