「プログラム導出」の版間の差分
削除された内容 追加された内容
en:Program derivation 17:29, 24 November 2005 版の翻訳 |
Category:プログラム開発手法をCategory:ソフトウェア工学に統合することに伴う変更 |
||
1行目:
'''プログラム導出'''とは、[[計算機科学]]において数学的手段を用いて仕様から[[プログラム (コンピュータ)|プログラム]]を導き出すことである。
プログラムを「導出」するとは、通常そのままでは実行不可能な形式的仕様を記述し、数学的に正しい規則を適用して実行可能なプログラムに変換することを意味する。このような手法で得られたプログラムは(最初の仕様にバグがない限り)構造的に正しいことが証明されている。
25行目:
[[Category:ソフトウェア|ふろくらむとうしゆつ]]
[[Category:
[[en:Program derivation]]
|