●形式手法VDM概要
高品質ソフトウェアを作成するには、高品質仕様の作成が重要となります。ISO標準の形式手法VDMと、そのツールVDMToolsを使うことによって、高品質な「仕様のプログラミング」が可能となり、プログラムを作成する前に「何を作るべきか」を明確にすることができます。今回は、VDMの活用事例とVDMToolsを用いたデモを中心に紹介し、非商用版ツールの配布を行いました。

●VDM導入支援サービス「Folha（フォーラ）」紹介
「考え方はわかったけれど、実際どうすればいい？」「勉強したいけれど、相談にのってもらえないか」
当社では、このようなお客様の声にお応えするために、VDM導入支援サービス「Folha」を提供しています。本サービスはお客様の開発プロセスに形式手法のアプローチを組み合わせ、テストされた正しい仕様に基づく高品質なソフトウェア開発をサポートします。今回は、本サービス内容の詳細を紹介しました。

展示ホール内特設ステージにおいて、ソフトウェアの品質、信頼性向上の手段として注目を集めている「形式手法」についてプレゼンテーションを行いました。

「形式手法が創る高信頼性ソフトウェアの世界 〜形式手法最新動向〜」
産業界における適用事例と形式手法VDMの実時間モデル拡張など、形式手法の最新動向について報告しました。

「形式手法が創る高信頼性ソフトウェアの世界 〜モデリングの秘訣〜」
「契約による設計」にもとづく形式手法のモデリングについて紹介しました。

「形式手法が創る高信頼性ソフトウェアの世界 〜適用事例紹介〜」
我が国で最大規模を誇る形式手法適用事例として、フェリカネットワークス株式会社のVDMを使った開発事例を紹介しました。

「Embedded Technology 2006」会期中、形式手法VDMの導入事例紹介セミナーを開催しました。今やわが国における形式手法適用事例として最大規模を誇る、フェリカネットワークス株式会社様による、携帯電話組込み用「モバイルFeliCa IC チップ」開発における形式仕様記述手法の導入事例を中心に報告しました。

　　　　11/15（水） 　株式会社CSKシステムズ　通信グループ　理事　佐原 伸

　　　　11/16（木） 　フェリカネットワークス株式会社　開発部ソフトウェア開発課　中津川 泰正 様
　　　　　　　　　　　 　有限会社デザイナーズデン　代表取締役社長　酒匂 寛 様

　　　　11/17（金） 　フェリカネットワークス株式会社　開発部ソフトウェア開発課 統括課長　栗田 太郎 様