コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

利用者:I.hidekazu/段階的詳細化法

段階的詳細化法(だんかいてきしょうさいかほう、: stepwise refinement)とはダイクストラの構造プログラミングにおける一つの手法を言う。

ニクラウス・ヴィルトらによって具体化された?

概要

[編集]

非自明なプログラムとシステムの正しい設計は

プログラムに関する概念のヴィルトによる整理

[編集]

関連項目

[編集]

参考文献

[編集]