http://iiyu.asablo.jp/blog/2006/08/20/491884 ここを読むとなんとなく、腑に落ちるような気もします。ひとまず、抜粋。 - それまで自然言語やUMLで仕様記述をやってきてバグがつぶせない ので、形式仕様記述言語VDM++で形式仕様記述を実践して大きな成果を…

Springのメンテナンスポリシーが変わったことで、 Springの有償化という形で騒がれました。 情報が二転三転した感がありますし、 情報を整理してみました。http://www.springsource.com/products/enterprise/maintenancepolicy・Springは次のメジャーバージ…