Issue No. 05 - September (1982 vol. 8)
M.S. Feather , Information Sciences Institute, University of Southern California
Presentation of the fonnal specification of a small text formatter illustrates an approach to the construction of formal specifications. The key features of this approvach are described, and their beneficial influence on the construction and organization of specifications of tasks, especially those for which no concise descriptions are possible, are discussed. The intent is that in addition to serving as formal descriptions of tasks, such specifications will be of use in the processes of verification, development, and maintenance of their implementations.
program transfornation, Applicative programming, program reliability, program specification, programming techniques
M. Feather, "Program Specification Applied to a Text Formatter," in IEEE Transactions on Software Engineering, vol. 8, no. , pp. 490-498, 1982.