2005-06-02 システム検証の科学技術シンポジウム 開発 学会 ソフトウェア工学で品質保証という話になると、形式記述になり気味ではありますが、テストも一応ありますです。現場から殴り込みをかけてみるのもいいでは。最近はモデル検証がホットらしい。