ソフトウェア仕様記述の先進技法-Z言語
著者
書誌事項
ソフトウェア仕様記述の先進技法-Z言語
トッパン, 1993.9
- タイトル別名
-
An introduction to formal specification and Z
- タイトル読み
-
ソフトウェア シヨウ キジュツ ノ センシン ギホウ Z ゲンゴ
大学図書館所蔵 全55件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
参考文献: p311-313
内容説明・目次
目次
- 形式的仕様記述とは—ソフトウェア工学の観点
- 論理と集合論の手引き
- 仕様記述—最初の例
- Zの表記法(数学的言語;関係と関数;スキーマと仕様構造)
- もう一度最初の例を見る
- 形式的推論
- 仕様からプログラムへ(データと演算の詳細化;操作の分割)
- 理論から実際へ
- Zの構文規則
「BOOKデータベース」 より