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).
Croissance économiquethumb|upright=2|Contribution (en %) de la croissance des pays à celle mondiale (2011). La croissance économique désigne la variation positive de la production de biens et de services dans une économie sur une période donnée, généralement une longue période. En pratique, l'indicateur le plus utilisé pour la mesurer est le produit intérieur brut (PIB). Il est mesuré « en volume » ou « à prix constants » pour corriger les effets de l'inflation. Le taux de croissance, lui, est le taux de variation du PIB.
Post Office ProtocolEn informatique, le POP (Post Office Protocol, littéralement « protocole de bureau de poste »), est un protocole qui permet de récupérer les courriers électroniques situés sur un serveur de messagerie électronique. En dehors d'un paramétrage spécifique, POP se connecte au serveur de messagerie, s'authentifie, récupère le courrier, « peut » effacer le courrier sur le serveur, et se déconnecte. Il est important de savoir, que tout comme IMAP, l'autre protocole de relève de mails, POP permet tout à fait de lire ses courriers électroniques depuis différents appareils, (ordinateurs, smartphones, messagerie web).
Pays mégadiversLes pays mégadivers sont un groupe de pays dans lequel la majorité des espèces végétales et animales présentes sur Terre sont représentées ; ils sont donc considérés comme les plus riches de la planète en matière de diversité biologique. Ce concept a été développé par Russell Alan Mittermeier en 1988, à partir d’une analyse préliminaire des priorités vis-à-vis de la protection des primates dans le monde. La mégadiversité se traduit par une grande biodiversité. Le critère principal est l'endémisme au niveau des espèces, des genres et des familles.
Commerce de proximitéLe commerce de proximité désigne les commerces pratiquant la vente au détail dans lesquels le consommateur se rend fréquemment, voire quotidiennement ; il inclut également des commerces implantés dans certaines rues ou quartiers commerçants des villes. On parle par exemple de commerce de proximité concernant les boulangeries, librairies indépendantes, épiceries, drogueries ou cordonneries.
Indicateur de progrès véritableL'indicateur de progrès véritable (IPV) est un indicateur alternatif au produit intérieur brut (PIB) ou à l'indice de développement humain (IDH) pour tenter de mesurer l'évolution du bien-être réel d'un pays. Alors que le PIB ne mesure que l'activité économique monétaire, l'indicateur de progrès véritable : ajoute au PIB la valeur estimée des activités économiques non monétaires, comme le travail domestique ou les activités bénévoles ; retranche du PIB la valeur estimée des richesses naturelles perdues (dommages à l'environnement, destruction des ressources non renouvelables, etc.
Net outputNet output is an accounting concept used in national accounts such as the United Nations System of National Accounts (UNSNA) and the NIPAs, and sometimes in corporate or government accounts. The concept was originally invented to measure the total net addition to a country's stock of wealth created by production during an accounting interval. The concept of net output is basically "gross revenue from production less the value of goods and services used up in that production".
Economic securityEconomic security or financial security is the condition of having stable income or other resources to support a standard of living now and in the foreseeable future. It includes: probable continued solvency predictability of the future cash flow of a person or other economic entity, such as a country employment security or job security Financial security more often refers to individual and family money management and savings. Economic security tends to include the broader effect of a society's production levels and monetary support for non-working citizens.
Science formelleLes sciences formelles (ou sciences logico-formelles) explorent déductivement, selon des règles de formation et de démonstration, des systèmes axiomatiques. Les sciences formelles regroupent les mathématiques, la logique et l'informatique théorique. L'algèbre est la branche des mathématiques qui étudie les structures algébriques, indépendamment de la notion de limite (rattachée à l'analyse) et de la notion de représentation graphique (rattachée à la géométrie).
Analyse de cause racineL'analyse de cause racine (ACR ; ) est une démarche de résolution de problème partant du constat qu'il est plus judicieux de traiter les causes d'un problème que d'en traiter les symptômes immédiats. En effet, l'analyse des causes d'un problème permet d'en déterminer une solution définitive, et donc, empêcher qu'il ne se reproduise de nouveau. L’ACR est un processus itératif d'amélioration continue. Résolution de problème QQOQCCP Diagramme d'Ishikawa Arbre des causes Arbre de défaillances Cinq pourquoi Diag
