抽象によるソフトウェア設計

Daniel Jackson 著 ; 中島震 監訳 ; 今井健男, 酒井政裕, 遠藤侑介, 片岡欣夫 共訳

[目次]

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

「BOOKデータベース」より

この本の情報

書名 抽象によるソフトウェア設計
著作者等 Jackson, Daniel
中島 震
今井 健男
遠藤 侑介
酒井 政裕
片岡 欣夫
書名ヨミ チュウショウ ニ ヨル ソフトウェア セッケイ : Alloy デ ハジメル ケイシキ シュホウ
書名別名 Software abstractions

Alloyではじめる形式手法
出版元 オーム社
刊行年月 2011.7
ページ数 357p
大きさ 21cm
ISBN 978-4-274-06858-4
NCID BB0639484X
※クリックでCiNii Booksを表示
全国書誌番号
21961068
※クリックで国立国会図書館サーチを表示
言語 日本語
原文言語 英語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想