ソフトウェア仕様記述の先進技法 Ｚ言語

ポター，Ｂ．〈Ｐｏｔｔｅｒ，Ｂｅｎ〉/シンクレア，Ｊ．〈Ｓｉｎｃｌａｉｒ，Ｊａｎｅ〉/ティル，Ｄ．【著】〈Ｔｉｌｌ，Ｄａｖｉｄ〉/田中 武二【監訳】

トッパン（1993/09発売）

• サイズ A5判／ページ数 321p／高さ 21cm
• 商品コード 9784810185638
• NDC分類 007.64
• Cコード C3055

目次

形式的仕様記述とは―ソフトウェア工学の観点
論理と集合論の手引き
仕様記述―最初の例
Ｚの表記法（数学的言語；関係と関数；スキーマと仕様構造）
もう一度最初の例を見る
形式的推論
仕様からプログラムへ（データと演算の詳細化；操作の分割）
理論から実際へ
Ｚの構文規則