Résumé: A professional programmer's know-how used to consist of the mastery of a set of techniques applicable to specific problems and to some specific computer. With the increase of computer power, the programmers' tasks grew more complex, and hence the need for a systematic approach became evident. Recently, the subject of programming methods, generally applicable rules and patterns of development, received considerable attention. "Structured programming" is the formulation of programs as hierarchical, nested structures of statements and objects of computation. We give brief examples of structured programs, show the essence of this approach, discuss its relationship with program verification, and comment on the role of structured languages.

Langue: Anglais