Corpus ID: 8242220

Notes on structured programming

@inproceedings{Dijkstra1970NotesOS,
  title={Notes on structured programming},
  author={Edsger W. Dijkstra},
  year={1970}
}
• A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features… Expand

Topics from this paper

Sparse matrices and substructures with a novel implementation of finite element algorithms
TLDR
The final author version and the galley proof are versions of the publication after peer review that features the final layout of the paper including the volume, issue and page numbers. Expand
The case for structured programming
TLDR
The notions of structured programming, top-down programming, and stepwise refinement are compared, and some careful guidelines for the proper use of structured Programming approaches are suggested. Expand
Data-driven and model-based methods for verification and control of physical systems
TLDR
The final author version and the galley proof are versions of the publication after peer review that features the final layout of the paper including the volume, issue and page numbers. Expand
The role of modularity in document authoring systems
TLDR
An environment designed to enable testing the hypothesis that the effectiveness of writing professionals could be increased by providing a working environment to support explicit modularity in documents and document development is described. Expand
Notes on Typed Object-Oriented Programming
TLDR
This paper summarize and compare three object models used in the theoretical literature, and considers approaches to a few technical problems, including changes in the type of a method from super (base) class to sub (derived) class and the use of types that give information about the implementations as well as the interfaces of objects. Expand
Some Notes on Putting Formal Specifications to Productive Use
TLDR
These notes are personal reflections, stemming from attempts to understand the sources of problems and successes in the application of work on formal specifications, to take a broad view of the role of formal specifications in the program development process. Expand
Structured programming, programming teaching and the language Pascal
TLDR
This paper is a survey of the present situation in three related an d evolving areas, since it is a series of considerations o n the three subjects stated in its title, and their mutual relationships. Expand
More comments on the programming language Pascal
TLDR
The present reply successively deals with points that are clearly refutable, those which are debatable and those which constitute valid criticism. Expand
The History of Software Engineering
  • G. Booch
  • Computer Science
  • IEEE Software
  • 2018
Grady Booch, one of UML’s original authors, offers his perspective on the history of software engineering. This article is part of a theme issue on software engineering’s 50th anniversary. The WebExpand
A SYNTAX-DIRECTED GRAPHICS EDITOR
TLDR
A graphics editor which incorporates a knowledge of the syntax of the graphs to be drawn should provide many of the advantages that syntax-directed structure editors provide to software developers, and these considerations guided the design of CGEDIT, a syntax- directed editor for composition graphs. Expand
...
1
2
3
4
5
...