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

ADO.NET

Active Data Objects .NET

in | |

Version .NET d'ADO, apportant plus d'interopérabilité par un support natif XML, et l'extension du mode déconnecté. 

Syndiquer le contenu

Dernières définitions

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

Un mot au hasard

shifter  

Alertes CERTA