|
| This Article | ||
| | ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
| ASCII Text | x | ||
| M.S. Feather, "Program Specification Applied to a Text Formatter," IEEE Transactions on Software Engineering, vol. 8, no. 5, pp. 490-498, September, 1982. | |||
| BibTex | x | ||
| @article{ 10.1109/TSE.1982.235737, author = {M.S. Feather}, title = {Program Specification Applied to a Text Formatter}, journal ={IEEE Transactions on Software Engineering}, volume = {8}, number = {5}, issn = {0098-5589}, year = {1982}, pages = {490-498}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1982.235737}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Software Engineering TI - Program Specification Applied to a Text Formatter IS - 5 SN - 0098-5589 SP490 EP498 EPD - 490-498 A1 - M.S. Feather, PY - 1982 KW - program transfornation KW - Applicative programming KW - program reliability KW - program specification KW - programming techniques VL - 8 JA - IEEE Transactions on Software Engineering ER - | |||
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.