Slide 30
Slide 30 text
構造化プログラミングの提唱
翌1969年、再び開催されたNATOのソフトウェア工学会議に
おいて、ダイクストラは「構造化プログラミング(Structured
Programming)」という語を提唱した。ダイクストラはこの論
文においてgoto文については触れず、プログラムサイズが
大きくなったとしても正しさを証明できる良く構造化され
たプログラム(well-structured programs)、大きなプログラムの
理解を助ける段階的な抽象化(step-wise abstraction)、抽象
データとその操作の抽象文の共同詳細化(joint refinement)につ
いて述べた。(出典:Wikipedia)