- 中古
- 書籍
- 書籍
- 1211-08-00
抽象によるソフトウェア設計 Alloyではじめる形式手法
定価 ¥4,950
3,520円 定価より1,430円（28%）おトク
獲得ポイント32P
在庫なし
発送時期 1～5日以内に発送
商品詳細
| 内容紹介 | |
|---|---|
| 販売会社／発売会社 | オーム社 |
| 発売年月日 | 2011/07/16 |
| JAN | 9784274068584 |
- 書籍
- 書籍
抽象によるソフトウェア設計
商品が入荷した店舗：0店
店頭で購入可能な商品の入荷情報となります
ご来店の際には売り切れの場合もございます
オンラインストア上の価格と店頭価格は異なります
お電話やお問い合わせフォームでの在庫確認、お客様宅への発送やお取り置き・お取り寄せは行っておりません
値下げ前価格について
本価格は現中古販売価格の「値下げ前価格」となります。
直近約1か月間、値下げ前価格での販売実績があるものだけ表示しております。
抽象によるソフトウェア設計
¥3,520
在庫なし
商品レビュー
3
2件のお客様レビュー
形式手法になじみのない人が、本書だけでAlloyを始めるのは少しハードルが高いかもしれません。本書は「形式仕様記述言語Alloy」と呼ぶべき書籍であって、「はじめてのAlloy」ではありません。期待感だけで飛びつきましたが、私は「はじめてのAlloy」が欲しかったので★3。機会を...
形式手法になじみのない人が、本書だけでAlloyを始めるのは少しハードルが高いかもしれません。本書は「形式仕様記述言語Alloy」と呼ぶべき書籍であって、「はじめてのAlloy」ではありません。期待感だけで飛びつきましたが、私は「はじめてのAlloy」が欲しかったので★3。機会を改めてもう一度読もうと思います。
Posted by 
著者はソフトウェア工学で著名なマイケル・ジヤクソン氏の息子。形式仕様記述言語の一つAlloyを利用し、ソフトウェアの対象とするものの構造を考えを表現しツールで検証。頭の中だけで考える従来の設計は、コーディングに入ってから実装制約の洗礼にあうと脆くも崩れる。(これが設計は意味がない...
著者はソフトウェア工学で著名なマイケル・ジヤクソン氏の息子。形式仕様記述言語の一つAlloyを利用し、ソフトウェアの対象とするものの構造を考えを表現しツールで検証。頭の中だけで考える従来の設計は、コーディングに入ってから実装制約の洗礼にあうと脆くも崩れる。(これが設計は意味がないとしてコードで設計を考えるアジャイルの考えを導いたとする。) ツールにより設計を検査することでコードの無駄な煩雑さに煩わされることなく設計を考えることができると主張。
Posted by
お手持ちのスマホでスキャン