Bメソッドによる形式仕様記述電子書籍版

3960円（税込）
初めての方
6回使える！最大70%OFFクーポン
※値引上限等条件あり
詳細・獲得はこちら
初めてではない方
何回でも使える5%OFFクーポン

詳細・獲得はこちら
購入はこちら試し読み
- 本作品について、無料施策・クーポン等の割引施策・PayPayポイント付与の施策を行う予定があります。
  この他にもお得な施策を常時実施中、また、今後も実施予定です。詳しくはこちら。
専門書　コンピューター
作品内容
仕様の段階で誤りをなくす注目の手法「Bメソッド」を実践活用するための解説書。安心安全を含めてますます高度な機能や性能が要求されるソフトウェアシステムの開発において、厳密な仕様記述を基に開発を行う形式手法に対する関心と期待が高まっている。本書は、我が国初のBメソッドの書き下ろし入門書である。実際の開発への適用を意識した実用指向の内容が、平明でわかりやすく記述されている。