@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00119516,
 book = {全国大会講演論文集},
 issue = {ソフトウェア工学},
 month = {Sep},
 note = {通常の人手によるプログラム開発は、仕様に対して設計者やプログラマが行なう設計上の決定を与えることにより行なわれる。この設計上の決定とは、仕様に対するデータ構造やアルゴリズムの選択である。このことから、"プログラム=仕様+設計上の決定"と言える。このように考えると、プログラム中に存在する設計上の決定とはプログラムと仕様の差(設計上の決定=プログラム-仕様)である。もし、プログラムから設計上の決定を分離することができれば、これは次の様なことに利用可能である。・設計上の決定を変更して、元の仕像に対して適用すれば、容易に別の決定を持つプログラムを合成することができる。・設計上の決定は仕様とプログラムのギャップであるから、これを人間に提示することにより、プログラムと仕様の可読性を高めることがむきる。そこで本発表では、プログラムとその仕様から、設計上の決定を抽出する方法を提案する。},
 pages = {141--142},
 publisher = {情報処理学会},
 title = {プログラムと仕様からの設計上の決定の抽出},
 volume = {第41回},
 year = {1990}
}