サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
ノーベル賞
nanotsu.ait.kyushu-u.ac.jp
■ 目次一覧 ホーム > 目次一覧 ■ 第1章 プログラムの正しさ —プログラムの検証入門— プログラムの正しさ プログラムの正当性とその証明法 —帰納的表明法— 検証条件 プログラムの停止性 演習問題 ■ 第2章 Floyd-Hoare 論理 Floyd-Hoare 論理 配列要素への代入文 演習問題 ■ 第3章 仕様としての事前条件と事後条件 配列の整列プログラム 配列を用いるプログラムの部分的正当性の例 仕様記述の例 演習問題 ■ 第4章 VDM-SL による仕様記述の例 簡単な仕様記述の例 有用な基本データ型 演習問題 ■ 第5章 例題で見るシステム仕様記述 住所録システム 参加登録システム 演習問題 ■ 第6章 事例で見る実用的仕様記述 対象とする自動販売機 自動販売機の抽象モデル モデルの拡張 : ランプの導入 具体化 : ボタンとカラムの導入 演習問題 ■ 付録A VDM-S
このページを最初にブックマークしてみませんか?
『nanotsu.ait.kyushu-u.ac.jp』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く