AWSにおける形式手法 - masateruk’s blogで知った。アマゾンさんがやってるって言うとすごいのかなとか思っちゃう。

コード詳細化が特徴。いまでもコード詳細化って重要なのかが興味あるところ。

パリ地下鉄14号線の信号システムが「Bメソッドを適用」、「これまでにバグがない」。