# Indicateur

Cet article définit le concept du « juste à temps ». Il décrit aussi les divers outils et approches utiles pour sa mise en œuvre, dans le cadre ou non, d’une démarche « qualité totale ». Les problèmes de mesures de performances sont aussi abordés.

Un assistant de preuve est un logiciel interactif permettant à son utilisateur de construire des démonstrations de façon semi-automatique, tout en garantissant la correction de ces démonstrations. Ce type d'outil est utile à la vérification de logiciel critique. Cet article [...]

Au-delà des incertitudes sur les causes, le réchauffement climatique est une certitude. L'élévation de la température moyenne des océans ne laisse aucune ambiguïté sur l'ampleur des modifications à attendre sur le cycle hydrologique. Toutefois , les résultats du couplage [...]

Le réemploi des matériaux s’impose peu à peu dans le bâtiment, mais sa progression reste moins spectaculaire en volume qu’en méthodes. Depuis l’entrée en vigueur...

L’économie spatiale entre dans une nouvelle phase. L’ouverture du capital de SpaceX met en lumière une mutation plus large, celle d’une conquête lunaire dans...

La stratégie climatique française entre dans une phase décisive. Sur le papier, l’ambition progresse, mais la question centrale reste désormais celle de l’exécution...

Le marquage direct est une solution de marquage consistant à « imprimer » directement sur plastique ou sur verre, sans utiliser d’étiquette ni de support. Véritable...