日経エレクトロニクス 2006/08/28号

Guest Paper
形式手法の実像を知る
VDMやZ記法などのモデル規範型から UMLとの関連まで

ソフトウエアの品質,信頼性向上の手段として「形式手法(formal methods)」が注目を集めている。産業機器などに向けた国際安全規格「IEC 61508」や,自動車向けの同規格「ISO 26262」のドラフトに盛り込まれるなど,その名前が登場する頻度が増えている。しかし,その実像は日本でほとんど知られていない。(123〜142ページ掲載記事から抜粋) *テキスト版記事の文字数:24658文字

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

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

関連カテゴリ・企業名
【記事に含まれる分類カテゴリ】
エレクトロニクス > エレクトロニクス設計・製造 > 設計(エレクトロニクス)
update:19/09/26