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