B

Une définition du Jargon Français.

1.  [spécification]. Méthode de spécification formelle et de développement, conçue par Jean-Raymond Abrial, permettant la production de code à partir de machines abstraites. Du même auteur, la méthode Z ne fait que de la spécification.

2.  [langage]. Ancêtre du langage C.

http://cm.bell-labs.com/cm/cs/who/dmr/bintro.html

3.  [MS-DOS]. Lettre traditionnellement réservée au deuxième lecteur de disquettes, sur les micros.