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

Author(s)

Bibliographic Information

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

B. ポター, J.シンクレア, D.ティル著 ; 田中武二監訳

トッパン, 1993.9

Other Title

An introduction to formal specification and Z

Title Transcription

ソフトウェア シヨウ キジュツ ノ センシン ギホウ Z ゲンゴ

Access to Electronic Resource 1 items

Available at  / 56 libraries

Note

参考文献: p311-313

Description and Table of Contents

Table of Contents

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

by "BOOK database"

Details

  • NCID
    BN09833215
  • ISBN
    • 481018563X
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Original Language Code
    eng
  • Place of Publication
    東京
  • Pages/Volumes
    xiv, 321p
  • Size
    21cm
  • Classification
  • Subject Headings
Page Top