- 中古
- 書籍
- 書籍
- 1211-08-00
抽象によるソフトウェア設計 Alloyではじめる形式手法
定価 ¥4,950
3,795円 定価より1,155円（23%）おトク
獲得ポイント34P
在庫なし
発送時期 1～5日以内に発送
商品詳細
| 内容紹介 | |
|---|---|
| 販売会社／発売会社 | オーム社 |
| 発売年月日 | 2011/07/16 |
| JAN | 9784274068584 |
- 書籍
- 書籍
抽象によるソフトウェア設計
商品が入荷した店舗：0店
店頭で購入可能な商品の入荷情報となります
ご来店の際には売り切れの場合もございます
オンラインストア上の価格と店頭価格は異なります
お電話やお問い合わせフォームでの在庫確認、お客様宅への発送やお取り置き・お取り寄せは行っておりません
値下げ前価格について
本価格は現中古販売価格の「値下げ前価格」となります。
直近約1か月間、値下げ前価格での販売実績があるものだけ表示しております。
抽象によるソフトウェア設計
¥3,795
在庫なし
商品レビュー
3
2件のお客様レビュー
ソフトウェア設計の新たなアプローチを探求する本書は、形式仕様記述言語Alloyを用いて、ソフトウェアの構造を明確に表現し、検証する方法を提案しています。著者は著名なソフトウェア工学者の息子であり、従来の設計手法の限界を指摘し、実装段階での問題を回避するための理論を展開しています。設計を検査するツールの活用により、無駄な煩雑さから解放され、より効率的な設計思考が促進される点が魅力です。ただし、形式手法に不慣れな読者には、Alloyを学ぶためのハードルが高く感じられるかもしれません。全体として、深い理解を得るためには根気が必要ですが、知識を深める絶好の機会を提供してくれます。
※この内容はAIが作成したものであり、ブックオフ公式オンラインストアの見解や意図を示すものではありません。
形式手法になじみのない人が、本書だけでAlloyを始めるのは少しハードルが高いかもしれません。本書は「形式仕様記述言語Alloy」と呼ぶべき書籍であって、「はじめてのAlloy」ではありません。期待感だけで飛びつきましたが、私は「はじめてのAlloy」が欲しかったので★3。機会を...
形式手法になじみのない人が、本書だけでAlloyを始めるのは少しハードルが高いかもしれません。本書は「形式仕様記述言語Alloy」と呼ぶべき書籍であって、「はじめてのAlloy」ではありません。期待感だけで飛びつきましたが、私は「はじめてのAlloy」が欲しかったので★3。機会を改めてもう一度読もうと思います。
Posted by 
著者はソフトウェア工学で著名なマイケル・ジヤクソン氏の息子。形式仕様記述言語の一つAlloyを利用し、ソフトウェアの対象とするものの構造を考えを表現しツールで検証。頭の中だけで考える従来の設計は、コーディングに入ってから実装制約の洗礼にあうと脆くも崩れる。(これが設計は意味がない...
著者はソフトウェア工学で著名なマイケル・ジヤクソン氏の息子。形式仕様記述言語の一つAlloyを利用し、ソフトウェアの対象とするものの構造を考えを表現しツールで検証。頭の中だけで考える従来の設計は、コーディングに入ってから実装制約の洗礼にあうと脆くも崩れる。(これが設計は意味がないとしてコードで設計を考えるアジャイルの考えを導いたとする。) ツールにより設計を検査することでコードの無駄な煩雑さに煩わされることなく設計を考えることができると主張。
Posted by
関連商品
同じジャンルのおすすめ商品
同じジャンルのおすすめ商品
最近チェックした商品
お手持ちのスマホでスキャン