Program Specification Applied to a Text Formatter

Authors:
M. S. Feather
Affiliations:
Information Sciences Institute, University of Southern California
Venue:
IEEE Transactions on Software Engineering
Year:
1982

Citing 0
Cited 2

A System for Assisting Program Transformation

ACM Transactions on Programming Languages and Systems (TOPLAS)
Design of a Specification Language and Real-Time APIs for Easy Expression of Soft Real-Time Constraints with Java

ICN '01 Proceedings of the First International Conference on Networking-Part 1

Quantified Score

Hi-index	0.00

Visualization

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.