#

Preuve

Preuve dans l'actualité

PublicitéDevenez annonceur

Toute l'actualité


Preuve dans les livres blancs


Preuve dans les conférences en ligne


Preuve dans les ressources documentaires

  • Article de bases documentaires
  • |
  • 10 août 2017
  • |
  • Réf : H3310

Coq, assistant de preuve

assistant de preuve... preuve de programme... Un assistant de preuve est un logiciel interactif permettant à son utilisateur de construire... 'outil est utile à la vérification de logiciel critique. Cet article présente Coq, assistant de preuve développé...

Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.

  • Article de bases documentaires
  • |
  • 10 août 2013
  • |
  • Réf : H3882

Validation des algorithmes en UML et OCL

Preuve de programme... . Mais ces techniques de preuve, basées sur la logique des prédicats, peuvent-elles s'appliquer à des langages métiers... de raisonnement et de preuve basées sur la logique des prédicats ? C'est la question qui est en fait posée... , dans cet article, on s'intéresse aux techniques de preuves de programmes qui amènent les programmeurs à raisonner...

Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.

  • Article de bases documentaires
  • |
  • 10 nov. 2006
  • |
  • Réf : TR850

Traçabilité des échanges électroniques et droit

frauduleuse de numéro de carte bancaire pour une transaction en ligne ( phishing [2] Le juge et la preuve... au domicile d’une personne ou dans une entreprise [3] Le juge et la preuve électronique, . Pour ce faire... , ...). Bref, l’utilisation de moyens de traçabilité sert à la constitution de preuves numériques et parfois... administrative ou commerciale, la preuve est libre. Le formalisme du droit civil n’est pas toujours transposable...

Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.

  • Article de bases documentaires : FICHE PRATIQUE
  • |
  • 04 sept. 2012
  • |
  • Réf : 0925

Spécificités du management du risque projet (MRP)

Cette fiche explique en quoi la gestion du risque projet dépasse le caractère sectoriel du risque et la simple gestion des dérives de performances, de coûts et de délais. Elle propose des objectifs clairs du management du risque projet, y compris dans sa phase d’exécution. Elle montre toute la complexité du thème et la nécessité de ne pas s’appuyer exclusivement sur des techniques d’ingénierie comme l’Amdec, les arbres de défaut, etc.

Gestion et pilotage du projet : les fiches pour évaluer, planifier, communiquer, capitaliser

  • Article de bases documentaires : FICHE PRATIQUE
  • |
  • 29 oct. 2012
  • |
  • Réf : 1023

Instaurer le knowledge management à l’heure des réseaux sociaux d’entreprise

La présence des réseaux sociaux dans nos environnements personnels et professionnels soulève de nombreuses questions et donne lieu à des initiatives où l’avantage concurrentiel est observé.

Au-delà de la curiosité et des craintes, quels changements cette réalité à la fois technologique et relationnelle induit-elle dans nos organisations professionnelles, en particulier vis-à-vis des processus de management des connaissances ? Quels en sont les enjeux immédiats et de demain ? Comment procéder pour une intégration raisonnée et pragmatique de ces technologies, de ces nouveaux modes d’échanges et de partage d’information et de connaissances ?

Nous vous proposons une approche permettant d’interroger les bénéfices et les risques des réseaux sociaux d’entreprise (RSE), d’en évaluer l’impact à partir de scénarios définis dans votre environnement :

  • contribution à la création de valeur (relations, connaissances, produits, services) ;
  • contribution à la dynamique et l’évolution des approches classiques et fondamentales du KM ;
  • valorisation et explicitation des savoirs actuels à des fins d’efficacité individuelle et collective, d’image et de créativité.

Toutes les clefs pour maitriser la veille technologique

  • Article de bases documentaires : FICHE PRATIQUE
  • |
  • 24 oct. 2019
  • |
  • Réf : 1677

Organiser le management des risques et opportunités du projet ; les évaluer

Pour autant, la nature du management des risques, son périmètre, les parties prenantes indispensables et optionnelles, ses relations avec d’autres dimensions du management du risque comme la sûreté de fonctionnement (SdF) sont souvent flous. En particulier, le caractère offensif (gestion des opportunités et prise de risque), la déclinaison particulière à un projet donné de recommandations génériques (risk policy) propres à l’organisation et l’adéquation des outils au contexte ainsi que l’efficacité opérationnelle des réponses possibles sont trop de points faibles dans la pratique du management du risque projet.

Un risque comporte trois composants majeurs :

  • un événement ;
  • une probabilité d’occurrence ;
  • l’impact de cet événement (financier en particulier).

Le risque peut être positif (opportunité) comme négatif.

Il est important d’évaluer les risques et opportunités (R&O) du projet, comme le propose le PMI (Project Management Institute), en opérant une analyse qualitative et quantitative si besoin.

Cette fiche pratique donne des clés de clarification et des pistes pour la définition du plan de management des risques et opportunités d’un projet (MROP) et leur évaluation

Gestion et pilotage du projet : les fiches pour évaluer, planifier, communiquer, capitaliser


INSCRIVEZ-VOUS AUX NEWSLETTERS GRATUITES !