エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
目次一覧
■ 目次一覧 ホーム > 目次一覧 ■ 第1章 プログラムの正しさ —プログラムの検証入門— プログラムの正し... ■ 目次一覧 ホーム > 目次一覧 ■ 第1章 プログラムの正しさ —プログラムの検証入門— プログラムの正しさ プログラムの正当性とその証明法 —帰納的表明法— 検証条件 プログラムの停止性 演習問題 ■ 第2章 Floyd-Hoare 論理 Floyd-Hoare 論理 配列要素への代入文 演習問題 ■ 第3章 仕様としての事前条件と事後条件 配列の整列プログラム 配列を用いるプログラムの部分的正当性の例 仕様記述の例 演習問題 ■ 第4章 VDM-SL による仕様記述の例 簡単な仕様記述の例 有用な基本データ型 演習問題 ■ 第5章 例題で見るシステム仕様記述 住所録システム 参加登録システム 演習問題 ■ 第6章 事例で見る実用的仕様記述 対象とする自動販売機 自動販売機の抽象モデル モデルの拡張 : ランプの導入 具体化 : ボタンとカラムの導入 演習問題 ■ 付録A VDM-S