試験公開中

このエントリーをはてなブックマークに追加

Bメソッドによる形式仕様記述:ソフトウェアシステムのモデル化とその検証(トップエスイー実践講座1)

近代科学社

3,960円 (3,600円+税)

ソフトウェアシステムの開発において、厳密な仕様記述を基に開発を行う形式手法に対する関心と期待が高まっている。本書は、我が国初のBメソッドの書き下ろし入門書である。実際の開発への適用を意識した実用指向の内容が、平明でわかりやすく記述されている。

【注意】本書のEPUB版は固定レイアウト型になっております。文字の大きさの変更や検索、引用などはお使いいただけません。画面の大きい端末でご利用ください。

ページサンプル閲覧

以下はPDF版の先頭ページなどから、一部を抜粋して縮小した画像です。
(※EPUB版を提供している書籍の場合、基本的に内容は同じですが、見映えは異なります。 またお使いのEPUBリーダによっても見え方は大きく異なることがあります。)

Home 書籍一覧 Bメソッドによる形式仕様記述:ソフトウェアシステムのモデル化とその検証(トップエスイー実践講座1) ▲ ページトップへ戻る