も入れておくべきですね。ちょうどタイムリーに論文募集中です。論文発表じゃなくても参加は自由です(ただしちょっとお金がかかります)ので7/28, 29直接冷やかしにいくのもあり。

なんてのがあったり。ソフトウェア工学だけじゃないですが。 そういえば、3WSQC(3rd World Congress for Software Quality)なんてのも9月にありますです。論文出してと頼まれてたのに別件で煮えててダメでした。次は5年後らしい…orz。ドイツビール飲みたかっ…

ソフトウェア工学で品質保証という話になると、形式記述になり気味ではありますが、テストも一応ありますです。現場から殴り込みをかけてみるのもいいでは。最近はモデル検証がホットらしい。