Issue No. 09 - September (1991 vol. 17)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.92909
<p>A method of semiautomatic specification refinement and program generation using library modules, is described. Users write their specifications and modify and rearrange them so that they can be refined with the aid of the library modules. When a specification is given, a refinement system, called MAPS (module-aided program construction system) searches for library modules applicable to the given specification, replaces the specification with a more detailed description written in the operation part of the modules, and converts the refined specification into a program written in a programming language designated by the user. Case-like expressions or pseudo-natural language expressions are used for describing user's specifications and specifications for library modules.</p>
case-like expressions; semiautomatic specification refinement; program generation; library modules; refinement system; MAPS; module-aided program construction system; programming language; pseudo-natural language expressions; automatic programming; formal specification; software tools; subroutines
F. Nishida, S. Takamatsu, Y. Fujita and T. Tani, "Semi-Automatic Program Construction from Specifications Using Library Modules," in IEEE Transactions on Software Engineering, vol. 17, no. , pp. 853-871, 1991.