ソフトウェアには自動車や機械をはじめとする他の工業製品と違った特徴がある。「柔軟さ」こそ、それだ。 ところが、柔軟性はＩＴ活用の幅を広げやすくする一方で、ともすればシステムの信頼性や安全性を損なう一因にもなる。 特に高信頼性が求められるシステムでは、柔軟なゆえに可能な場当たり的なコード変更が致命的な障害につながりかねない。 こうした事態を避けるべく、最近にわかに関心が高まっているのが「形式手法（Formal Method）」である。 数学的な記述を伴うので取っつきにくい面はあるが、企業のIT責任者や担当者は、少なくとも本質を理解しておくべきだ。
この記事の続きをお読みいただくには、
会員登録（無料）が必要です
会員登録（無料）が必要です
【次ページ】形式手法の導入障壁と根付かせるための対策
- ＞ 前へ
- 1
- 2
- 3
- 次へ ＞
バックナンバー
- ERP導入企業は34.8％、経営改革や業績管理に活用する動きも─ERP研究推進フォーラム/IT Leaders共同調査（2013/02/07）
- ツールの効果的活用で機能品質高め─テスト工程のあり方を見つめ直す（2013/01/29）
- IaaSを利用する際、これだけは押さえておきたいセキュリティのツボ（2012/10/18）
- これからIT部門が育てるべき人材像とは（2012/08/24）
- ベテラン社員に技術やノウハウが偏在、情報システム部門の技能継承が課題に（2012/07/19）
関連記事
