Interaction techniqueAn interaction technique, user interface technique or input technique is a combination of hardware and software elements that provides a way for computer users to accomplish a single task. For example, one can go back to the previously visited page on a Web browser by either clicking a button, pressing a key, performing a mouse gesture or uttering a speech command. It is a widely used term in human-computer interaction. In particular, the term "new interaction technique" is frequently used to introduce a novel user interface design idea.
Architecture classiquevignette|Villa Rotonda (1566-1571), par Palladio. L'architecture classique désigne un style architectural qui s'inspire directement de l'antiquité gréco-romaine, dans le contexte de la Renaissance. Partie d'Italie au , sous l'impulsion notamment de Bramante et Palladio, ce style architectural va se répandre dans toute l'Europe au , avant de se transformer en néo-classicisme au . L'architecture classique est parfois opposé au style baroque, mais cet antagonisme est à nuancer dans la mesure où l'on trouve de nombreuses interférences entre les deux styles, le baroque s'inspirant également de l'antiquité gréco-romaine.
Architecture néo-classiquethumb|La Rotunda Santa Marija de Mosta, à Malte, est construite à partir de 1833. Larchitecture néo-classique est un courant architectural procédant du néo-classicisme de la seconde moitié du et du début du . Succédant au classicisme, à l’architecture baroque et rococo, l'architecture néo-classique utilise les éléments gréco-romains (colonnes, fronton, proportions harmonieuses, portique) et se met au service du politique. La découverte et les fouilles des sites de Pompéi et Herculanum remirent au goût du jour les formes antiques.
New Classical architectureNew Classical architecture, New Classicism or Contemporary Classical architecture is a contemporary movement in architecture that continues the practice of Classical architecture. It is sometimes considered the modern continuation of Neoclassical architecture, even though other styles might be cited as well, such as Gothic, Baroque, Renaissance or even non-Western styles – often referenced and recreated from a postmodern perspective as opposed to being strict revival styles.
Ordre architecturalthumb|upright=1|Chapiteaux de formes classiques (extrait de l’Encyclopédie, vol. 18) : a. toscan, b. dorique, c. ionique, d. ionique moderne, e. corinthien, f. composite L'ordre, en architecture, détermine les proportions, les formes et l’ornementation de toute partie construite en élévation (en particulier des colonnes, sans que leur présence soit impérative, des pilastres, des supports, des entablements). Les Grecs n’en reconnaissaient que trois : l’ordre dorique, l’ordre ionique et l’ordre corinthien, les Romains en ont ajouté deux : l’ordre toscan et l’ordre composite.
SystèmeUn système est un ensemble d' interagissant entre eux selon certains principes ou règles. Par exemple une molécule, le système solaire, une ruche, une société humaine, un parti, une armée etc. Un système est déterminé par : sa frontière, c'est-à-dire le critère d'appartenance au système (déterminant si une entité appartient au système ou fait au contraire partie de son environnement) ; ses interactions avec son environnement ; ses fonctions (qui définissent le comportement des entités faisant partie du système, leur organisation et leurs interactions) ; Certains systèmes peuvent également avoir une mission (ses objectifs et sa raison d'être) ou des ressources, qui peuvent être de natures différentes (humaine, naturelle, matérielle, immatérielle.
Design numériquevignette|366x366px Incluant l’ensemble des pratiques utilisant des matières informatisées comme moyen et comme fin dans la conception, le design numérique (également appelé design d'interaction ou design interactif) définit les structures et comportements de systèmes interactifs. Apparaissant comme un nouveau champ issu de la révolution numérique, il réinvente la manière de façonner le design en mettant l’accent sur l’expérience de l’acteur et non l’objet en soi.
Vérification de modèlesthumb|308x308px|Principe du model checking. En informatique, la vérification de modèles, ou model checking en anglais, est le problème suivant : vérifier si le modèle d'un système (souvent informatique ou électronique) satisfait une propriété. Par exemple, on souhaite vérifier qu'un programme ne se bloque pas, qu'une variable n'est jamais nulle, etc. Généralement, la propriété est écrite dans un langage, souvent en logique temporelle. La vérification est généralement faite de manière automatique.
Antiquité classiquethumb|L'acropole d'Athènes, haut lieu de l'Antiquité classique : le Parthénon et de l'Érechthéion. Le terme Antiquité classique s'oppose à Antiquité tardive et renvoie à l'histoire et à l'héritage de la civilisation gréco-romaine. Il est surtout employé dans les découpes historiques relatives à l'historiographie anglo-saxonne (historiens anglais et américains principalement) pour décrire la période de l'Antiquité correspondant au développement des civilisations de la Grèce antique et de la Rome antique.
Interactions homme-machinethumb|Personne plongée dans la réalité virtuelle grâce à un visiocasque et un gant électronique. thumb|L'interface homme-machine d'un des ordinateurs de bord des missions Apollo. L'interaction Homme-machine (ou interaction humain-machine), appelée IHM, s’intéresse à la conception et au développement de systèmes interactifs en prenant en compte ses impacts sociétaux et éthiques. Les humains interagissent avec les ordinateurs qui les entourent et cette interaction nécessite des interfaces qui facilitent la communication entre l'humain et la machine.
Architecture romainethumb|300px|L'architecture du Panthéon de Rome illustre le mélange du classicisme hérité de la Grèce et l'ajout de nouvelles techniques de construction typiquement romaines comme le dôme, la voûte et l'arche. thumb|300px|Le pont du Gard, aqueduc alimentant la cité romaine de Nemausus (Nîmes) : l'architecture romaine monumentale au service de la santé publique.
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).
Client-serveurLe protocole ou environnement client–serveur désigne un mode de transmission d'information (souvent à travers un réseau) entre plusieurs programmes ou processus : l'un, qualifié de client, envoie des requêtes ; l'autre, qualifié de serveur, attend les requêtes des clients et y répond. Le serveur offre ici un service au client. Par extension, le client désigne souvent l'ordinateur sur lequel est exécuté le logiciel client, et le serveur, l'ordinateur sur lequel est exécuté le logiciel serveur.
Systems designSystems design interfaces, and data for an electronic control system to satisfy specified requirements. System design could be seen as the application of system theory to product development. There is some overlap with the disciplines of system analysis, system architecture and system engineering. If the broader topic of product development "blends the perspective of marketing, design, and manufacturing into a single approach to product development," then design is the act of taking the marketing information and creating the design of the product to be manufactured.
Token ringLe token ring ou anneau à jeton est une topologie de réseau associée à un protocole de réseau local qui fonctionne sur la couche « liaison » du modèle OSI. Le protocole utilise une trame spéciale de trois octets, appelée jeton, qui circule dans une seule direction autour d'un anneau. Les trames token ring parcourent l'anneau dans un sens qui est toujours le même. Le paradigme est celui du « rond-point », qui se montre généralement capable d'écouler un débit plus grand qu'un « carrefour », toutes choses égales par ailleurs.
Structure de KripkeUne structure de Kripke est un modèle de calcul, proche d'un automate fini non déterministe, inventé par Saul Kripke. Elle est utilisée par exemple dans le model checking pour représenter le comportement d'un système. C'est un graphe orienté dont les nœuds représentent les états accessibles du système et dont les arcs représentent les transitions entre les états. Une fonction d'étiquetage fait correspondre à chaque état un ensemble de propositions logiques vraies dans cet état.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Serveur informatiquethumb|Des serveurs empilés. Un serveur informatique est un dispositif informatique (matériel et logiciel) qui offre des services à un ou plusieurs clients (parfois des milliers). Les services les plus courants sont : l'accès aux informations du World Wide Web ; le courrier électronique ; le partage de périphériques (imprimantes, disque durs) ; le commerce électronique ; le stockage en base de données ; la gestion de l'authentification et du contrôle d'accès ; le jeu et la mise à disposition de logiciels applicatifs.
Token passingOn a local area network, token passing is a channel access method where a packet called a token is passed between nodes to authorize that node to communicate. In contrast to polling access methods, there is no pre-defined "master" node. The most well-known examples are IBM Token Ring and ARCNET, but there were a range of others, including FDDI (Fiber Distributed Data Interface), which was popular in the early to mid 1990s.
Client (informatique)thumb|Modèle Client-serveur Dans un réseau informatique, un client est le logiciel qui envoie des demandes à un serveur. Il peut s'agir d'un logiciel manipulé par une personne, ou d'un bot. Est appelé client aussi bien l'ordinateur depuis lequel les demandes sont envoyées que le logiciel qui contient les instructions relatives à la formulation des demandes et la personne qui opère les demandes. L'ordinateur client est généralement un ordinateur personnel ordinaire, équipé de logiciels relatifs aux différents types de demandes qui vont être envoyées, comme un navigateur web, un logiciel client pour le World wide web.
