makotan _at_ gmail dot com

2015-11-01から1ヶ月間の記事一覧

Seasar Projectがどうなるのかのまとめ

S2Containerを含むいくつかのProjectの現行コミッタによる保守とサポートは予定通り終了 Seasar Projectの足回り(maven/ml等)はSeasar Foundationの継続とサポートにより当面継続 ということで現行ユーザが選択出来る手段は大きく二つ ひがさんの代わりのプ…

「あるソフトウェア工学者の失敗」を読んでコードジェネレータで思った事

元ネタ→ http://www.shayashi.jp/myfailures.pdf 数学的に証明可能なソフトウェアにはバグが無い。ただし仕様レベルではバグが起きる事には対策が無い。 コードジェネレータが正しい限り生成したコードにはバグが無い。ただし入力ではバグが起きることには対…