フォーマルメソッド普及促進セミナー2011 in 札幌～見えてきた形式手法の実用化と可能性～

本セミナーでは昨年に引き続き「形式手法」の普及促進を通じた新たなビジネス機会創出を目的に、ソフトウェア開発に携わるIT企業を始め、ソフトウェアを活用するユーザー企業関係者等を対象に、我が国ソフトウェア開発の最先端の取組をご紹介します。