# 1. np.
Spécifications

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. np. m.
Les langages

Ancêtre du langage C.

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

# 3. np.
MS-DOS

Lettre traditionnellement réservée au deuxième lecteur de disquettes, sur les micros.

(04-11-2001).