プログラム仕様記述論

著者

書誌事項

プログラム仕様記述論

荒木啓二郎, 張漢明共著

（IT text / 情報処理学会編）

オーム社, 2002.11

タイトル読み

プログラム シヨウ キジュツロン

大学図書館所蔵 件 / 全165件

この図書・雑誌をさがす

注記

参考文献・関連ホームページ: p181-185

内容説明・目次

内容説明

本書は、ソフトウェア開発におけるいわゆる形式手法（ｆｏｒｍａｌ　ｍｅｔｈｏｄｓ）の入門書である。プログラムの正しさを証明するためのプログラム検証理論と形式仕様記述との初歩を紹介している。

目次

  • 第１章　プログラムの正しさ—プログラムの検証入門
  • 第２章　Ｆｌｏｙｄ‐Ｈｏａｒｅ論理
  • 第３章　仕様としての事前条件と事後条件
  • 第４章　ＶＤＭ‐ＳＬによる仕様記述の例
  • 第５章　例題で見るシステム仕様記述
  • 第６章　事例で見る実用的仕様記述
  • 付録Ａ　ＶＤＭ‐ＳＬ概説
  • 付録Ｂ　Ｚによる仕様記述

「BOOKデータベース」 より

関連文献： 1件中  1-1を表示

  • IT text

    情報処理学会編

    オーム社 2000-

詳細情報

ページトップへ