np |

np

Minix

En d'autres termes

Mini - Unix

Définition

Clone partiel d'Unix, OpenSource, à vocation pédagogique d'A.S. Tanenbaum.

Classé sous :

Comparateur de prix. Site Web réalisant des comparaisons automatisées de tarifs de sites marchands. L'intérêt technique différenciant les shopbots est leur aptitude éventuelle à comparer des produits identiques ou similaires malgré des références différentes.

en lire plus

Classé sous :

MOU

En d'autres termes

Memorandum Of Understanding

Définition

Nom complet: gTLD-MOU. Cadre de réflexion international sur l'évolution du DNS, jusqu'à mi-1999, où ces travaux se sont transférés sur l'ICANN.

Epoque du terme

1998

en lire plus

Classé sous :

IAHC

En d'autres termes

International Ad Hoc Committe

Définition

Groupe de réflexion sur les évolutions du DNS, et notamment les gTLD, créé par l'IANA et l'ISOC. Il a par la suite produit le gTLD-MOU. Les travaux sur le sujet sont dorénavant du ressort de l'ICANN.

Epoque du terme

1996

en lire plus

Classé sous :

Z

En d'autres termes

Zermelo-Fränkel

Définition

Notation formelle utilisée en modélisation et preuve de programmes. Elle repose sur la théorie ensembliste de Zermelo-Fränkeln et fut créée à l'Université d'Oxford. Le plus "important" programme créé en utilisant Z est CICS. Voir "CICS".

Epoque du terme

1980

en lire plus

Classé sous :

VDM

En d'autres termes

Vienna Development Method

Définition

Méthode formelle de preuve de programmes, comparable à Z et reposant sur la même théorie ensembliste.

Visuellement, VDM est plus simple que Z, n'utilisant pas d'alphabet spécifique. Fonctionnellement, elle permet de traiter le cas des prédicats indéfinis, par l'utilisation d'une logique ternaire, alors que Z repose sur la logique binaire classique.

en lire plus

Classé sous :