プログラム仕様
functional specification
形式手法
形式的検証
形式仕様記述
表示的意味論
操作的意味論
公理的意味論
契約プログラミング
VDM
Z言語
ソフトウェア工学
仕様記述言語
詳細化
プログラム仕様 - Wikipedia