資料詳細

  • 1 件中、 1 件目

プログラム仕様記述論 利用可

荒木啓二郎／共著 -- オーム社 -- 2002.11 -- 007.64

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 007.6/ｱﾗｷ/一般Ｈ 114789840 一般 利用可

ページの先頭へ

資料詳細

タイトル プログラム仕様記述論
書名ヨミ プログラム　シヨウ　キジュツ　ロン
シリーズ名 ＩＴ　ｔｅｘｔ
著者名 荒木啓二郎 ／共著, 張漢明 ／共著  
著者ヨミ アラキ，ケイジロウ , チョウ，カンメイ  
出版者 オーム社  
出版年 2002.11
ページ数等 １９１ｐ
大きさ ２１ｃｍ
内容細目 文献あり　索引あり
一般件名 電子計算機－プログラミング  
ISBN 4-274-13263-3
問合わせ番号（書誌番号） 1101035107
NDC8版 007.64
NDC9版 007.64
内容紹介 本書は、ソフトウェア開発におけるいわゆる形式手法（ｆｏｒｍａｌ　ｍｅｔｈｏｄｓ）の入門書である。プログラムの正しさを証明するためのプログラム検証理論と形式仕様記述との初歩を紹介している。

ページの先頭へ

内容一覧

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

ページの先頭へ