|
「仕様」の数学的構造化に「自然言語」を使う！
|
赤間 世紀 著
2010年11月20日発売
A5判
176ページ
定価 \2,530（本体 \2,300）
|
|
ISBN978-4-7775-1564-6 C3004 \2300E
|
 |
≪「要求定義」や「設計」に役立つ“仕様記述言語”を平易に解説！≫
「Z」（ゼッド）は、「Z言語」または「Z記法」とも言い、論理学に基づく「仕様記述言語」で、ソフトウェアなど複雑なシステムの、厳密な記述ができます。
ただし、実際に「Z」を理解するには、かなり高度な数学的知識が必要です。
そこで、本書は、「Z」を、必要な数学の基礎から解説します。
本書を読み通すことによって、「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] ユーザー定義タイプ |
|
|
|
| [6.1] Zの課題 |
[6.2] 他の仕様記述言語 |
[6.3] 仕様記述の将来 |
|
参考文献
参考情報
索引
※ 内容が一部異なる場合があります。発売日は、東京の発売日であり、地域によっては１〜２日程度遅れることがあります。あらかじめご了承ください。
|
本書内容に関するご質問は、こちら
本書のサポートページはこちら．
|
|
|
