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.
En tant que responsable ou animateur qualité, il vous appartient d’être force de proposition dans le choix et la définition des indicateurs de performance de votre entreprise et de leur communication, au moins dans le cadre du système de management de la qualité.
Cette fiche vous aide, en suivant une logique PDCA, à :
Une de vos missions comme Responsable Qualité est de vous assurer de l’efficacité et de l’efficience des processus du système de management de la qualité dont vous êtes garant. Il vous faut également fournir à votre Comité directeur tous les éléments susceptibles de permettre la mise en œuvre de mesures d’amélioration de l’efficacité et de l’efficience de ces processus à partir d’analyses factuelles
Cette fiche pratique vous propose une synthèse des principaux éléments à maîtriser pour mettre en place les dispositifs pertinents nécessaires à la mesure et à la surveillance de l’efficacité et de l’efficience des processus et à leur amélioration continue.
La visualisation d’indicateurs est à la base du fonctionnement en management visuel. Il a pour objectif de faciliter la réactivité de ses collaborateurs sur des bases les plus objectives possibles, ainsi que la prise de décision. Le support habituel utilisé pour la visualisation prend la forme de tableaux d’affichage qui se trouvent à des endroits stratégiques, c’est-à-dire accessibles et vus par le plus grand nombre de personnes concernées.
En management de projet, il s’agit de tableaux d’indicateurs d’avancement et de gestion de ressources, ce qui permet de répondre à des besoins de communication dans les projets ayant pour finalité de faciliter la prise de décision et la réactivité collective.
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
