フォーマルメソッド普及促進セミナー 2010 in 札幌

北海道経済産業局では、北海道並びに(地独)北海道立総合研究機構とともに、8月27日に、「フォーマルメソッド普及促進セミナー 2010 in 札幌～形式手法が切り拓くソフトウェア産業の未来～」を開催します。本セミナーでは「形式手法」の普及促進を通じた新たなビジネス機会創出を目的に、ソフトウェア開発に携わるIT企業を始め、制御ソフトを活用するユーザー企業関係者等を対象に、我が国の最新の現状と取組をご紹介します。