抽象によるソフトウェア設計 : Alloyではじめる形式手法
著者
書誌事項
抽象によるソフトウェア設計 : Alloyではじめる形式手法
オーム社, 2011.7
- タイトル別名
-
Software abstractions : logic, language, and analysis
- タイトル読み
-
チュウショウ ニヨル ソフトウェア セッケイ : Alloy デ ハジメル ケイシキ シュホウ
電子リソースにアクセスする 全1件
大学図書館所蔵 件 / 全75件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
監訳: 中島震
その他の共訳: 酒井政裕, 遠藤侑介, 片岡欣夫
参考文献: p.339-346
内容説明・目次
目次
- ざっと一巡り
- 論理系
- 言語
- 解析
- 事例
- 練習問題
- Alloy言語リファレンス
- 中核の意味論
- 図的記法
- Alloy以外の手法
- Alloy Analyzerクイックガイド
- 訳語一覧
「BOOKデータベース」 より