VDM.net

  •        0

VDM.net So how can I call you My Dear Project?

http://vdm.sourceforge.net

Tags
Implementation
License
Platform

   

comments powered by Disqus


Related Projects

Overture: Formal Modelling in VDM


The Overture project is developing a set of open source Eclipse plug-ins to support the integration of various VDM modelling tools (Vienna Development Method). The aim is to provide support for all existing VDM tools and language dialects.

Coupling Overture to UML


Coupling VDM++ to UML 2.1.2 in a bidirectional transformation. Done as a VDM++ specification and implemented in Java for Eclipse as a sub component to OvertureTools.

Virtual-datacenter-manager - VirtualDatacenterManager


VDM is used to manage the private cloud of vmware, xen and kvm.

Qdm - QDM : Quotes de Merde


Quotes de MerdeApplication affichant les quotes de VDM dans un premier temps If you default language is not french you will have access to Quotes from FML On the Market Screencasts

Finestra Virtual Desktops


A virtual desktop manager made for Windows Vista and 7 using the new thumbnail APIs to create a live preview of all of your desktops. It also supports Windows XP. Organize all of your open windows with a full screen interactive virtual desktop preview.

Rapidminer-semweb - preprocessing operators for RapidMiner for improved learning on semanticweb


This project consist of two data transformation techniques FastMap and the Correspondence Analysis which are developed as RapidMiner 5.0 and 5.1 operators. Together with Feature vector generation operator, and a visualization operator for visualizing the distance matrix and the transformed data matrix, and data refinement operator. These data transformation techniques uses the four distance metrics Levenshtein, Dice-coefficient, VDM and VDM-SetValue which are also the part of the project. These

Soits - Exercise group for the course Specification of IT systems


Exercise group for the course Specification of IT systems. Course website https://services.brics.dk/java/courseadmin/SoITS/pages/Specifications+of+IT+Systems Aarhus School of Engineering - Fall 2011

mas0061's public project


mas0061�個人的�書��スクリプト��を置�プロジェクト��。 ����らん��色々置���������。