形式手法普及促進セミナー 2013 in 札幌

※参加申込締切は9月6日です。
ソフトウェアの高信頼性を確保し、併せて作業効率を高める可能性を秘めた開発手法である「形式手法」について、セキュリティの確保や利用者視点からの取り組みについて知る機会ですので、皆さまのご参加をお待ちしております。