最新刊
Bメソッドによる形式仕様記述
(2018/03/23)仕様の段階で誤りをなくす注目の手法「Bメソッド」を実践活用するための解説書。安心安全を含めてますます高度な機能や性能が要求されるソフトウェアシステムの開発において、厳密な仕様記述を基に開発を行う形式手法に対する関心と期待が高まっている。本書は、我が国初のBメソッドの書き下ろし入門書である。実際の開発への適用を意識した実用指向の内容が、平明でわかりやすく記述されている。
この著者の作品1
1
注目の新刊予想4
4
元勇者は静かに暮らしたい
(こうじ/鳴瀬ひろふみ/鍋島テツヒロ / 集英社)元勇者は静かに暮らしたい 6(2026年06月18日)
次巻の発売日:2027年4月18日 ~ 2027年10月18日
トニカクカワイイ
(畑健二郎 / 小学館)トニカクカワイイ(36)(2026年06月18日)
次巻の発売日:9月18日 ~ 10月18日
龍狼伝 王霸立国編
(山原義人 / 講談社)龍狼伝 王霸立国編(12)(2026年06月17日)
次巻の発売日:2027年7月17日ごろ
人気の作品8
8