- ARTICLE INTERACTIF
|- 10 janv. 2019
|- Réf : AG5190
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.
- Article de bases documentaires
|- 10 août 2017
|- Réf : H3310
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.
- Article de bases documentaires
|- 10 mars 2015
|- Réf : P4242
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.
- Article de bases documentaires : FICHE PRATIQUE
- |
- 27 janv. 2015
- |
- Réf : 1461
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.