UML (informatique)Le Langage de Modélisation Unifié, de l'anglais Unified Modeling Language (UML), est un langage de modélisation graphique à base de pictogrammes conçu comme une méthode normalisée de visualisation dans les domaines du développement logiciel et en conception orientée objet. L'UML est une synthèse de langages de modélisation objet antérieurs : Booch, OMT, OOSE. Principalement issu des travaux de Grady Booch, James Rumbaugh et Ivar Jacobson, UML est à présent un standard adopté par l'Object Management Group (OMG).
Domain-specific modelingDomain-specific modeling (DSM) is a software engineering methodology for designing and developing systems, such as computer software. It involves systematic use of a domain-specific language to represent the various facets of a system. Domain-specific modeling languages tend to support higher-level abstractions than general-purpose modeling languages, so they require less effort and fewer low-level details to specify a given system.
Design de produitsthumb|Fauteuils design Le design de produits est une conception d'objets usuels répondant à des fonctions au service de l'homme. Plusieurs établissements proposent aujourd'hui un DNMADE (anciennement BTS) design de produits. Design et marketing : Fondements et Méthodes, L'Harmattan, 2007, p.383 Jean-Jacques Urvoy, Sophie Sanchez, Le designer: De la conception à la mise en place du projet, Eyrolles, 2011, p.127 École Boulle, les ateliers et formations au design de produits École supérieure de Design des Lan
Metal-phosphine complexA metal-phosphine complex is a coordination complex containing one or more phosphine ligands. Almost always, the phosphine is an organophosphine of the type R3P (R = alkyl, aryl). Metal phosphine complexes are useful in homogeneous catalysis. Prominent examples of metal phosphine complexes include Wilkinson's catalyst (Rh(PPh3)3Cl), Grubbs' catalyst, and tetrakis(triphenylphosphine)palladium(0). Many metal phosphine complexes are prepared by reactions of metal halides with preformed phosphines.
Connecteur logiqueEn logique, un connecteur logique est un opérateur booléen utilisé dans le calcul des propositions. Comme dans toute approche logique, il faut distinguer un aspect syntaxique et un aspect sémantique. D'un point de vue syntaxique, les connecteurs sont des opérateurs dans un langage formel pour lesquels un certain nombre de règles définissent leur usage, au besoin complétées par une sémantique. Si l'on se place dans la logique classique, l'interprétation des variables se fait dans les booléens ou dans une extension multivalente de ceux-ci.
Vérité logiqueLa vérité logique est l'un des concepts les plus fondamentaux de la logique. D'une manière générale, une vérité logique est une proposition qui est vraie indépendamment de la vérité ou la fausseté de ses propositions constitutives. En d'autres termes, une vérité logique est une affirmation qui n'est pas seulement vraie, mais qui est vraie sous toutes les interprétations de ses composants logiques (autres que ses constantes logiques). Ainsi, des vérités logiques telles que "si p, alors p" peuvent être considérées comme des tautologies.
Déduction logiqueLa déduction logique est un type de relation que l'on rencontre en logique mathématique. Elle relie des propositions dites prémisses à une proposition dite conclusion et préserve la vérité. Prémisses et conclusion qui sont ainsi reliées par une règle de déduction, assurent que si la règle est valide et si les prémisses sont vraies, la conclusion est elle aussi vraie. On dit alors que la conclusion est une conséquence des prémisses, ou parfois que la conclusion vient des prémisses.
Organopalladium chemistryOrganopalladium chemistry is a branch of organometallic chemistry that deals with organic palladium compounds and their reactions. Palladium is often used as a catalyst in the reduction of alkenes and alkynes with hydrogen. This process involves the formation of a palladium-carbon covalent bond. Palladium is also prominent in carbon-carbon coupling reactions, as demonstrated in tandem reactions. 1873 - A. N. Zaitsev reports reduction of benzophenone over palladium with hydrogen.
Conjonction logiqueEn logique, la conjonction est une opération mise en œuvre par le connecteur binaire et. Le connecteur et est donc un opérateur binaire qui lie deux propositions pour en faire une autre. Si on admet chacune des deux propositions, alors on admettra la proposition qui en est la conjonction. En logique mathématique, le connecteur de conjonction est noté soit &, soit ∧. En théorie de la démonstration, plus particulièrement en calcul des séquents, la conjonction est régie par des règles d'introduction et des règles d'élimination.
Modélisation de processusLa modélisation de processus (en anglais, business process modeling ou BPM) consiste à structurer et à représenter les activités d'une organisation, généralement en utilisant une notation graphique pour représenter visuellement l'enchaînement des activités. La modélisation peut s'appuyer sur des méthodes et outils spécialisés, et mettre en œuvre des cadres de références de processus.
