Object-modeling languageAn object-modeling language is a standardized set of symbols used to model a software system using an object-oriented framework. The symbols can be either informal or formal ranging from predefined graphical templates to formal object models defined by grammars and specifications. A modeling language is usually associated with a methodology for object-oriented development. The modeling language defines the elements of the model. E.g., that a model has classes, methods, object properties, etc.
Formalism (art)In art history, formalism is the study of art by analyzing and comparing form and style. Its discussion also includes the way objects are made and their purely visual or material aspects. In painting, formalism emphasizes compositional elements such as color, line, shape, texture, and other perceptual aspects rather than content, meaning, or the historical and social context. At its extreme, formalism in art history posits that everything necessary to comprehending a work of art is contained within the work of art.
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.
Expressionnisme abstraitvignette|Cubi VI de David Smith, sculpture expressionniste abstraite exposée au musée d'Israël, à Jérusalem. Lexpressionnisme abstrait est un mouvement artistique qui s'est développé peu après la Seconde Guerre mondiale aux États-Unis. C'est aussi un élément central de l'école de New York, « école » qui a rassemblé les artistes (poètes, peintres, musiciens...) d'avant-garde actifs à New York et aux États-Unis avant et après la Seconde Guerre mondiale. On parle d'expressionnisme abstrait pour un certain type de peinture, de sculpture et de photographie.
Base de connaissanceUne base de connaissance ou base de connaissances regroupe des connaissances spécifiques à un domaine spécialisé donné, sous une forme exploitable par un ordinateur. Elle peut contenir des règles (dans ce cas, on parle de base de règles), des faits ou d'autres représentations. Si elle contient des règles, un moteur d'inférence peut être utilisé pour déduire de nouveaux faits. Une autre manière de définir une base de connaissance est de dire qu'il s'agit d'une ontologie peuplée par des individus.
Prototypage rapideLe prototypage rapide est une méthode de fabrication commandée par ordinateur, généralement par superposition, qui regroupe un ensemble d’outils, lesquels, agencés entre eux, permettent d’aboutir à des projets de représentation intermédiaire de la conception de produits : les modèles numériques (au sens géométrie du modèle), les maquettes, les prototypes et les préséries. Le prototypage rapide peut se définir comme . Le prototypage rapide peut désigner la fabrication additive (couramment appelée « impression 3D »), des méthodes soustractives (par exemple fraisage ou tournage) ou de thermoformage.
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.
Spirale logarithmiqueUne spirale logarithmique est une courbe dont l'équation polaire est de la forme : où a et b sont des réels strictement positifs (b différent de 1) et la fonction exponentielle de base b. Cette courbe étudiée au a suscité l'admiration de Jacques Bernoulli pour ses propriétés d'invariance. On la trouve dans la nature, par exemple dans la croissance de coquillages ou pour la disposition des graines de tournesol. Le nom de spirale logarithmique lui est donné par Pierre Varignon.
Langage formelUn langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées.
Société de conseilUne société de conseil ou cabinet de consulting ou encore un cabinet de conseil est une entreprise qui emploie des consultants qui vendent des avis ou des recommandations sur ce qu'il convient de faire dans une organisation pour en améliorer un aspect. Les services de ces sociétés visent à améliorer le fonctionnement et la performance, actuels ou futurs, d'une organisation publique ou privée : entreprise, association, ministère, collectivité territoriale, syndicat, etc.