藤枝純教の視点〜アーキテクチャと形式手法両者が組めば将来は明るい
日経コンピュータ　第695号　2008.1.15

この記事の情報
掲載誌	日経コンピュータ　第695号（2008.1.15）
ページ数	1ページ　（全1340字）
形式	PDFファイル形式　（202kb）
雑誌掲載位置	138ページ目

　「うちの情報システムやソフトウエアは大丈夫だろうね」。「大丈夫です」。多くの企業のＣＥＯ（最高経営責任者）とＣＩＯ（最高情報責任者）の間でかわされているであろう会話である。　情報システムの計算ミスや停止、あるいは情報漏洩といったトラブルがマスメディアで報道されるたびに、ＣＥＯはＣＩＯを呼び、冒頭の質問を繰り返す。自動車や航空機に組み込まれるソフトの誤動作は人命にかかわる大問題になるから、ＣＥＯは…