ソフトウェア開発におけるSPECからSRCへのプロセスを、文書詳細化ではなく「責務の多次元意味構造の次元変換」と捉え直す試み。要求仕様から実行可能な構造へ至る過程を役割スロットの概念を用いて分析します。