=Quotes de Merde= Application 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== http://ovhoo.com/content/DEV/android/QDM/Images/VDM_QR_Code.png ==Screencasts== http://ovhoo.com/content/D...

mas0061が個人的に書いたスクリプトなどを置くプロジェクトです。 ざっくばらんに、色々置こうと思っています。

This Plug-in is built on top of the Eclipse Platform. It is an editor for the Overture modeling language that is based on the Vienna Development Method For the time being it includes the following features: * Syntax highlighting * Outline - Quick outline * Parsing * Type Check * P...

A two-level data transformation consists of a type-level transformation of a data format coupled with value-level transformations of data instances corresponding to that format. Examples of two-level data transformations include XML schema evolution coupled with document migration, and data mappings...

an iGoogle gadget for VDM

vdm vdm vdmvdm vdmvdm vdmvdm