ソフトウェア仕様記述の先進技法-Z言語
著者
書誌事項
ソフトウェア仕様記述の先進技法-Z言語
トッパン, 1993.9
- タイトル別名
-
An introduction to formal specification and Z
- タイトル読み
-
ソフトウェア シヨウ キジュツ ノ センシン ギホウ Z ゲンゴ
大学図書館所蔵 件 / 全55件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p311-313
内容説明・目次
目次
- 形式的仕様記述とは—ソフトウェア工学の観点
- 論理と集合論の手引き
- 仕様記述—最初の例
- Zの表記法(数学的言語;関係と関数;スキーマと仕様構造)
- もう一度最初の例を見る
- 形式的推論
- 仕様からプログラムへ(データと演算の詳細化;操作の分割)
- 理論から実際へ
- Zの構文規則
「BOOKデータベース」 より