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.
Nombre de sujets nécessairesEn statistique, la détermination du nombre de sujets nécessaires est l'acte de choisir le nombre d'observations ou de répétitions à inclure dans un échantillon statistique. Ce choix est très important pour pouvoir faire de l'inférence sur une population. En pratique, la taille de l'échantillon utilisé dans une étude est déterminée en fonction du coût de la collecte des données et de la nécessité d'avoir une puissance statistique suffisante.
Problème du vendeur de journauxLe problème dit « problème du vendeur de journaux » est un modèle mathématique simple en recherche opérationnelle (microéconomie) concernant le volume économiquement optimal du stock d’un bien qui sera proposé à une demande aléatoire. L’analyse de ce problème académique montre que, lorsque des phénomènes stochastiques interviennent dans les données d’un problème d’optimisation, le fait de remplacer ces variables aléatoires par leurs espérances respectives dénature les résultats et conduit à une sous-optimisation.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Qualité logicielleEn informatique et en particulier en génie logiciel, la qualité logicielle est une appréciation globale d'un logiciel, basée sur de nombreux indicateurs. La complétude des fonctionnalités, la correction et précision des résultats, la fiabilité, la tolérance de pannes, la facilité et la flexibilité de son utilisation, la simplicité, l'extensibilité, la compatibilité et la portabilité, la facilité de correction et de transformation, la performance, la cohérence et l'intégrité des informations qu'il contient sont tous des facteurs de qualité.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Inventory management softwareInventory management software is a software system for tracking inventory levels, orders, sales and deliveries. It can also be used in the manufacturing industry to create a work order, bill of materials and other production-related documents. Companies use inventory management software to avoid product overstock and outages. It is a tool for organizing inventory data that before was generally stored in hard-copy form or in spreadsheets.
Vendor Managed Inventoryvignette|Conveyor system at Chivas Brothers Ltd in Dumbarton, Scotland,Auteur :Bridgeland 2008-12-10 Vendor Managed Inventory (VMI) est une méthode permettant de réduire le coût du capital en diminuant les stocks. Le fournisseur dispose d’un aperçu de l’état des entrepôts et s’assure que ceux-ci ne dépassent pas les limites maximum et minimum fixées. Les données de stock sont partagées et mises à jour régulièrement. Les deux parties disposent ainsi des mêmes informations pour leur planification.
Industrie alimentaireLindustrie alimentaire est une filière mondialisée et complexe de personnes et d'entreprises fournissant la plupart des aliments consommés par la population mondiale (de la fourche à la fourchette et en amont et en aval de ce vaste segment économique). Première industrie mondiale à la fin du , elle doit répondre à un besoin vital (manger). Elle le fait via des filières orientées vers la production, la distribution, la transformation, la préparation, la conservation, le transport, la certification et le conditionnement de denrées alimentaires.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
