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

著者
    • Jackson, Daniel
    • 今井, 健男 イマイ, タケオ
    • 酒井, 政裕 サカイ, マサヒロ
    • 遠藤, 侑介 エンドウ, ユウスケ
    • 片岡, 欣夫 カタオカ, ヨシオ
書誌事項

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

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

オーム社, 2011.7

タイトル別名

Software abstractions : logic, language, and analysis

タイトル読み

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

注記

監訳: 中島震

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

参考文献: p.339-346

内容説明・目次

目次

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

「BOOKデータベース」 より

詳細情報
  • NII書誌ID(NCID)
    BB0639484X
  • ISBN
    • 9784274068584
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    jpn
  • 原本言語コード
    eng
  • 出版地
    東京
  • ページ数/冊数
    xvi, 357p
  • 大きさ
    21cm
  • 分類
  • 件名
ページトップへ