VDM

VDM

En d'autres termes

Vienna Development Method

Définition

Méthode formelle de preuve de programmes, comparable à Z et reposant sur la même théorie ensembliste.

Visuellement, VDM est plus simple que Z, n'utilisant pas d'alphabet spécifique. Fonctionnellement, elle permet de traiter le cas des prédicats indéfinis, par l'utilisation d'une logique ternaire, alors que Z repose sur la logique binaire classique.

Get started with Drupal 7

Marques les plus citées

toutes les marques

acheter sur OSInet

Accès direct

Recherche

Le mot du jour

.sc

Seychelles

in | |

ccTLD des Seychelles. Attention : un ccTLD ne désigne pas nécessairement un pays. La base des ccTLD et des root servers associés est consultable sur le site de l'IANA. 

Syndiquer le contenu

Dernières définitions

Chrome - Chromium - digitaalisen kuilun - ghetto sharding - HTTP - MongoDB - PNaCl - QUIC - Skia - SPDY

Un mot au hasard

DCU : Delphi Compiled Unit  

Alertes CERTA