厳密な仕様記述入門
https://www.ipa.go.jp/files/000026829.pdf
1 章 仕様とその位置付け
仕様
とは何か
なんらかの解きたい課題があり、それを実際に解いた解があるときにその両者を 「つなぐもの」 が仕様
ソフトウェア開発でよく使われる用語で言うと、
要求
と
設計
の仲立ちをする位置にあるものが
仕様