0
ダニエル・ジャクソン, 中島震, 今井健男, 酒井政裕, 遠藤侑介, 片岡欣夫 / オーム社 (2件のレビュー)
レビューを書く
総合評価:
"powered by"
yoshas
形式手法になじみのない人が、本書だけでAlloyを始めるのは少しハードルが高いかもしれません。本書は「形式仕様記述言語Alloy」と呼ぶべき書籍であって、「はじめてのAlloy」ではありません。期待感…だけで飛びつきましたが、私は「はじめてのAlloy」が欲しかったので★3。機会を改めてもう一度読もうと思います。続きを読む
投稿日:2012.01.12
hanawaoritasi
著者はソフトウェア工学で著名なマイケル・ジヤクソン氏の息子。形式仕様記述言語の一つAlloyを利用し、ソフトウェアの対象とするものの構造を考えを表現しツールで検証。頭の中だけで考える従来の設計は、コー…ディングに入ってから実装制約の洗礼にあうと脆くも崩れる。(これが設計は意味がないとしてコードで設計を考えるアジャイルの考えを導いたとする。) ツールにより設計を検査することでコードの無駄な煩雑さに煩わされることなく設計を考えることができると主張。続きを読む
投稿日:2011.09.19
ポイントが追加されました。ポイント明細ページからご確認いただけます。
クーポンコードの形式が正しくありません。半角英数12桁で入力してください。
エラー(エラーコード: )
本棚を開くには、画面右上にある「本棚」ボタンをクリック
スマートフォンの場合
パソコンの場合
このレビューを不適切なレビューとして報告します。よろしいですか?
ご協力ありがとうございました 参考にさせていただきます。
レビューを削除してもよろしいですか? 削除すると元に戻すことはできません。