ディペンダブル・システムのための形式手法の実践ポータル

VDM++ユーザにOvertureを紹介するガイド付きツアー

情報源

http://www.vdmportal.org/twiki/bin/view/Main/WebHome

発表日

2009年11月

実施者等

Overture （コミュニティベースのオープンソースイニシアチブ。VDM++のための自由に利用できるサポートツールの提供を目的としている）

概要

VDM++の新規ユーザにOvertureを紹介するガイド付きツアーが利用可能である。これはVDM++ブックのツール紹介の章（第３章）に代わる役割を果たすものである。

このページの先頭へ戻る