[過去ﾛｸﾞ] 俺はバグでこんなすごい被害を出したぞ! part 0x13©2ch.net (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
445(4): [age] 2016/07/14(木)12:37 AAS
㍾、㍽、㍼、㍻
Unicodeに次の元号を入れる空き領域を
誰も想定していなかったでござる
どうすんだよコレ
530(4): 2016/09/07(水)12:42 AAS
っつーか、複数のスレに書き込むのなら判らんでもないけど、
同じスレに何度も書き込むのって病的だよな。
629(3): 2017/01/28(土)13:19 AAS
生死をも左右するソフトウェアの設計・構築はどうすれば完璧に近づけられるのか？
外部ﾘﾝｸ:gigazine.net
こんな一文もありました。↓
1980年代後半、ちょうど航空業界ではエアバスがA340型機のデビューを控えていた頃だが、ソフトウェア関連やセーフティ関連のエンジニアの間ではあるエピソードが有名だった。
そのエピソードとは、ボーイングとエアバスという2大航空機メーカーで、FBWのテスト方法がどれだけ異なるかについてのものだった。
それによると、エアバスでは機体に搭載されるシステムを検証するために、最新かつ非常に優れた手法を取り入れ、モデル検証を行ってプログラムの形式的証明を実施した。
一方のボーイングでは、大がかりな設計審査とテストを行い、
最後に全てのプログラマーを機体の初飛行の際に同乗させた。
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
不具合直さずにリリースしたら、プログラマ全員死刑！ って事です。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.224s*