Bメソッドによる形式仕様記述
購入済み
あらすじ
※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。仕様の段階で誤りをなくす注目の手法「Bメソッド」を実践活用するための解説書。安心安全を含めてますます高度な機能や性能が要求されるソフトウェアシステムの開発において、厳密な仕様記述を基に開発を行う形式手法に対する関心と期待が高まっている。本書は、我が国初のBメソッドの書き下ろし入門書である。実際の開発への適用を意識した実用指向の内容が、平明でわかりやすく記述されている。
商品情報
シリーズ
全1冊
作品をシェアする
同じ作者の本
-
デジタル・プラットフォーム解体新書 製造業のイノベーションに向けて
￥2,750
購入済み
-
ソフトウェアパターン
￥3,960
購入済み
-
Bメソッドによる形式仕様記述
￥3,960
購入済み
-
SPINによる設計モデル検証
￥3,960
購入済み
-
並行システムの検証と実装
￥5,060
購入済み
-
実践的ソフトウェア工学
￥2,750
購入済み
-
UPPAALによる性能モデル検証
￥4,180
購入済み
-
VDM++による形式仕様記述
￥4,180
購入済み
-
ソフトウェア科学基礎
￥4,180
購入済み
-
実践的ソフトウェア工学 第2版 実践現場から学ぶソフトウェア開発の勘所
￥2,970
購入済み
近代科学社のおすすめ本
-
世界標準MIT教科書 アルゴリズムイントロダクション 第4版 第2巻 高度な設計と解析の手法・高度なデータ構造・グラフアルゴリズム
￥4,950
購入済み
-
図解 深層学習 数理で理解する基本原理
￥3,850
購入済み
-
独習 ガロア理論
￥4,290
購入済み
-
世界標準MIT教科書 アルゴリズムイントロダクション 第4版 第1巻 基礎・ソートと順序統計量・データ構造・数学的基礎
￥4,950
購入済み
-
増補新訂版 よくわかるC言語 イメージと例題で理解するStep ABC
￥2,475
購入済み
-
ベイズ最適化 適応的実験計画の基礎と実践
￥4,180
購入済み
-
サプライチェーンリスク管理と人道支援ロジスティクス
￥7,700
購入済み
-
実践的プライバシーリスク評価技法 プライバシーバイデザインと個人情報影響評価
￥3,520
購入済み
-
日本語-英語バイリンガルブック｜モノづくり×モノづかいのデザインサイエンス 経営戦略に新価値をもたらす10の知恵
￥2,420
購入済み
-
数理物理と数理情報の基礎
￥2,420
購入済み
スマホ・PC・ITのおすすめ本
-
ChatGPTと音声で会話する3つの方法
￥1,980
購入済み
-
つくって、壊して、直して学ぶ Kubernetes入門
￥3,278
購入済み
-
AWS教科書 AWS認定ソリューションアーキテクトアソシエイト テキスト＆問題集
￥2,860
購入済み
-
SNSマーケティングのやさしい教科書。改訂4版——写真・動画から広告まで、ビジネスを加速させる最新技術
￥2,420
購入済み
-
p5jsで学ぶJavaScript入門
￥1,980
購入済み
-
猫でもわかるBlazor実践入門 最新改訂版
￥1,980
購入済み
-
Excelパワークエリ実戦のための技術データの取得、行・列操作によるデータ処理から、モデリング、let式、DAXクエリまで完全解説！
￥2,599
購入済み
-
WordPressの新しい標準レッスン フルサイト編集＋ブロックエディター活用講座
￥2,420
購入済み
-
はじめてのメルカリ
￥1,584
購入済み
-
コマンドラインの黒い画面が怖いんです。 新人エンジニアのためのコマンドが使いこなせる本
￥2,420
購入済み