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 présente Coq, assistant de preuve développé en coordination avec l’Inria, à travers un exemple de vérification d'une fonction de tri. Ensuite sont décrits quelques domaines d'applications, notamment la sûreté du logiciel et la recherche en informatique et en mathématiques. Coq est considéré comme un des outils les plus fiables pour la validation du logiciel, ce qui s’explique par les fondements théoriques de cet outil et son évolution depuis plus de 30 ans de recherche et de développement.
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 des modèles climatiques et hydrologiques sont incertains. Alors, à quelle ampleur de modifications nos sociétés doivent-elles se préparer? Pourquoi établit-on un lien entre changement climatique, eau et sécurité? Le présent article souhaite, après une description des certitudes et des incertitudes sur le changement climatique observé et projeté, notamment par les travaux du GIEC, se focaliser sur l'impact du changement climatique sur le cycle de l'eau et les zones les plus vulnérables pour les sociétés humaines.
TECHNIQUES DE L'INGENIEUR
L'EXPERTISE TECHNIQUE ET SCIENTIFIQUE
DE RÉFÉRENCE
Avec Techniques de l'Ingénieur, retrouvez tous les articles scientifiques et techniques : base de données, veille technologique, documentation et expertise technique
Plus de 10 000 articles de référence, fiches pratiques et articles interactifs validés par les comités scientifiques
Toute l'actualité, la veille technologique, les études de cas et les événements de chaque secteur de l'industrie
SUIVEZ-NOUS
