Informality in Program Specifications


This paper is concerned with the need for computer-based tools which help human designers formulate formal process-oriented specifications. It first determines some attributes of a suitable process-oriented specification language, then examines the reasons why specifications would still be difficult to write in such a language in the absence of formulation… (More)
DOI: 10.1109/TSE.1978.231480


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.


Citations per Year

90 Citations

Semantic Scholar estimates that this publication has 90 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics