NEWS&TOPICS

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

MRI


情報源

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

発表日

2009年11月

実施者等

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

概要

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

このページの先頭へ戻る