Connecting UML and VDM++ with Open Tool Support. Lausdahl, K., Lintrup, H. K. A., & Larsen, P. G. In Cavalcanti, A. & Dams, D. R., editors, Proceedings of the 2nd World Congress on Formal Methods, volume 5850, of Lecture Notes in Computer Science, pages 563–578, Berlin, Heidelberg, November, 2009. Springer-Verlag. ISBN 978-3-642-05088-6
Connecting UML and VDM++ with Open Tool Support [link]Paper  bibtex   1 download  
@inproceedings{Lausdahl&09,
  address =       {Berlin, Heidelberg},
  author =        {Kenneth Lausdahl and Hans Kristian Agerlund Lintrup and
                   Peter Gorm Larsen},
  booktitle =     {Proceedings of the 2nd World Congress on Formal
                   Methods},
  editor =        {Cavalcanti, Ana and Dams, Dennis R.},
  key =           {Lausdahl\&09},
  month =         {November},
  note =          {{ISBN 978-3-642-05088-6}},
  pages =         {563--578},
  publisher =     {Springer-Verlag},
  series =        {Lecture Notes in Computer Science},
  title =         {{Connecting UML and VDM++ with Open Tool Support}},
  volume =        {5850},
  year =          {2009},
  url =           {http://dx.doi.org/10.1007/978-3-642-05089-3_36},
}
  
  %G VDM TOOL

Downloads: 1