Overture UML translator

20. October 2008
Comments (65)

Here is the first beta release of the VDM to UML translator. It outputs XMI in Enterprise Architect 6.5 format.

OvertureUmlTranslatorMenu

Eclipse update site:

http://mt.lausdahl.com/eclipse/

Overview site: Here

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

Eclipse plugins, Overture, VDM

VDN Editor update 3.5

19. October 2008
Comments (76)

VDMeditor

dk.iha.editor.jfacetext.vdm_3.5.0.zip (461.84 kb)

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

VDM

VDM StlLib

17. October 2008
Comments (150)

I created a small standard library for VDM++ it only contains limited functionality at the time. It is meant to include common functionality needed when creating models in VDM.

StdLib.vpp (2.05 kb) Version 1

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

VDM

VDM Examples - The VDM++ Examples Repository

15. October 2008
Comments (609)

Overview of VDM++

VDM++

VDM-SL

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

VDM

VDM Editor update

15. October 2008
Comments (38)

Support for variables added.

VDMEditor15102008.zip (461.63 kb)

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

Eclipse plugins, VDM

Articles about VDM and tool support

10. October 2008
Comments (101)

Article about The Vienna Development Method

VIENNA DEVElOPMENT METHOD.pdf (2.70 mb)

Article about tool support for VDM (VDM Tools)

SIGPLAN notices -Computing Machinery.pdf (5.83 mb)

Be the first to rate this post

  • Currently 0/5 Stars.
  • 1
  • 2
  • 3
  • 4
  • 5

VDM