プログラム仕様記述論

Author(s)

• 荒木, 啓二郎 アラキ, ケイジロウ
• 張, 漢明 チョウ, カンメイ

Bibliographic Information

プログラム仕様記述論

荒木啓二郎, 張漢明共著

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

オーム社, 2002.11

Title Transcription

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

Note

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

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

Details

• NCID: BA60052990
• ISBN:
  • 4274132633
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: xvi, 191p
• Size: 21cm
• Classification:
  • NDC8 : 007.64
  • NDC9 : 007.64
  • NDC9 : 007.61
• Subject Headings:
  • BSH : プログラミング(コンピュータ)
  • NDLSH : システム設計
• Parent Bibliography ID:
  • BA48969780