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 :

CM

En d'autres termes

Configuration Management

Définition

DASL

En d'autres termes

DAV Searching and Locating protocol

Définition

Protocole de manipulation et interrogation des métadonnées WebDAV d'un document.

Epoque du terme

1998

en lire plus

Classé sous :

DAV

En d'autres termes

Distributed Authoring and Versioning

Définition

Cf WebDAV.

Epoque du terme

1998

Marques les plus citées

toutes les marques

acheter sur OSInet

Accès direct

Recherche

Le mot du jour

PTO

Patent and Trademark Office

in Organisations | nn | en

Office étatsunien des brevets et marques. Section polémique C'est cet organisme qui a autorisé les premiers brevets concernant les logiciels, à l'encontre des recommandations des experts. Le…

Dernières définitions

Chrome - Chromium - digitaalinen kuilu - ghetto sharding - HTTP - MongoDB - PNaCl - QUIC - Skia - SPDY

Un mot au hasard

CIE : Carta Identità Elettronica Â

Alertes CERTA

plus