抽象によるソフトウェア設計 : Alloyではじめる形式手法

Author(s)

• Jackson, Daniel
• 今井, 健男 イマイ, タケオ
• 酒井, 政裕 サカイ, マサヒロ
• 遠藤, 侑介 エンドウ, ユウスケ
• 片岡, 欣夫 カタオカ, ヨシオ
• 中島, 震 ナカジマ, シン

Bibliographic Information

抽象によるソフトウェア設計 : Alloyではじめる形式手法

Daniel Jackson著 ; 今井健男 [ほか] 共訳

オーム社, 2011.7

Other Title

Software abstractions : logic, language, and analysis

Title Transcription

チュウショウ ニヨル ソフトウェア セッケイ : Alloy デ ハジメル ケイシキ シュホウ

Note

監訳: 中島震

その他の共訳: 酒井政裕, 遠藤侑介, 片岡欣夫

参考文献: p.339-346

Description and Table of Contents

Table of Contents

• ざっと一巡り
• 論理系
• 言語
• 解析
• 事例
• 練習問題
• Ａｌｌｏｙ言語リファレンス
• 中核の意味論
• 図的記法
• Ａｌｌｏｙ以外の手法
• Ａｌｌｏｙ　Ａｎａｌｙｚｅｒクイックガイド
• 訳語一覧

by "BOOK database"

Details

• NCID: BB0639484X
• ISBN:
  • 9784274068584
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Original Language Code: eng
• Place of Publication: 東京
• Pages/Volumes: xvi, 357p
• Size: 21cm
• Classification:
  • NDC8 : 007.63
  • NDC9 : 007.63
• Subject Headings:
  • BSH : ソフトウェア工学