Imperasに関しては、このブログでは早く([2007年12月21日のhttp://blogs.yahoo.co.jp/verification_engineer/28982997.html Imperas])から取り上げています。
いよいよ日本でも製品開発に利用されるようになったわけですね。
5年以上かかった。製品が出たのはもっと後なので、そんなにはかかっていませんが。
5年以上かかった。製品が出たのはもっと後なので、そんなにはかかっていませんが。
年間3600のツールは、どれなんでしょうか?
検証、Verifiaction、OVP