The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - September (1982 vol.8)
pp: 490-498
M.S. Feather , Information Sciences Institute, University of Southern California
ABSTRACT
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.
INDEX TERMS
program transfornation, Applicative programming, program reliability, program specification, programming techniques
CITATION
M.S. Feather, "Program Specification Applied to a Text Formatter", IEEE Transactions on Software Engineering, vol.8, no. 5, pp. 490-498, September 1982, doi:10.1109/TSE.1982.235737
26 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool