1. np.

[spécification] Langage de spécification formelle, développée depuis la fin des années 1970, basée sur la logique des prédicats et la théorie des ensembles. Ancêtre de B.

 2. ext.

[extension][type (fichiers)][compression] Format de compression de fichier surtout utilisé dans le monde Unix. Il est souvent utilisé en compagnie de l'archiveur tar. Dans les autres univers (en particulier MS-DOS), on a eu la bonne idée de réunir les deux fonctions, archivage et compression, avec ARJ ou Zip.

 3. np.

[histoire] Premier ordinateur conçu en Allemagne par Konrad Zuse (voir Zuse, Konrad), dans les années 1930. Heureusement, les dirigeants allemands de l'époque, dont Hitler, n'y ont pas cru.

 4. sg.

[Apple] Code utilisé par Apple pour désigner l'Anglais International. Voir FU, 1ère définition.