情報処理推進機構：ソフトウェア高信頼化対象を如何にモデル化するか? (VDM++入門) 〜仕様のモデル化の極意を教えます!!〜［二日コース］ 開催情報 2013年11月にご好評をいただいたワークショップを再び開催します。本ワークショップでは、形式手法で仕様を明確にするモデル化∗1の技術について、実際に課題演習を通して学んでいただきます。仕様記述言語VDM++の基礎とVDM開発支援ツールVDMToolsの基礎を学び、モデル化の課題演習を通じ、VDMを用いたモデル化の手順を学習することで、実際の現場へ形式手法を適用するイメージを掴むことができます。 （∗1）ここでのモデル化とは、システムの仕様に内部矛盾が無いかを検証（正当性検証）し、ユーザーの要求に合っているかを確認する（妥当性確認）モデルを作成することです。 本ワークショップは、2月4日と2月12日に開催する二日コースです。 ・2日とも無線LAN機能付きのノートパソコンをご持参
