エントリーの編集
![loading...](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/common/loading@2x.gif)
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント2件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
![アプリのスクリーンショット](https://b.st-hatena.com/bdefb8944296a0957e54cebcfefc25c4dcff9f5f/images/v4/public/entry/app-screenshot.png)
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
ソフトウェアの信頼性を根本的に高める「形式手法(Formal Method)」の本質 | IT Leaders
2011/11/07 08:00ITが広く社会に浸透し、個人の生活や企業活動にとって不可欠な役割を担うようになって... 2011/11/07 08:00ITが広く社会に浸透し、個人の生活や企業活動にとって不可欠な役割を担うようになって久しい。それだけにITに対する信頼性や安全性の要求は、かつてないほどに高まっている。ひとたび障害が発生すれば、多くの個人や企業に甚大な影響を及ぼすからだ。 例えば、銀行のオンラインシステムや航空機の予約システムがダウンすれば、預金の引き出しや搭乗手続き、計画通りの運航が困難になり、多数の人が影響を受ける。自動車の電子制御システムに問題が生じれば、最悪の場合、人命を危機にさらす。 このような背景から、システム稼働時の信頼性を高める様々な試みがなされている。システムを構成する機器の冗長化は、その1つ。障害から自律回復する技術の研究やシステムのダウンタイムを減らすための工夫も重ねられている。開発においても同様に、テストに莫大な工数を費やしたり、ミスやエラーを徹底的に排除したりする試み
2011/11/21 リンク