抽象によるソフトウェア設計 : 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

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

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
  • Subject Headings
Page Top