Annuaire webUn annuaire web, répertoire web, annuaire Internet ou répertoire Internet est un site web proposant une liste classée de sites Web. Le classement se fait typiquement dans une arborescence de catégories, censée couvrir tout ou partie des centres d'intérêt des visiteurs. Chaque catégorie contient des sous-catégories concernant des aspects plus pointus d'un sujet donné et des hyperliens vers les sites agrémentés d'une description.
Google ChromeChrome est un navigateur web propriétaire développé par Google depuis 2008, basé sur le projet libre Chromium fonctionnant sous Windows, Mac, Linux, Android et iOS. Il est annoncé le , la veille de la sortie de la première version bêta. La première version stable est quant à elle dévoilée le . Selon l'institut StatCounter, Google Chrome devient en le navigateur le plus utilisé dans le monde, avec environ un tiers des utilisateurs. En mars 2021, sa part de marché est de plus de 65 % toutes plateformes confondues.
Hébergeur webUn hébergeur web est une entreprise qui fournit l'hébergement sur Internet de systèmes informatiques divers, tels que sites web, stockage d'information, messagerie électronique, etc. à des personnes, associations, projets ou autres entités qui ne désirent pas le faire par leurs propres moyens. Cet hébergement se fait en général au sein d'un parc de serveurs informatiques qui bénéficie 24 heures sur 24 d'une connexion à Internet de haut débit pour offrir un accès rapide aux clients ou à tous les internautes selon le type de service rendu.
Designvignette|Chaise de Charles Rennie Mackintosh, 1897. Le design, le stylisme ou la stylique est une activité de création souvent à vocation industrielle ou commerciale, pouvant s’orienter vers les milieux sociaux, politiques, scientifiques et environnementaux. Le but premier du design est d’inventer, d’améliorer ou de faciliter l’usage ou le processus d’un élément ayant à interagir avec un produit ou un service matériel ou virtuel.
UBlock OriginuBlock Origin est une extension libre pour les navigateurs web Mozilla Firefox, Google Chrome, Opera et Microsoft Edge chargée de filtrer le contenu des pages web afin d'en bloquer certains éléments, en particulier les bannières de publicité. En plus d'être un logiciel antipub, uBlock bloque la collecte des données de navigation. uBlock Origin a reçu des prix de sites web qui traitent de l’informatique et se trouve être faible consommateur de mémoire vive par rapport aux autres extensions aux fonctionnalités similaires.
Rich Internet applicationUne rich Internet application (RIA), ou application Internet riche, est une application Web qui offre des caractéristiques similaires aux logiciels traditionnels installés sur un ordinateur. La dimension interactive et la vitesse d'exécution sont particulièrement soignées dans ces applications Web. Une RIA peut être : exécutée sur un navigateur Web. Aucune installation n'est requise ; exécutée localement dans un environnement sécurisé appelé sandbox (bac à sable).
Microsoft ServersMicrosoft Servers (anciennement Windows Server System) est une marque regroupant des logiciels pour les serveurs de la société Microsoft. Cela inclut les éditions spécifiques de Microsoft Windows et les outils permettant de les administrer.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
Site web personnelUn site web personnel est un type de site web rédigé, conçu, et mis en ligne par une personne en particulier. Les sites personnels peuvent prendre différentes formes, allant de la simple page web, à un ensemble de pages structurées pour former un site entier, avec éventuellement une base de données. Les sites personnels sont souvent réalisés dans une démarche amateur, comme un loisir, pour s'y présenter (notamment avec un CV) et présenter sa famille et ses amis, parler de ses passions, exprimer ses opinions, partager son album photo, montrer son travail artistique.
Proxythumb|300px|right|Représentation schématique d'un serveur proxy où l'ordinateur placé au milieu agit comme intermédiaire entre deux autres ordinateurs. Un proxy ( « mandataire ») est un composant logiciel informatique qui joue le rôle d'intermédiaire en se plaçant entre deux hôtes pour faciliter ou surveiller leurs échanges. Dans le cadre plus précis des réseaux informatiques, un proxy est alors un programme servant d'intermédiaire pour accéder à un autre réseau, généralement Internet.
