paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 032011636Copier cet identifiant (PPN)
Notice de type Rameau

Point d'accès autorisé

Méthode VDM

Variantes de point d'accès

VDM, Méthode
[Nom commun]
Vienna Definition Method (informatique)
[Nom commun]
Vienna Development Method (informatique)
[Nom commun]

Source

VDM ... / C. B. Jones, 1992
Source consultée en vain : Laval RVM (en ligne), 2005-03-21

Identifiants externes

Utilisation dans Rameau

Le point d'accès ne peut être employé que dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

... Références liées : ...