資料詳細

【図書】 プログラム仕様記述論

ＩＴ　ｔｅｘｔ --
荒木啓二郎／共著, 張漢明／共著 -- オーム社 -- ２００２．１１ -- ２１ｃｍ -- １９１ｐ

タイトル	プログラム仕様記述論
シリーズ名	ＩＴ　ｔｅｘｔ
著者名等	荒木啓二郎／共著, 張漢明／共著
出版	オーム社２００２．１１
大きさ等	２１ｃｍ１９１ｐ
分類	007.64
件名	電子計算機－プログラミング
注記	シリーズの編者：情報処理学会
内容	文献あり　索引あり
要旨	本書は、ソフトウェア開発におけるいわゆる形式手法（ｆｏｒｍａｌ　ｍｅｔｈｏｄｓ）の入門書である。プログラムの正しさを証明するためのプログラム検証理論と形式仕様記述との初歩を紹介している。
目次	第１章　プログラムの正しさ―プログラムの検証入門；第２章　Ｆｌｏｙｄ‐Ｈｏａｒｅ論理；第３章　仕様としての事前条件と事後条件；第４章　ＶＤＭ‐ＳＬによる仕様記述の例；第５章　例題で見るシステム仕様記述；第６章　事例で見る実用的仕様記述；付録Ａ　ＶＤＭ‐ＳＬ概説；付録Ｂ　Ｚによる仕様記述
ISBN(13)、ISBN	4-274-13263-3
書誌番号	1102071912

所蔵

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

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	書庫		007.6/15108	一般書	利用可	-	2028333636