日経コンピュータ 2008/07/15号

BOOKS
〜ソフトウェアトラブルを予防する〜形式手法の技術講座

 高い信頼性を持つシステムを設計・開発する手法として注目を集める「形式手法」。数学を土台にしており、仕様を厳密に記述できるのが同手法の特徴だが、とっつきにくい面も少なくない。 本書は形式手法を基礎から解説する。(155ページ掲載記事から抜粋) *テキスト版記事の文字数:335文字

この記事をオンラインで読む
買い物カゴに入れる110円
買い物カゴに入れる(読者特価)55円
 特価が表示されない場合は下の (※)をご覧ください
この雑誌を購入する
お得な定期購読 (手続き画面へ移動します)

(※) 「読者特価」でご購入の際、日経IDに未ログインの場合は途中で通常価格が表示されることがあります。ご購入画面をそのまま進んでいただき、「次へ(お客様情報の入力へ)」のボタン押下後に表示されるログイン画面で日経IDをご入力ください。特価適用IDであれば、表示が特価に変わります。

関連カテゴリ・企業名
【記事に含まれる分類カテゴリ】
情報システム > その他(情報システム) > その他(情報システム)
update:19/09/24