Test et Validation. Tristan Crolard. Laboratoire CEDRIC Equipe CPR. cedric.cnam.fr/cpr/crolard

Dimension: px
Commencer à balayer dès la page:

Download "Test et Validation. Tristan Crolard. Laboratoire CEDRIC Equipe CPR. tristan.crolard@cnam.fr. cedric.cnam.fr/cpr/crolard"

Transcription

1 Test et Validation Tristan Crolard Laboratoire CEDRIC Equipe CPR cedric.cnam.fr/cpr/crolard 1

2 Organisation du cours Cours/ED : 5 séances de 3h Langages de programmations : Java et Ada Exemples et démonstrations d'outils TP : 4 séances de 3h Langage de programmation : Java Plateforme de test : junit et autres plugins Eclipse 2

3 Organisation du cours Séances de cours TP 1. Fondamentaux des tests 1 2. Tester pendant le cycle de vie logiciel 3. Techniques de test Techniques statiques et revues de code Techniques boites noires 2 Techniques boites blanches X Critères de couverture 3 X 4. Gestion des tests X 5. Tester à partir de modèles Modéliser les spécications 4 X Génération automatique de tests X 6. Outils de support aux tests X 7. Méthodes formelles (survol) 5 3

4 Bibliographie Pratique des tests logiciels (Dunod, 2009) J. Printz, J.-F. Peyre. Le test des logiciels (Hermès, 2000) S. Xanthakis, P. Régnier, C. Karapoulios. The art of software testing (Wiley, Second edition 2004) G. J. Meyers. Glossaire des termes utilisés en tests de logiciels. (CFTL/ISTQB, 2007) Comité Français des Tests Logiciels/International Software Testing Qualications Board. 4

5 Test, vérication et validation Terminologie Validation. The assurance that a product, service, or system meets the needs of the customer and other identied stakeholders. It often involves acceptance and suitability with external customers. Verification. The evaluation of whether or not a product, service, or system complies with a regulation, requirement, specication, or imposed condition. It is often an internal process. The PMBOK guide (norme IEEE) 5

6 Test, vérication et validation Citation Verication is building the product right, and Validation is building the right product. B. W. Boehm Verifying and Validating Software Requirements and Design Specications Software Risk Management, pp , IEEE Computer Society Press,

7 Terminologie Extraite des normes IEEE STD 982 et 1044 : ERROR (Erreur) : Human action that results in software containing a fault. E.g. omission or misinterpretation of user requirements in a software specication, and incorrect translation or omission of a requirement in the design specication. DEFECT (Défaut) : A product anomaly; e.g. (1) omissions and imperfections found during early life cycle phases and (2) faults contained in software suciently mature for test or operation. FAULT (Défaillance) : (1) An accidental condition that causes a functional unit to fail to perform its required function. (2) A manifestation of an error in software. A fault if encountered may cause a failure. FAILURE (Panne) : The termination of the ability of a functional unit to perform its required function. A failure may be produced when a fault is encountered. 7

8 Méthodes de vérication et validation Revue de code et de documentation (relecture) Analyse statique (typage, analyse de ot information/contrôle,...) Test (dynamique) Execution symbolique (génération de tests,...) Vérication formelle (model-checking, preuve de programme,...) 8

9 Analyse statique Principalement réalisée par le compilateur vérication de la syntaxe vérication du typage vérication du ot d'information (variables initialisées) vérication du ot de contrôle (code mort) Certains outils existent souvent pour les langages dynamiques (comme python, javascript, php,...) Certains outils permettent de faire des analyses plus nes que celles des compilateurs (par exemple par interprétation abstraite) 9

10 Analyse statique (exemple) Closure : Compilateur javascript de Google https://developers.google.com/closure/compiler/docs/js-for-compiler Extraits de la documentation : The Closure Compiler provides warnings for illegal JavaScript and warnings for potentially dangerous operations, helping you to produce JavaScript that is less buggy and easier to maintain. The Closure Compiler can use data type information about JavaScript variables to provide enhanced optimization and warnings. The Closure Compiler's type language derives from the annotations used by the JSDoc document-generation tool. 10

