paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 035004355Copier cet identifiant (PPN)
Notice de type Rameau

Point d'accès autorisé

B (méthode formelle)

Variantes de point d'accès

B (langage de programmation)
[Nom commun]
Méthode B (informatique)
[Nom commun]

Source

Encycl. de l'informatique et des systèmes d'information, 2006 (art. : Méthodes formelles pour l'ingénierie des protocoles)

FOLDOC : computing dict. - http://foldoc.org (2010-10-25)

La méthode de spécification formelle B : construction de modèles mathématique / J.-R. Abrial, 1995

The B language and method : a guide to practical formal development / K. Lano, 1996

The encycl. of computer languages - http://hopl.murdoch.edu.au (2010-10-22)

Autres identifiants

Identifiant BNF : FRBNF12569468X

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

Equivalent dans un autre référentiel

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