Program development by stepwise refinement

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: Communications of the ACM

Abbreviated Title: Commun. ACM

Publisher: Association for Computing Machinery (ACM)

ISSN (Print): 00010782

Publication date (Print): April 1971

Volume: 14

Issue: 4

Pages: 221-227

Article

DOI: 10.1145/362575.362577

SO-VID: 562dd9bf-8a25-47ff-b8f2-452629357392

History

Data availability:

Comments

Comment on this article

scite_

859

203

Smart Citations

859

203

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.