プレス発表 形式手法適用調査報告書の公開：IPA 独立行政法人 情報処理推進機構 IPAが形式手法に関する言語（仕様？）、ツール、事例の調査結果を公開していたので読みました。以下、メモ。 VDM以外にもBとか色々仕様があるらしい。 事例は主に組み込み系（…

最近社内で「ゆる勉強会」をやっているのですが、今日はいつかやらねばと思っていたHudsonを勉強できました！ Hudson sugeeeeee! Hudsonの勉強の仕方 http://wiki.hudson-ci.org/display/HUDSON/Meet+Hudsonにアクセスする。 Test DriveのLaunchボタンを押す…