. Le dual du dual est le primal. Démonstration . On donne la preuve dans le cas d’un programme linéaire... ( y *). Démonstration . On établit la preuve pour un programme linéaire sous forme standard. Si le problème primal admet... programmation linéaire... Cet article expose les concepts fondamentaux de la programmation linéaire qui consiste à minimiser...
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.
. Les nombreux échecs enregistrés récemment dans de grands programmes en sont une preuve évidente. Une approche... distantes ou l’exécution à distance de programmes. Ces technologies reposent sur l’ajout à un système d... ) qui permettent la mise en œuvre des différents composants de l’application par des langages de programmation... des méthodes de conception (OMT, UML), des langages de programmation (C++, Java), des interfaces graphiques...
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.
preuve de programme... une introduction sur un exemple très simple de preuve d’un petit programme fonctionnel. Une deuxième partie... de Coq et des précisions sur l’évolution de cet outil. La preuve de correction d’un programme... mathématiques et spécification formelle de programmes, outils pour la preuve interactive, etc. L’exemple proposé...
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.
Vous devez bâtir la structure documentaire de votre système de management de la qualité. Avant de vous lancer dans la rédaction « en masse » des documents, il est important de bien identifier les exigences normatives relatives à la documentation.
Cette fiche vous présente les exigences normatives à prendre en compte concernant la documentation de votre système qualité et les clés pour identifier la documentation utile à votre entreprise.
Les fiches pratiques répondent à des besoins opérationnels et accompagnent le professionnel en le guidant étape par étape dans la réalisation d'une action concrète.
Dans le chapitre 7.5 de la norme ISO 14001 version 2015, il est précisé que les informations documentées (et c’est la nouveauté de la version 2015 puisqu’on ne parle plus de procédures ou d’enregistrements, mais bien d’informations documentées, excepté dans la note du paragraphe 8.1) doivent être présentes dans le système de management environnemental. Par ailleurs, l’étendue est fonction de différents critères d’importance dans l’organisme, pour répondre aux exigences de ladite norme et pour assurer l’efficacité du SME de l’organisme si ces informations documentées sont jugées nécessaires.
Cette fiche vous présente les étapes de la mise en place et du maintien des informations documentées du SME.
Les fiches pratiques répondent à des besoins opérationnels et accompagnent le professionnel en le guidant étape par étape dans la réalisation d'une action concrète.
La norme ISO 19011 fournit les lignes directrices pour la planification et la réalisation des audits ainsi que pour la qualification et l’évaluation des auditeurs. Elle est applicable dans le cadre d’audits internes (dits de première partie), d’audits fournisseurs (dits de seconde partie), ou d’audits de certification ou de vérification réglementaire (de tierce partie).
Depuis sa première publication en 2002, la norme ISO 19011 a fait l’objet de deux révisions, en 2012, puis en 2018 à la suite des révisions des référentiels de systèmes de management auxquels elle est associée.
La norme ISO 19011 n’est pas une norme d’exigences en vue d’une certification, elle fournit des lignes directrices concernant les principes de l’audit, le management d’un programme d’audit, la réalisation d’un audit et la compétence et l’évaluation des auditeurs.
Elle est destinée à différents types d’utilisateurs :
Amélioration des performances, Certification ISO 9001, Management intégré...
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
