Resource depletionResource depletion is the consumption of a resource faster than it can be replenished. Natural resources are commonly divided between renewable resources and non-renewable resources (see also mineral resource classification). Use of either of these forms of resources beyond their rate of replacement is considered to be resource depletion. The value of a resource is a direct result of its availability in nature and the cost of extracting the resource, the more a resource is depleted the more the value of the resource increases.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Transition vitreuseLa transition vitreuse est un ensemble de phénomènes physique associés au passage d'un état de liquide surfondu à un état solide, qualifié de vitreux. Elle caractérise le passage entre la forme dure et relativement cassante et la forme « fondue » ou caoutchouteuse d'un matériau amorphe (ou d'un matériau semi-cristallin avec des régions amorphes). Un solide amorphe qui montre une telle forme de transition vitreuse est appelé un verre. Le refroidissement intense d'un liquide visqueux vers sa forme vitreuse est appelé la vitrification.
Software development processIn software engineering, a software development process is a process of planning and managing software development. It typically involves dividing software development work into smaller, parallel, or sequential steps or sub-processes to improve design and/or product management. It is also known as a software development life cycle (SDLC). The methodology may include the pre-definition of specific deliverables and artifacts that are created and completed by a project team to develop or maintain an application.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Destruction de la couche d'ozoneLa destruction (ou dégradation) de la couche d'ozone est un amincissement voire une disparition de cette couche qui résulte d'un déséquilibre entre la production et la destruction de l’ozone dans la stratosphère. L'épaisseur de la couche d'ozone est mesurée en unité Dobson (DU), 1 DU correspondant à molécules d'ozone par mètre carré. Elle varie autour du globe en fonction de la latitude et des saisons. La couche est mince au niveau de l’équateur (environ 270 DU) et plus épaisse au niveau des pôles (environ 300 DU), elle est plus mince en automne et plus épaisse au printemps.
International developmentInternational development or global development is a broad concept denoting the idea that societies and countries have differing levels of economic or human development on an international scale. It is the basis for international classifications such as developed country, developing country and least developed country, and for a field of practice and research that in various ways engages with international development processes. There are, however, many schools of thought and conventions regarding which are the exact features constituting the "development" of a country.
Aide au développementL'aide au développement désigne une action volontaire par un acteur extérieur pour impulser le développement d'un pays tiers (pays en développement). Les conceptions du développement sont nombreuses, les différentes formes de l'aide le sont tout autant. L'aide au développement trouve son origine dans le discours sur l'état de l'Union du président des États-Unis Harry Truman le :Nous devons nous lancer dans un nouveau programme de construction pour mettre les bénéfices de nos avancées scientifiques et de nos progrès industriels au service de l'amélioration et de la croissance des régions sous-développées.
Développement durablevignette|Diagramme de Venn du développement durable, à l'intersection de trois préoccupations, dites « les trois piliers du développement durable ».Les descriptions des intersections partielles peuvent varier. Le développement durable (, parfois traduit par développement soutenable) est une conception du développement qui s'inscrit dans une perspective de long terme et en intégrant les contraintes environnementales et sociales à l'économie.
Langage dédiéUn langage dédié (en anglais, domain-specific language ou DSL) est un langage de programmation dont les spécifications sont conçues pour répondre aux contraintes d’un domaine d'application précis. Il s'oppose conceptuellement aux langages de programmation classiques (ou généralistes) comme Java ou C, qui tendent à traiter un ensemble de domaines. Néanmoins, aucun consensus ne définit précisément ce qu'est un langage dédié. Ce manque de définition précise sur la nature d'un langage dédié rend délicate la tâche d'établir un historique clair sur l'origine du concept.
