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

著者

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

書誌事項

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

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

オーム社, 2011.7

タイトル別名

Software abstractions : logic, language, and analysis

タイトル読み

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

注記

監訳: 中島震

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

参考文献: p.339-346

内容説明・目次

目次

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

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BB0639484X
• ISBN:
  • 9784274068584
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 原本言語コード: eng
• 出版地: 東京
• ページ数/冊数: xvi, 357p
• 大きさ: 21cm
• 分類:
  • NDC8 : 007.63
  • NDC9 : 007.63
• 件名:
  • BSH : ソフトウェア工学