Jackson構造化プログラミング

ジャクソンの構造化プログラミング（ジャクソンのこうぞうかプログラミング、英: Jackson Structured Programming, JSP）とは、ダイクストラらに始まる構造化プログラミングを踏まえた上で、制御の流れではなくデータ構造の分析を中心とするプログラム設計法を言う。1970年代にによって開発された。 事前に設計について分析を行い、分析した入出力構造の対応関係から順次的プログラム（sequantial program）の実装を具体的に導出する詳細化技法からなる。