11 Analyse statique de source JavaScript /** {number x {number */ function foo(x) { return x+2; /** {number x some value {number some result */ function bar(x) { return x+"bar"; Line 14: WARNING - inconsistent return type found : string required: number return x+"bar"; ^ 0 error(s), 1 warning(s), 100.0% typed 11

12 Analyse statique (autre exemple) Phantm : PHP ANALYZER FOR TYPE MISMATCH Extraits de la documentation : Phantm analyzes PHP code statically (with optional help from dynamic instrumention). It has found many errors in real PHP applications. Phantm is a tool written in Scala that can be used to detect potential programming errors inside PHP applications. It will both work for small isolated script as well as full-blown applications. Phantm does multiple things: it first parses your php files, then try to resolve both constants and included les, from that point it will do name analysis, ensuring basic language restrictions. From that stage, it will perform data-ow analysis for every scopes in your applications. This data- ow analysis will be focused on checking whether the types of the values are used in a sound way. 12

13 <?php /** int $x int */ function foo($x) { return ($x + 2); /** int $b */ function bar($b) { return $x+"bar"; Analyse statique de source PHP Line 14 Notice: Type mismatch: expected: Numeric, found: Top return $x+"bar"; 1 notice and 0 error occured. 13

14 Autres exemples récents Facebook Hack: Statically Typed PHP Apple Swift Perl 6 Microsoft TypeScript (javascript) Mypy : experimental optional static type checker for Python 14

15 Test : dénition et citations Testing is the process of analyzing a software item to detect the dierences between existing and required conditions, (that is, bugs) and to evaluate the features of the software items IEEE (Standard Glossary of Software Engineering Terminology). Testing is the process of executing a program with the intent of nding errors. Glenford J. Myers. The Art of Software testing. Wiley, Second edition Testing can reveal the presence of errors but never their absence Edsgar W. Dijkstra. Notes on structured programming. Academic Press,

16 Terminologie [CFTL] Processus de test : processus consistant en toutes les activités du cycle de vie, statiques et dynamiques, concernant la planication et l'évaluation de produits logiciels, pour déterminer s'ils satisfont aux exigences, pour démontrer qu'ils sont aptes aux objectifs et pour en détecter des anomalies. Test : un ensemble d'un ou plusieurs cas de tests [IEEE 829]. Cas de test : un ensemble de valeurs d'entrée (données de tests), de pré conditions d'exécution, de résultats attendus et de post conditions d'exécution, développées pour un objectif particulier, tel qu'exécuter un chemin donné d'un programme ou vérifier le respect d'une exigence spécifique [IEEE 610]. Objectif de test : une raison ou un but pour la conception et l'exécution d'un test. Scénario de test : un document spécifiant la séquence d'actions pour l'exécution d'un cas de test. Stratégie de test : un document de haut niveau dénissant, pour un programme, les tests à exécuter (pour un ou plusieurs projets). 16

17 Cycle de vie du logiciel modèle en V Spécifications Tests de conformité Conception générale Tests d intégration Conception détaillée Tests unitaires Implémentation 17

18 Diérents types de tests En fonction de la granularité Tests unitaires Tests d'intégration Tests de conformité En fonction des caractéristiques Tests de non-régression Tests de robustesse Tests de performance Tests de sécurité... En fonction de l'accessibilité Tests fonctionnels boites noires Tests structurels boites blanches 18

19 Test fonctionnel boites noires Dénition [CFTL] Technique de test où les cas de tests sont élaborés à partir d'une analyse des spécifications des fonctionnalités d'un composant ou système sans référence à sa structure interne. Méthodes du test fonctionnel Test aléatoire Analyse partitionnelle des domaines des données d'entrée (et test aux limites) Test combinatoire Algorithmes Pairwise Génération automatique de tests à partir de spécications 19

20 Test structurel boites blanches Dénition [CFTL] Technique de test où les cas de tests sont basés sur une analyse de la structure interne d'un composant ou système (en général, le code source). Méthodes du test structurel Basés sur le graphe de ot de contrôle (toutes les instructions, toutes les branches, tous les chemins,...) Basés sur la couverture du flot de données (toutes les définitions de variable, toutes les utilisations,...) Remarque. Le test structurel complète le test fonctionnel, il ne peut pas le remplacer (il permet de couvrir le code source existant mais il ne dit rien sur le code source qui peut manquer). 20

21 Le test dans le cadre des logiciels critiques Norme DO-178 : Software Considerations in Airborne Systems and Equipment Certication (Règlementation pour le développement de logiciels dans le secteur aéronautique). Norme EN : Railway applications Software for railway control and protection systems Communication, signalling and processing systems (Domaine ferroviaire Logiciels pour les systèmes de contrôle et de protection ferroviaires Systèmes de signalisation électroniques reliés à la sécurité) 21

22 Norme DO-178 (aéronautique) 6.4 Software Testing Process ::: Test Coverage Analysis Test coverage analysis is a two step process, involving requirements-based coverage analysis and structural coverage analysis. The first step analyzes the test cases in relation to the software requirements to conrm that the selected test cases satisfy the specified criteria. The second step confirms that the requirements-based test procedures exercised the code structure. 22

23 Norme DO-178 (aéronautique) Software Failure Denition Associated Structural Criticality Level Coverage Level Level A Catastrophic: prevents continued safe MC/DC & ight or landing, many fatal injuries Statement Coverage Level B Hazardous/Severe: potential fatal injuries Decision Coverage & to a small number of occupants Statement Coverage Level C Major: impairs crew eciency, discomfort Statement Coverage or possible injuries to occupants Level D Minor: reduced aircraft safety margins None required but well within crew capabilities Level E No Eect: does not eect the safety None required of the aircraft at all 23

24 Norme EN (ferroviaire) Test Coverage Criterion SIL 0 SIL 1 SIL 2 SIL 3 SIL 4 Statement R HR HR HR HR Branch - R R HR HR Compound Condition - R R HR HR Data ow - R R HR HR Path - R R HR HR R : Recommended HR : Highly Recommended 24

25 Why is structural testing not a DO-178B/ED- 12B requirement? (RTCA/DO-248A 1,FAQ #44) There is a distinction between structural coverage analysis and structural testing. The purpose of structural coverage analysis is to determine which code structure was not exercised by the requirements-based test procedures (reference DO-178B/ED-12B Section ). Structural testing is the process of exercising software with test scenarios written from the source code, not from the requirements. Structural testing does not meet the DO-178B/ED-12B objective that all code structure is exercised by the requirements-based test procedures. The correct approach when structural coverage analysis identies untested code is to consider the possible causes in accordance with DO-178B/ED-12B Section If any additional testing is required, it should be requirements-based testing, using high-level, low-level, or derived requirements, as appropriate. 25

26 Structured testing cannot find errors such as the non-implementation of some of the requirements. Since the starting point for developing structural test cases is the code itself, there is no way of nding requirements (highlevel, low-level, or derived) not implemented in the code through structural tests. It is a natural tendency to consider outputs of the actual code (which is de facto the reference for structural testing) as the expected results. This bias cannot occur when expected outputs of a tested piece of code are determined by analysis of the requirements. Since the code itself is used as the basis of the test cases, structural testing may fail to nd simple coding errors. 1. RTCA/DO-248A, Second Annual Report for Clarification of DO-178B "Software Considerations in Airborne Systems and Equipment Certification". RTCA, Inc., Washington, D. C., September 13,

27 Exercice 1 On suppose donné en java une fonction de tri dont le prototype est le suivant : public static void sort( int[] num ) L'exigence de test est la suivante : après un appel à sort le tableau num contient toujours les mêmes éléments, mais classés dans l'ordre décroissant. 1. Proposer des cas de tests pour cette fonction de tri. 2. Compléter les tests en supposant que la fonction est écrite comme suit. 27

28 BubbleSort public static void sort( int[] num ) { int j; boolean ag = true; // set ag to true to begin rst pass int temp; // holding variable while ( ag ) { ag = false; // set ag to false awaiting a possible swap for( j =0; j < num.length -1; j ++ ) { if ( num[ j ] < num[j +1] ) // change to > for ascending sort { temp = num[ j ]; // swap elements num[ j ] = num[ j +1 ]; num[ j +1 ] = temp; ag = true; // shows a swap occurred 28

29 Exercice 2 Même question pour l'implantation suivante des piles : class SimpleStack { private Object[] elems; private int top, max; public SimpleStack (int sz ) { max = sz ; elems = new Object[sz ]; public void push(object obj) { elems[top++] = obj; public Object pop() { return elems[- -top]; public boolean isfull() { return top == max; public boolean isempty () { return top == 0; 29

30 Exigences pour les piles Vérier que top est toujours compris entre 0 et max Vérier qu'une pile est correctement créée si sz est supérieur à 0. ::: Vérier que si on empile un objet sur une pile non pleine, la pile contient alors un élément de plus et son sommet est l'objet empilé. Vérier que si on dépile un objet d'une pile non vide, la pile contient alors un élément de moins et on retourne bien l'ancien sommet de la pile. Vérier que isfull détermine bien si la pile est pleine. Vérier que isempty détermine bien si la pile est vide. 30

31 CleanStack Spécication des piles utilisant invariant et pre/post-conditions : (top >= 0 && top <= max) */ class CleanStack { private Object[] elems; private int top, max; 31

32 (sz > (max == sz && elems!= null ) */ public CleanStack (int sz ) { max = sz ; top = 0; elems = new Object[sz ]; (top == $pre (int, top) + 1) && elems[top-1] == obj */ public void push(object obj) { elems[top++] = obj; (top == $pre (int, top) - 1) && $ret == elems[top] */ public Object pop() { return elems[- -top]; 32

33 ($ret == (top == max)) */ public boolean isfull() { return top == max; ($ret == (top == 0)) */ public boolean isempty () { return top == 0; // End MyStack 33

Compte rendu TP No1 : «Analyse statique de programme»

Compte rendu TP No1 : «Analyse statique de programme» LO20 : Vérification, validation et sûreté de fonctionnement http://www.genie logiciel.utc.fr/lo20/ Compte rendu TP No1 : «Analyse statique de programme» Le premier TP concerne l'analyse statique de programme.

Plus en détail

Testing : A Roadmap. Mary Jean Harrold. Présentation de Olivier Tissot

Testing : A Roadmap. Mary Jean Harrold. Présentation de Olivier Tissot Testing : A Roadmap Mary Jean Harrold Présentation de Olivier Tissot Testing : A Roadmap I. L auteur II. Introduction sur les test : les enjeux, la problématique III. Les tests : roadmap IV. Conclusion

Plus en détail

Projet Industriel Identification des contraintes DO 178C en implémentant l approche «Model Based Testing» avec l aide de l outil MaTeLo

Projet Industriel Identification des contraintes DO 178C en implémentant l approche «Model Based Testing» avec l aide de l outil MaTeLo Projet Industriel Identification des contraintes DO 178C en implémentant l approche «Model Based Testing» avec l aide de l outil MaTeLo Encadrement : Mihaela BARREAU Anthony FAUCOGNEY René Christian TUYISHIME

Plus en détail

Gestion de la configuration et contrôle du code source

Gestion de la configuration et contrôle du code source MGL7460 Automne 2015 Gestion de la configuration et contrôle du code source Guy Tremblay Professeur Département d informatique UQAM http://www.labunix.uqam.ca/~tremblay 10 septembre 2015 Parmi les premières

Plus en détail

Autres termes clés (Other key terms)

Autres termes clés (Other key terms) Carve-out method Autres termes clés (Other key terms) Norme Rapports d assurance sur les contrôles d une société de services extérieurs (, Assurance Reports on Controls at a Third Party Service Organization)

Plus en détail

NOTICE D UTILISATION Option USB 2-Ports USB FRANCAIS

NOTICE D UTILISATION Option USB 2-Ports USB FRANCAIS NOTICE D UTILISATION Option USB 2-Ports USB FRANCAIS Introduction Ce supplément vous informe de l utilisation de la fonction USB qui a été installée sur votre table de mixage. Disponible avec 2 ports USB

Plus en détail

Méthodes de test. Mihaela Sighireanu

Méthodes de test. Mihaela Sighireanu UFR d Informatique Paris 7, LIAFA, 175 rue Chevaleret, Bureau 6A7 http://www.liafa.jussieu.fr/ sighirea/cours/methtest/ Partie I 1 Propriétés 2 Un peu de génie logiciel de test 3 Eléments Problèmes Point

Plus en détail

National Director, Engineering and Maintenance East (Montreal, QC)

National Director, Engineering and Maintenance East (Montreal, QC) National Director, Engineering and Maintenance East (Montreal, QC) Reporting to the General Manager, Engineering and Maintenance, you will provide strategic direction on the support and maintenance of

Plus en détail

Software Design Description

Software Design Description Software Design Description ABSTRACT: KEYWORDS: APPROVED: AUTHOR PROJECT MANAGER PRODUCT OWNER General information/recommendations A SDD provides a representation of a software system created to facilitate

Plus en détail

MARINE ECOSYSTEMS DYNAMICS and MANAGEMENT --------- FONCTIONNEMENT et GESTION des ECOSYSTEMES MARINS

MARINE ECOSYSTEMS DYNAMICS and MANAGEMENT --------- FONCTIONNEMENT et GESTION des ECOSYSTEMES MARINS MARINE ECOSYSTEMS DYNAMICS and MANAGEMENT --------- FONCTIONNEMENT et GESTION des ECOSYSTEMES MARINS PEGASEAS Theme: MARINE ECOSYSTEMS DYNAMICS and MANAGEMENT: final outputs and Questions of the reports:

Plus en détail

Quick Start Guide This guide will help you install a base configuration of IBM Tivoli Key Lifecycle Manager.

Quick Start Guide This guide will help you install a base configuration of IBM Tivoli Key Lifecycle Manager. IBM Tivoli Key Lifecycle Manager Version 2.0.1 Quick Start Guide This guide will help you install a base configuration of IBM Tivoli Key Lifecycle Manager. National Language Version: To obtain the Quick

Plus en détail

Instructions pour mettre à jour un HFFv2 v1.x.yy v2.0.00

Instructions pour mettre à jour un HFFv2 v1.x.yy v2.0.00 Instructions pour mettre à jour un HFFv2 v1.x.yy v2.0.00 HFFv2 1. OBJET L accroissement de la taille de code sur la version 2.0.00 a nécessité une évolution du mapping de la flash. La conséquence de ce

Plus en détail

937-1-IPG-003. Table of Contents. Table des matières. Page. 1. Subject 1 1. Objet. 2. Issue 1 2. Point en litige. 3. Question 2 3.

937-1-IPG-003. Table of Contents. Table des matières. Page. 1. Subject 1 1. Objet. 2. Issue 1 2. Point en litige. 3. Question 2 3. 937-1-IPG-003 Part II Canada Labour Code Bomb Threats Right to Know Partie II Code canadien du travail Alertes à la bombe Droit de savoir Table of Contents Table des matières Page 1. Subject 1 1. Objet

Plus en détail

Instructions Mozilla Thunderbird Page 1

Instructions Mozilla Thunderbird Page 1 Instructions Mozilla Thunderbird Page 1 Instructions Mozilla Thunderbird Ce manuel est écrit pour les utilisateurs qui font déjà configurer un compte de courrier électronique dans Mozilla Thunderbird et

Plus en détail

De la conception à la production. From design to production

De la conception à la production. From design to production De la conception à la production Nos domaines d expertise en électronique analogique, électronique numérique, électronique de puissance, logiciel embarqué et notre savoir faire mécanique couvrent l intégralité

Plus en détail

Sandra Flür-Baumberger. Informations importantes sur les systèmes ADVIA Centaur et ADVIA Centaur XP. Chère cliente, cher client

Sandra Flür-Baumberger. Informations importantes sur les systèmes ADVIA Centaur et ADVIA Centaur XP. Chère cliente, cher client Siemens Medical Solutions Diagnostics AG Freilagerstrasse 38, CH-8047 Zurich Nom Département Sandra Flür-Baumberger Recommandée Téléphone +41 (0)585 581 156 Téléfax +41 (0)585 581 161 Mobile Email sandra.fluer-baumberger@siemens.com

Plus en détail

Utilisation de la brique LEGO EV3 avec Automgen. Using EV3 brick with Automgen (C)2014 IRAI. Lego EV3, Automgen

Utilisation de la brique LEGO EV3 avec Automgen. Using EV3 brick with Automgen (C)2014 IRAI. Lego EV3, Automgen Utilisation de la brique LEGO EV3 avec Automgen Using EV3 brick with Automgen (C)2014 IRAI 1 Ce manuel décrit l'utilisation de la brique LEGO Ev3 avec Automgen. This manual describes the use of EV3 LEGO

Plus en détail

Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming

Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming THÈSE N O 5007 (2011) PRÉSENTÉE le 20 mai 2011 À LA FACULTÉ INFORMATIQUE ET COMMUNICATIONS LABORATOIRE DE MÉTHODES DE PROGRAMMATION

Plus en détail

HARMONY 950. Setup Guide Guide d installation

HARMONY 950. Setup Guide Guide d installation HARMONY 950 Setup Guide Guide d installation Languages English.................... 3 Français................... 9 3 Package contents 1 3 2 4 1. Remote 2. Charging cradle 3. USB cable 4. AC Adapter 4

Plus en détail

Publication IEC 61000-4-3 (Edition 3.0 2008) I-SH 01

Publication IEC 61000-4-3 (Edition 3.0 2008) I-SH 01 Publication IEC 61000-4-3 (Edition 3.0 2008) I-SH 01 Electromagnetic compatibility (EMC) Part 4-3: Testing and measurement techniques Radiated, radio-frequency, electromagnetic field immunity test INTERPRETATION

Plus en détail

Une version à jour de java DOIT être téléchargée, car MAC OS ne prend pas en charge la version de Java fournie par défaut.

Une version à jour de java DOIT être téléchargée, car MAC OS ne prend pas en charge la version de Java fournie par défaut. ENGLISH VERSION NEAR BOTTOM OF PAGE Aperçu de MFT Mac OS Les exigences applicables à un utilisateur de MAC avec le système MFT sont décrites ci-dessous. Par défaut, MFT sélectionne un téléchargeur standard

Plus en détail

Phone Manager Soutien de l'application OCTOBER 2014 DOCUMENT RELEASE 4.1 SOUTIEN DE L'APPLICATION

Phone Manager Soutien de l'application OCTOBER 2014 DOCUMENT RELEASE 4.1 SOUTIEN DE L'APPLICATION Phone Manager Soutien de l'application OCTOBER 2014 DOCUMENT RELEASE 4.1 SOUTIEN DE L'APPLICATION Sage CRM NOTICE The information contained in this document is believed to be accurate in all respects but

Plus en détail

Forthcoming Database

Forthcoming Database DISS.ETH NO. 15802 Forthcoming Database A Framework Approach for Data Visualization Applications A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of

Plus en détail

ICH Q8, Q9 and Q10. Krishnan R. Tirunellai, Ph. D. Bureau of Pharmaceutical Sciences Therapeutic Products Directorate Health Canada December 4, 2008

ICH Q8, Q9 and Q10. Krishnan R. Tirunellai, Ph. D. Bureau of Pharmaceutical Sciences Therapeutic Products Directorate Health Canada December 4, 2008 ICH Q8, Q9 and Q10 An Opportunity to Build Quality into Product Krishnan R. Tirunellai, Ph. D. Bureau of Pharmaceutical Sciences Therapeutic Products Directorate Health Canada December 4, 2008 Sequence

Plus en détail

Guide d'installation rapide TFM-560X YO.13

Guide d'installation rapide TFM-560X YO.13 Guide d'installation rapide TFM-560X YO.13 Table of Contents Français 1 1. Avant de commencer 1 2. Procéder à l'installation 2 Troubleshooting 6 Version 06.08.2011 16. Select Install the software automatically

Plus en détail

Monitor LRD. Table des matières

Monitor LRD. Table des matières Folio :1/6 Table des matières 1.Installation du logiciel... 3 2.Utilisation du logiciel... 3 2.1.Description de la fenêtre de commande... 3 2.1.1.Réglage des paramètres de communication... 4 2.1.2.Boutons

Plus en détail

Solution d hébergement de "SWIFTAlliance ENTRY R7" Politique de Sauvegarde et de Restauration

Solution d hébergement de SWIFTAlliance ENTRY R7 Politique de Sauvegarde et de Restauration Solution d hébergement de "SWIFTAlliance ENTRY R7" Politique de Sauvegarde et de Restauration Avril 2012 I- Introduction Le présent document présente la politique de sauvegarde et de restauration à adopter

Plus en détail

INDIVIDUAL GRIEVANCE PRESENTATION PRÉSENTATION D UN GRIEF INDIVIDUEL

INDIVIDUAL GRIEVANCE PRESENTATION PRÉSENTATION D UN GRIEF INDIVIDUEL INDIVIDUAL GRIEVANCE PRESENTATION PRÉSENTATION D UN GRIEF INDIVIDUEL REFERENCE NO / No DE RÉFÉRENCE The Canadian Nuclear Safety Commission (CNSC) has an Informal Conflict Management System (ICMS) in place.

Plus en détail

NOTE D APPLICATION EXIGENCES DE SECURITE POUR UN CHARGEMENT DE CODE EN PHASE D'UTILISATION

NOTE D APPLICATION EXIGENCES DE SECURITE POUR UN CHARGEMENT DE CODE EN PHASE D'UTILISATION P R E M I E R M I N I S T R E Secrétariat général de la défense et de la sécurité nationale Agence nationale de la sécurité des systèmes d information Paris, le 23 janvier 2015 N 260/ANSSI/SDE/PSS/CCN

Plus en détail

2002 Maritime Mathematics Competition Concours de Mathématiques des Maritimes 2002

2002 Maritime Mathematics Competition Concours de Mathématiques des Maritimes 2002 2002 Maritime Mathematics Competition Concours de Mathématiques des Maritimes 2002 Instructions: Directives : 1 Provide the information requested below Veuillez fournir les renseignements demandés ci-dessous

Plus en détail

User Guide Manuel de l utilisateur

User Guide Manuel de l utilisateur LAP CHILL MAT TM DISSIPATEUR DE CHALEUR CHILL MAT MC User Guide Manuel de l utilisateur Targus Lap Chill Mat TM Introduction Thank you for your purchase of the Targus Lap Chill Mat. The Lap Chill Mat features

Plus en détail

MOUNTING HARDWARE MATÉRIEL DE MONTAGE

MOUNTING HARDWARE MATÉRIEL DE MONTAGE ENGLISH This page lists the contents included in the box. Please take time to identify the hardware as well as the individual components of the product. As you unpack and prepare for assembly, place the

Plus en détail

Les méthodes formelles dans le cycle de vie. Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr

Les méthodes formelles dans le cycle de vie. Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr Les méthodes formelles dans le cycle de vie Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr Plan Introduction Différentes utilisations possibles Différentes techniques pour différentes propriétés à différents

Plus en détail

David Marsden Labour market segmentation in Britain: the decline of occupational labour markets and the spread of entry tournaments

David Marsden Labour market segmentation in Britain: the decline of occupational labour markets and the spread of entry tournaments David Marsden Labour market segmentation in Britain: the decline of occupational labour markets and the spread of entry tournaments Article (Accepted version) (Refereed) Original citation: Marsden, David

Plus en détail

QUICK START GUIDE. for the LiftMaster Internet Gateway

QUICK START GUIDE. for the LiftMaster Internet Gateway QUICK START GUIDE for the LiftMaster Internet Gateway Before Starting Before starting STOP you MUST have: a router active internet connection internet gateway serial number Look at the label on the bottom

Plus en détail

Test et couverture de code Java avec JUnit et SonarQube

Test et couverture de code Java avec JUnit et SonarQube avec JUnit et SonarQube Test en Java avec JUnit 4.x Application au programme Graphab Intégration dans la chaîne de développement Couverture de code avec JaCoCo et SonarQube Test en Java avec JUnit 4.x

Plus en détail

3. Novembre 2009: Lausanne, Hôtel Mövenpick Abstract Workshop

3. Novembre 2009: Lausanne, Hôtel Mövenpick Abstract Workshop Couplage CCM-SM Couplage CCM-SM un système simple et effi cace. Détermination de la masse de chaque spot sûr plaques CCM. Jürg Leuenberger, CAMAG Tout simplement génial: CHROMELEON 7 et son E-Workflows

Plus en détail

Eléments pratiques de test des Hiérarchies et Frameworks

Eléments pratiques de test des Hiérarchies et Frameworks Eléments pratiques de test des Hiérarchies et Frameworks Notes de cours Christophe Dony Master Info Pro - Université Montpellier-II 1 Introduction 1.1 Définitions Génie Logiciel No 18, Mars 1990. EC2.

Plus en détail

Objectifs du cours: Gestion des exceptions. CSI1502 Principes fondamentaux en conception des logiciels. Prise en charge d`exception en Java

Objectifs du cours: Gestion des exceptions. CSI1502 Principes fondamentaux en conception des logiciels. Prise en charge d`exception en Java CSI1502 Principes fondamentaux en conception des logiciels Chapter 8: Gestion des exceptions Objectifs du cours: Gestion des exceptions Comprendre ce qui suit: Le fonctionnement de «try-catch» Propagation

Plus en détail

3615 SELFIE. http://graffitiresearchlab.fr HOW-TO / GUIDE D'UTILISATION

3615 SELFIE. http://graffitiresearchlab.fr HOW-TO / GUIDE D'UTILISATION 3615 SELFIE http://graffitiresearchlab.fr HOW-TO / GUIDE D'UTILISATION Hardware : Minitel Computer DIN FM545 45 connector (http://www.gotronic.fr/art-fiche-din-fm545-4747.htm) Cable Arduino compatible

Plus en détail

Plan. 1. Introduction au test. 2. Le test statique. 1. Revue de code 2. Règles de codage 3. Vérifications automatiques - 2 -

Plan. 1. Introduction au test. 2. Le test statique. 1. Revue de code 2. Règles de codage 3. Vérifications automatiques - 2 - Software testing Plan. Introduction au test 2. Le test statique. Revue de code 2. Règles de codage 3. Vérifications automatiques 2 Tester pour prévenir une erreur du développeur introduit Une erreur est

Plus en détail

DOCUMENTATION - FRANCAIS... 2

DOCUMENTATION - FRANCAIS... 2 DOCUMENTATION MODULE CATEGORIESTOPMENU MODULE CREE PAR PRESTACREA INDEX : DOCUMENTATION - FRANCAIS... 2 INSTALLATION... 2 CONFIGURATION... 2 LICENCE ET COPYRIGHT... 3 SUPPORT TECHNIQUE ET MISES A JOUR...

Plus en détail

COMPILING SCALA FOR THE JAVA VIRTUAL MACHINE

COMPILING SCALA FOR THE JAVA VIRTUAL MACHINE COMPILING SCALA FOR THE JAVA VIRTUAL MACHINE THÈSE N O 3302 (2005) PRÉSENTÉE À LA FACULTÉ INFORMATIQUE ET COMMUNICATIONS Institut d'informatique fondamentale SECTION D'INFORMATIQUE ÉCOLE POLYTECHNIQUE

Plus en détail

European Aviation Safety Agency

European Aviation Safety Agency Page 1 of 6 European Aviation Safety Agency EASA SPECIFIC AIRWORTHINESS SPECIFICATION for as specified in Section I This Specific Airworthiness Specification is issued in accordance with Regulation (EC)

Plus en détail

MOFAE Multi-objective Optimization Approach to Framework API Evolution

MOFAE Multi-objective Optimization Approach to Framework API Evolution MOFAE Multi-objective Optimization Approach to Framework API Evolution Wei Wu 1,2, Yann-Gaël Guéhéneuc 1, Giuliano Antoniol 2 Ptidej Team 1, SOCCER Lab 2 DGIGL, École Polytechnique de Montréal, Canada

Plus en détail

Pourquoi et comment tester aujourd hui?

Pourquoi et comment tester aujourd hui? Pourquoi et comment tester aujourd hui??"?"?" ("?"?" Fabrice Bouquet Séminaire "Informatique Scientifique de Besançon" 3 Décembre 2015 INRIA / CNRS Université de Franche-Comté Fabrice Bouquet Test 1 /

Plus en détail

Mode dʼemploi User guide

Mode dʼemploi User guide Mode dʼemploi User guide Urban Connexion Kit for Microsoft Surface Référence Urban Factory ICR32UF Introduction: Vous venez d acheter un kit de connexion Urban Factory pour Microsoft Surface, et nous vous

Plus en détail

Génie Logiciel et Gestion de Projets

Génie Logiciel et Gestion de Projets Génie Logiciel et Gestion de Projets INFO-F-407 Ragnhild Van Der Straeten 2007-2008 ULB 1 1 Génie Logiciel et Gestion de Projets Organisation 2 2 Ragnhild Van Der Straeten VUB, 4K209 Campus Etterbeek rvdstrae@vub.ac.be

Plus en détail

CONTRAT D ETUDES - LEARNING AGREEMENT

CONTRAT D ETUDES - LEARNING AGREEMENT CONTRAT D ETUDES - LEARNING AGREEMENT Règles générales La présence aux séances d enseignement des modules choisis est obligatoire. Chaque module comporte des séances de travail encadrées et non encadrées

Plus en détail

NORME CEI INTERNATIONALE IEC INTERNATIONAL 60839-2-3 STANDARD. Systèmes d'alarme

NORME CEI INTERNATIONALE IEC INTERNATIONAL 60839-2-3 STANDARD. Systèmes d'alarme NORME CEI INTERNATIONALE IEC INTERNATIONAL 60839-2-3 STANDARD Première édition First edition 1987-12 Systèmes d'alarme Partie 2: Prescriptions pour les systèmes d'alarme anti-intrusion Section trois Prescriptions

Plus en détail

Améliorer les Classes. Chapitre 5: Améliorer les Classes. Affectation Revisitée. Références. Alias. Affectation de Référence

Améliorer les Classes. Chapitre 5: Améliorer les Classes. Affectation Revisitée. Références. Alias. Affectation de Référence Chapitre : Améliorer les Classes Présentation pour Java Software Solutions Foundations of Program Design Deuxième Edition par John Lewis et William Loftus Java Software Solutions est publié par Addison-Wesley

Plus en détail

Patron: Singleton.

Patron: Singleton. Patron: Singleton http://www-public.tem-tsp.eu/~gibson/teaching/csc4522/csc4522-designpatterns-singleton.pdf 1 Patron: Singleton https://fr.wikipedia.org/wiki/singleton_(patron_de_conceptio Restreindre

Plus en détail

IPv6. Internet Control Message Protocol ICMPv6. Objectif: Comparer ICMPv4 avec ICMPv6

IPv6. Internet Control Message Protocol ICMPv6. Objectif: Comparer ICMPv4 avec ICMPv6 IPv6 Internet Control Message Protocol ICMPv6 Objectif: Comparer ICMPv4 avec ICMPv6 v.1b IPv6 Théorie et Pratique & Microsoft Introduction to IPv6 1 ICMPv6 (RFC 2463) Trois fonctions déjà présentes en

Plus en détail

Le DO 178-B / ED-12B Logique, historique, contenu, application

Le DO 178-B / ED-12B Logique, historique, contenu, application Gérard Ladier Airbus France Mars 2003 Le DO 178-B / ED-12B Logique, historique, contenu, application Règlement pour les équipements (JAR/FAR 25-1309) Les équipements "essentiels" doivent être conçus pour

Plus en détail

Phrases au Subjonctif Answers for teachers

Phrases au Subjonctif Answers for teachers Phrases au Subjonctif Answers for teachers These instructions should accompany the OCR resource Phrases au subjonctif activity which supports OCR A Level Modern Foreign Languages: French The Activity:

Plus en détail

ADQ IR Implementation

ADQ IR Implementation ADQ IR Implementation DSNA experience Direction Générale de l Aviation Civile CONTENTS DSNA considerations ADQ objectives The context : a coordinated approach DSNA approach to ADQ implementation The pillars

Plus en détail

INSTITUT MARITIME DE PREVENTION. For improvement in health and security at work. Created in 1992 Under the aegis of State and the ENIM

INSTITUT MARITIME DE PREVENTION. For improvement in health and security at work. Created in 1992 Under the aegis of State and the ENIM INSTITUT MARITIME DE PREVENTION For improvement in health and security at work Created in 1992 Under the aegis of State and the ENIM Maritime fishing Shellfish-farming Sea transport 2005 Le pilier social

Plus en détail

Listes et arbres binaires

Listes et arbres binaires Des structures de données dynamiques Listes, Listes ordonnées Arbres binaires, arbre binaires de recherche Listes chaînées Utile si le nombre d éléments n est pas connu à l avance et évolue beaucoup. Permet

Plus en détail

Génie Logiciel et Gestion de Projets

Génie Logiciel et Gestion de Projets Génie Logiciel et Gestion de Projets INFO-F-407 Ragnhild Van Der Straeten 2008-2009 ULB 1 Génie Logiciel et Gestion de Projets Organisation 2 Ragnhild Van Der Straeten VUB, 4K209 Campus Etterbeek rvdstrae@vub.ac.be

Plus en détail

2 players Ages 8+ Note: Please keep these instructions for future reference. WARNING. CHOKING HAZARD. Small parts. Not for children under 3 years.

2 players Ages 8+ Note: Please keep these instructions for future reference. WARNING. CHOKING HAZARD. Small parts. Not for children under 3 years. Linja Game Rules 2 players Ages 8+ Published under license from FoxMind Games NV, by: FoxMind Games BV Stadhouderskade 125hs Amsterdam, The Netherlands Distribution in North America: FoxMind USA 2710 Thomes

Plus en détail

NORME INTERNATIONALE INTERNATIONAL STANDARD

NORME INTERNATIONALE INTERNATIONAL STANDARD NORME INTERNATIONALE INTERNATIONAL STANDARD CEI IEC 61229 1993 AMENDEMENT 1 AMENDMENT 1 1998-02 Amendement 1 Protecteurs rigides pour travaux sous tension sur des installations à courant alternatif Amendment

Plus en détail

Handle side member change on vertical P/O, installed Changement du coté de poignée, fenêtre d'urgence verticale installée WARNING / AVERTISSEMENT

Handle side member change on vertical P/O, installed Changement du coté de poignée, fenêtre d'urgence verticale installée WARNING / AVERTISSEMENT INDEPENDENT INSTRUCTION INSTRUCTION INDÉPENDANTE II 003 REV E Handle side member change on vertical P/O, installed Changement du coté de poignée, fenêtre d'urgence verticale installée WARNING / AVERTISSEMENT

Plus en détail

Application Form/ Formulaire de demande

Application Form/ Formulaire de demande Application Form/ Formulaire de demande Ecosystem Approaches to Health: Summer Workshop and Field school Approches écosystémiques de la santé: Atelier intensif et stage d été Please submit your application

Plus en détail

Thyroid Scan. To Prepare

Thyroid Scan. To Prepare Thyroid Scan A thyroid scan checks your thyroid gland for problems. The thyroid gland is located in your neck. It speeds up or slows down most body functions. You will be asked to swallow a pill that contains

Plus en détail

MAT 2377 Solutions to the Mi-term

MAT 2377 Solutions to the Mi-term MAT 2377 Solutions to the Mi-term Tuesday June 16 15 Time: 70 minutes Student Number: Name: Professor M. Alvo This is an open book exam. Standard calculators are permitted. Answer all questions. Place

Plus en détail

Monday, December 2 nd 2013. Formation Galaxy

Monday, December 2 nd 2013. Formation Galaxy Formation Galaxy Lundi, 10 Février 2014 This training has not for objectives to introduce every Galaxy tool individually or to build a workflow to process your own data. Objectives: To provide a first

Plus en détail

BUSINESSVALUATOR. Management presentation

BUSINESSVALUATOR. Management presentation BUSINESSVALUATOR Management presentation English pages 2 to 12, French pages 13 to 23 Jean-Marc Bogenmann Designer of BusinessValuator Accredited consultant in business transfer jeanmarcbogenmann@iib.ws

Plus en détail

Quick start. Pulsar ellipse 300/500/650/800/1200. Pulsar ellipse premium 500/650/800/1200

Quick start. Pulsar ellipse 300/500/650/800/1200. Pulsar ellipse premium 500/650/800/1200 Quick start Pulsar ellipse 300/500/650/800/1200 Pulsar ellipse premium 500/650/800/1200 Using the additional functions available on your Pulsar ellipse Utilisation des fonctions additionnelles de votre

Plus en détail

Editing and managing Systems engineering processes at Snecma

Editing and managing Systems engineering processes at Snecma Editing and managing Systems engineering processes at Snecma Atego workshop 2014-04-03 Ce document et les informations qu il contient sont la propriété de Ils ne doivent pas être copiés ni communiqués

Plus en détail

Prostate Cancer. Signs of Prostate Cancer

Prostate Cancer. Signs of Prostate Cancer Prostate Cancer The prostate is a gland in men that makes a liquid that forms part of semen. Its size is about 2 centimeters by 2 centimeters and is located in the pelvic area. The prostate uses a male

Plus en détail

Sun ONE Application Server Platform Summary

Sun ONE Application Server Platform Summary Sun ONE Application Server Platform Summary Version 7, Update 3 Part Number 817-5602-10 February 2004 This document provides the specifics on supported platform components for the Sun Open Net Environment

Plus en détail

Instructions for Completing Allergan s NATRELLE TM Silicone-Filled Breast Implant Device Registration Form

Instructions for Completing Allergan s NATRELLE TM Silicone-Filled Breast Implant Device Registration Form Instructions for Completing Allergan s NATRELLE TM Silicone-Filled Breast Implant Device Registration Form Please read the instructions below and complete ONE of the attached forms in either English or

Plus en détail

AINoE. Rapport sur l audition d AINoE Paris, 18 juin 2003

AINoE. Rapport sur l audition d AINoE Paris, 18 juin 2003 AINoE Abstract Interpretation Network of Excellence Patrick COUSOT (ENS, Coordinator) Rapport sur l audition d AINoE Paris, 18 juin 2003 Thématique Rapport sur l audition d AINoE Paris, 18 juin 2003 1

Plus en détail

Typage et Analyse Statique

Typage et Analyse Statique Typage et Analyse Statique Cours 1 Emmanuel Chailloux Spécialité Science et Technologie du Logiciel Master mention Informatique Université Pierre et Marie Curie année 2015-2016 Cours 1 - Typage et Analyse

Plus en détail

M622 Add-On Module. Module complémentaire M622. Installation Instructions. Directives d installation

M622 Add-On Module. Module complémentaire M622. Installation Instructions. Directives d installation M622 Add-On Module Installation Instructions Module complémentaire M622 Directives d installation The M622 Add-On Module can be attached to the M6310 or M6320 Meridian Business Set to provide extra feature/line

Plus en détail

DOCUMENTATION MODULE FOOTERCUSTOM Module crée par Prestacrea

DOCUMENTATION MODULE FOOTERCUSTOM Module crée par Prestacrea DOCUMENTATION MODULE FOOTERCUSTOM Module crée par Prestacrea INDEX : DOCUMENTATION - FRANCAIS... 2 1. INSTALLATION... 2 2. CONFIGURATION... 2 3. LICENCE ET COPYRIGHT... 4 4. MISES A JOUR ET SUPPORT...

Plus en détail

3) Les catalogues, généralités. 3.1) Les fonctions des catalogues. Mise à jour: 15 sept. 2009 Contrôle des liens Web: 15 sept.

3) Les catalogues, généralités. 3.1) Les fonctions des catalogues. Mise à jour: 15 sept. 2009 Contrôle des liens Web: 15 sept. 3.1) Les fonctions Pierre Gavin, bibliothécaire c/o www.informationsverbund.ch 1 sur 8 Mise à jour: 15 sept. 2009 Contrôle des liens Web: 15 sept. 2009 Sommaire 3) Les catalogues, généralités 3.1) Les

Plus en détail

Date: 09/11/15 www.crmconsult.com Version: 2.0

Date: 09/11/15 www.crmconsult.com Version: 2.0 Date: 9/11/2015 contact@crmconsult.fr Page 1 / 10 Table des matières 1 SUGARPSHOP : SCHEMA... 3 2 PRESENTATION... 4 3 SHOPFORCE WITH SCREENSHOTS... 5 3.1 CLIENTS... 5 3.2 ORDERS... 6 4 INSTALLATION...

Plus en détail

Section B: Receiving and Reviewing the Technician Inspection Report & Claims Decision Process

Section B: Receiving and Reviewing the Technician Inspection Report & Claims Decision Process Phoenix A.M.D. International Inc. - Claim Procedures, Timelines & Expectations Timelines & Expectations 1. All telephone messages and e-mail correspondence is to be handled and responded back to you within

Plus en détail

Installation Instructions

Installation Instructions Installation Instructions (Cat. No. 1794-IA16) This module mounts on a 1794 terminal base unit. 1. Rotate keyswitch (1) on terminal base unit (2) clockwise to position 8 as required for this type of module.

Plus en détail

Modélisation: outillage et intégration

Modélisation: outillage et intégration Modélisation: outillage et intégration Emmanuel Gaudin emmanuel.gaudin@pragmadev.com Un réel besoin Le logiciel double tous les deux ans. Le volume final rend extrêmement difficile de garantir le niveau

Plus en détail

Released 2014 Assessment: Mathematics FRENCH IMMERSION

Released 2014 Assessment: Mathematics FRENCH IMMERSION Assessment of Reading, Writing and Mathematics: Primary Division Released 2014 Assessment: Mathematics FRENCH IMMERSION Item-Specific Rubrics and Sample Student Responses with Annotations EQAO, 2 Carlton

Plus en détail

Manuel VPS-230 Réf. 67230 04/10

Manuel VPS-230 Réf. 67230 04/10 Manuel VPS-230 Réf. 67230 F GB 04/10 F AVERTISSEMENTS : Sécurité - Lisez et conservez avec précaution ce manuel de l utilisateur. N utilisez ce produit que de la manière indiquée. - Cet appareil doit être

Plus en détail

Smile Mobile Dashboard

Smile Mobile Dashboard Smile Mobile Dashboard 1. Magento Extension The iphone and Android applications require access to data from your Magento store. This data is provided through an extension, available on Magento Connect

Plus en détail

http://www.buginfo.fr/index.php?option=com_content ionid=5&task=edit&cid[]=55

http://www.buginfo.fr/index.php?option=com_content ionid=5&task=edit&cid[]=55 Tout d'abord, qu'est-ce que l'url rewriting? C'est une méthode consistant pour les sites dynamiques de pouvoir réécrire à la volée les urls des pages avec des noms plus compréhensibles par le commun des

Plus en détail

Paper Reference. Paper Reference(s) 4365/01 London Examinations IGCSE French Paper 1: Listening

Paper Reference. Paper Reference(s) 4365/01 London Examinations IGCSE French Paper 1: Listening Centre No. Candidate No. Surname Signature Paper Reference(s) 4365/01 London Examinations IGCSE French Paper 1: Listening Monday 8 November 2010 Afternoon Time: 30 minutes (+5 minutes reading time) Materials

Plus en détail

Experiences TCM QUALITY MARK. Project management Management systems ISO 9001 ISO 14001 ISO 22000

Experiences TCM QUALITY MARK. Project management Management systems ISO 9001 ISO 14001 ISO 22000 TCM QUALITY MARK Jean-Marc Bachelet Tocema Europe workshop 4 Project management Management systems ISO 9001 ISO 14001 ISO 22000 + lead auditors for certification bodies Experiences Private and state companies,

Plus en détail

Product Platform Development: A Functional Approach Considering Customer Preferences

Product Platform Development: A Functional Approach Considering Customer Preferences Product Platform Development: A Functional Approach Considering Customer Preferences THÈSE N O 4536 (2009) PRÉSENTÉE le 4 décembre 2009 À LA FACULTé SCIENCES ET TECHNIQUES DE L'INGÉNIEUR LABORATOIRE DES

Plus en détail

The ISIA Minimum Standard. Why, What, How

The ISIA Minimum Standard. Why, What, How The ISIA Minimum Standard Why, What, How Budapest 10-11 October 2011 Vittorio CAFFI 1 Questions to address Why a Minimum Standard? Who is concerned? When has to be implemented? What is it? How can it be

Plus en détail

Accès au support technique produits et licences par le portail client MGL de M2Msoft.com. Version 2010. Manuel Utilisateur

Accès au support technique produits et licences par le portail client MGL de M2Msoft.com. Version 2010. Manuel Utilisateur Accès au support technique produits et licences par le portail client MGL de M2Msoft.com Version 2010 Manuel Utilisateur Access to M2Msoft customer support portal, mgl.m2msoft.com, 2010 release. User manual

Plus en détail

ICM STUDENT MANUAL French 1 JIC-FRE1.2V-12 Module: Marketing Communication and Media Relations Study Year 2. 1. Course overview. Learning objectives:

ICM STUDENT MANUAL French 1 JIC-FRE1.2V-12 Module: Marketing Communication and Media Relations Study Year 2. 1. Course overview. Learning objectives: ICM STUDENT MANUAL French 1 JIC-FRE1.2V-12 Module: Marketing Communication and Media Relations Study Year 2 1. Course overview Books: Français.com, niveau intermédiaire, livre d élève+ dvd- rom, 2ième

Plus en détail

by Alfred Ainsley Archer Department of Animal Science McGill University, Montreal July, 2000

by Alfred Ainsley Archer Department of Animal Science McGill University, Montreal July, 2000 A FRAMEWORK TO INTEGRATE AND ANALYSE INDUSTRY-WIDE INFORMATION FOR ON-FARM DECISION MAKING IN DAIRY CATTLE BREEDING by Alfred Ainsley Archer Department of Animal Science McGill University, Montreal July,

Plus en détail

The potential of the building sector in sustainable and lowcarbon

The potential of the building sector in sustainable and lowcarbon The potential of the building sector in sustainable and lowcarbon strategies Arab Hoballah, UNEP SUSTAINABLE AND COMPETITIVE HOTELS THROUGH ENERGY INNOVATION - NEZEH 2015 L'INNOVATION ÉNERGÉTIQUE AU SERVICE

Plus en détail

Technical Service Bulletin

Technical Service Bulletin INTRODUCTION: Technical Service Bulletin June 25, 2009 Title: M.I.L. "ON" DTC P0AC0, P0AF, P0A7F, AND/OR P0AFA Models: 04-09 Prius Some vehicles may exhibit a M.I.L. ON condition with one or more of the

Plus en détail

Stratégie de Convergence de VisualAge Pacbase

Stratégie de Convergence de VisualAge Pacbase IBM Software Group Stratégie de Convergence de VisualAge Pacbase Philippe Bauquel, VisualAge Pacbase Product Line Manager, IBM Rational SWG, Enterprise Tools & Compilers 2008 IBM Corporation Genèse du

Plus en détail

(Programme de formation pour les parents ~ Training program for parents)

(Programme de formation pour les parents ~ Training program for parents) PODUM-INFO-ACTION (PIA) La «carte routière» pour les parents, sur l éducation en langue française en Ontario A «road map» for parents, on French-language education in Ontario (Programme de formation pour

Plus en détail

Simulation d'algorithmes distribués Guide Utilisateur

Simulation d'algorithmes distribués Guide Utilisateur Simulation d'algorithmes distribués Guide Utilisateur Sommaire Section 1 Section 2 Section 3 Section 4 Section 5 3 Introduction 3 Configuration minimale 3 Utilisation Construction de graphes 4 La grammaire

Plus en détail

SGR Services de gestion des risques

SGR Services de gestion des risques Title: Safety Achievement Financial Incentive System (SAFIS) Titre : Système d incitation financière à la sécurité DIRECTIVE Effective / En vigueur: 01/05/2008 Release / Diffusion No. 003 Page 1 of / de

Plus en détail

Concours SLAM POÉSIE de l AAFQ Slam poetry Contest. À Vous La Parole! Let s hear it from you!

Concours SLAM POÉSIE de l AAFQ Slam poetry Contest. À Vous La Parole! Let s hear it from you! Concours SLAM POÉSIE de l AAFQ Slam poetry Contest À Vous La Parole! Let s hear it from you! Concours SLAM POÉSIE de l AAFQ À vous la parole! L Association d Anémie Falciforme du Québec lance son premier

Plus en détail

Quick Start Guide This guide is intended to get you started with Rational ClearCase or Rational ClearCase MultiSite.

Quick Start Guide This guide is intended to get you started with Rational ClearCase or Rational ClearCase MultiSite. Rational ClearCase or ClearCase MultiSite Version 7.0.1 Quick Start Guide This guide is intended to get you started with Rational ClearCase or Rational ClearCase MultiSite. Product Overview IBM Rational

Plus en détail