TOP新刊既刊I/OサポートQ&AI/O WEB版通販お問い合わせ
 既刊 > 2010年 > 11月 書名検索: 詳細検索...
「仕様」の数学的構造化に「自然言語」を使う!
仕様記述言語「Z」
赤間 世紀 著
2010年11月20日発売   A5判  176ページ 定価 \2,484(本体 \2,300)
   ISBN978-4-7775-1564-6 C3004 \2300E
≪「要求定義」や「設計」に役立つ“仕様記述言語”を平易に解説!≫
 「Z」(ゼッド)は、「Z言語」または「Z記法」とも言い、論理学に基づく「仕様記述言語」で、ソフトウェアなど複雑なシステムの、厳密な記述ができます。
 ただし、実際に「Z」を理解するには、かなり高度な数学的知識が必要です。
 そこで、本書は、「Z」を、必要な数学の基礎から解説します。
 本書を読み通すことによって、「Z言語」そのものはもちろん、「形式手法」一般への理解も深まるでしょう。
■ 主な内容 ■
CONTENTS
 はじめに

 第1章  序論
 [1.1] 形式仕様  [1.2] Zとは

 第2章  前提知識
 [2.1] 一階述語論理  [2.2] 集合論

 第3章  Z言語
 [3.1] Z言語とは  [3.2] 仕様の表現  [3.3] ジェネリック構成  [3.4] 数と算術
 [3.5] 論理  [3.6] 集合  [3.7] 関係  [3.8] 関数
 [3.9] シーケンス  [3.10] バグ  [3.11] スキーマ表現  [3.12] シ―ケンシャル・システム
 [3.13] ユーザー定義タイプ      
 第4章  証明とセマンティクス
 [4.1] 証明  [4.2] セマンティクス

 第5章  Zの応用
 [5.1] ソフトウェア  [5.2] 自動販売機

 第6章  結論
 [6.1] Zの課題  [6.2] 他の仕様記述言語  [6.3] 仕様記述の将来


 参考文献
 参考情報
 索引

※ 内容が一部異なる場合があります。発売日は、東京の発売日であり、地域によっては1〜2日程度遅れることがあります。あらかじめご了承ください。

本書内容に関するご質問は、こちら
本書のサポートページはこちら
通信販売
在庫あり
サポート情報
サポート
ご意見・ご質問

内容見本