Informality in Program Specifications

Abstract

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

Topics

Figures and Tables

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

Statistics

0510'77'80'84'88'92'96'00'04'08'12'16
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