This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
September 1982 (vol. 8 no. 5)
pp. 490-498
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.
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, Sept. 1982, doi:10.1109/TSE.1982.235737
Usage of this product signifies your acceptance of the Terms of Use.