ホーム

ここは「抽象によるソフトウェア設計」非公式サポートページです。


  • Daniel Jackson 著
  • 中島 震 監訳
  • 今井健男・酒井政裕・遠藤侑介・片岡欣夫 共訳 
  • 2011年7月、オーム社
  • ISBN 978-4-274-06858-4

Alloy(アロイ)を通じて形式手法を学ぶ

本書は、"Software Abstractions: Logic, Language, and Analysis"の翻訳書です。Alloyによるさまざまな事例のモデリングを通じ、「アジャイルで軽量な形式手法」といえる技術を学びます。 

最新のお知らせ

  • 「コミュニティ」ページを作成しました メーリングリスト「Alloy-jp」のこのサイト内から直接アクセスできます。
    投稿: 2013/03/15 8:10、Takeo Imai
  • 正誤表を追加しました 正誤表 をご覧下さい。
    投稿: 2012/01/20 1:32、Takeo Imai
  • メーリングリストを作りました 本書の内容に関する質問や、Alloyに関する質問、情報交換、ディスカッションを行うためのメーリングリスト(Alloy-jp)を開設しました。誰でも自由に参加できます。 下記のリンクからアクセスしてください。 Alloy-jp このグループにアクセス     Alloy-jpに参加 このグループにアクセス
    投稿: 2011/07/20 1:23、Takeo Imai
  • Amazon.co.jp で予約できます Amazon.co.jp 他、オンライン書店で予約できるようになりました。Amazon: http://www.amazon.co.jp/dp/4274068587/ビーケーワン: http://www.bk1.jp/product/0343217
    投稿: 2011/07/02 5:48、Takeo Imai
  • 目次を掲載しました 「本の概要」ページ内のリンクから、本書の目次を見ることができます。 なお、オーム社公式ページに掲載されているのは本書企画段階のもので、こちらに載せたものが正しいです。公式ページも近日修正される見込みです。
    投稿: 2011/06/24 7:14、Takeo Imai
1 - 5 / 6 件の投稿を表示中 もっと見る »