組込みソフトウェアの社会的な役割が大きくなる昨今、国内外の各種の規格や開発ガイドラインで推奨される開発手法として「形式手法」が注目され、「仕様品質を向上させる手法」として産業界でも認識が広まりつつあります。
今回は具体的にVDMを用いた開発を始めてみたい！というお客様のために、VDMの概要に関する説明のほか、VDMを利用した開発の流れをイメージできるサンプルを紹介しました。

ワークショップ特設会場にて、「ソフトウェアの品質向上に寄与する形式手法VDM〜入門編・実践編」と題したワークショップを開催しました。
入門編では、形式手法VDMに関する概要と最近の動向、実践編ではサンプルを使い、形式手法VDMを用いた開発の流れを紹介しました。