CMS (expérience)L'expérience CMS (du nom du détecteur Compact Muon Solenoid, en français « solénoïde compact à muons ») est une des expériences de physique des particules du Grand collisionneur de hadrons (LHC) du CERN. Le détecteur CMS est situé dans une caverne souterraine à Cessy au point 5, en France, près de la frontière avec la Suisse. Il a été construit et est exploité par environ de presque , appartenant à scientifiques. Le détecteur a une forme cylindrique de de long et de diamètre, et pèse .
Automatisation de testL'automatisation de test permet de jouer à volonté des tests de régression à la suite de la livraison d'une nouvelle version d'une application. L'automatisation d'un test n'a de sens que si le test répond à un certain nombre de critères : le test est systématique : il doit être exécuté à chaque nouvelle version de l'application. le test est répétitif : il est présent dans de nombreux scénarios de test. le test est automatisable : il est possible techniquement de faire jouer le test par un robot.
Tests systèmeLes tests système de logiciel ou de matériel réfèrent à un processus de test d'un système intégré afin d'évaluer sa conformité aux exigences spécifiées. Les tests système appartiennent à la classe des tests de type boîte noire, et en tant que tels, ne devraient exiger aucune connaissance de la conception interne du code ou de la logique. En règle générale, les tests système prennent comme entrée tous les composants logiciels « intégrés » (ayant réussi les tests d'intégration) mais aussi le système logiciel lui-même intégré à n'importe quel système matériel compatible.
Prototypevignette|Photographie d'un prototype BMW : la BMW Nazca C2 Dans le domaine de l'industrie et plus généralement de la recherche et développement (R&D), un prototype est selon la définition de l'OCDE , mais il s'agit aussi parfois d'un exemplaire incomplet (et non définitif) de ce que pourra être un produit (éventuellement de type logiciel, ou de type « service »Djellal, F., Gallouj, C., Gallouj, F., Francoz, D., & Jacquin, Y. (2001).
Module sur un anneauEn mathématiques, et plus précisément en algèbre générale, au sein des structures algébriques, : pour un espace vectoriel, l'ensemble des scalaires forme un corps tandis que pour un module, cet ensemble est seulement muni d'une structure d'anneau (unitaire, mais non nécessairement commutatif). Une partie des travaux en théorie des modules consiste à retrouver les résultats de la théorie des espaces vectoriels, quitte pour cela à travailler avec des anneaux plus maniables, comme les anneaux principaux.
Prototypage logicielLe prototypage logiciel (ou « software prototyping » en anglais) désigne l'ensemble des activités de création de prototypes pour les logiciels, c'est-à-dire des versions incomplètes du programme en cours de développement. Cette activité est donc assez proche de la création et la validation de prototypes, telle qu'on la pratique dans l'industrie. Ainsi, un prototype permet d'explorer de façon interactive des scénarios d'utilisation du produit pour en valider les orientations.
Grand collisionneur de hadronsvignette|Tunnel du LHC avec le tube contenant les électroaimants supraconducteurs. Le Grand collisionneur de hadrons (en anglais : Large Hadron Collider — LHC), est un accélérateur de particules mis en fonction en 2008 au CERN et situé dans la région frontalière entre la France et la Suisse entre la périphérie nord-ouest de Genève et le pays de Gex (France). C'est le plus puissant accélérateur de particules construit à ce jour, a fortiori depuis son amélioration achevée en 2015 après deux ans de mise à l'arrêt.
Test de validationUn test de validation est un type de test informatique qui permet de vérifier si toutes les exigences client, décrites dans le document de spécification du logiciel, sont respectées. Les tests de validation se décomposent généralement en plusieurs phases : Validation fonctionnelle : les tests fonctionnels assurent que les différents modules ou composants implémentent correctement les exigences client. Ces tests peuvent être de type valide, invalide, inopportuns, etc.
Finitely generated moduleIn mathematics, a finitely generated module is a module that has a finite generating set. A finitely generated module over a ring R may also be called a finite R-module, finite over R, or a module of finite type. Related concepts include finitely cogenerated modules, finitely presented modules, finitely related modules and coherent modules all of which are defined below. Over a Noetherian ring the concepts of finitely generated, finitely presented and coherent modules coincide.
Module monogèneEn algèbre, un module monogène est un module qui peut être engendré par un seul élément. Par exemple, un Z-module monogène est un groupe (abélien) monogène. Le concept est analogue à celui de groupe monogène, c'est-à-dire un groupe qui est engendré par un élément. Un R-module gauche M est dit monogène si M peut être engendré par un seul élément, c'est-à-dire s'il existe x dans M tel que M = (x) = Rx = {rx | r ∈ R}. De même, un R-module à droite N est monogène s'il existe y ∈ N tel que N = yR.
