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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Excellence dedicated to nuclear medicine, public health and environment

Excellence dedicated to nuclear medicine, public health and environment Excellence dedicated to nuclear medicine, public health and environment TOC 1. Introduction 2. Quick win 3. External events not in the original design basis 3. Costs 4. Perspectives Excellence dedicated

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

How to Login to Career Page

How to Login to Career Page How to Login to Career Page BASF Canada July 2013 To view this instruction manual in French, please scroll down to page 16 1 Job Postings How to Login/Create your Profile/Sign Up for Job Posting Notifications

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

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

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

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

Control your dog with your Smartphone. USER MANUAL www.pet-remote.com

Control your dog with your Smartphone. USER MANUAL www.pet-remote.com Control your dog with your Smartphone USER MANUAL www.pet-remote.com Pet-Remote Pet Training Pet-Remote offers a new and easy way to communicate with your dog! With the push of a single button on your

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

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

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

Cours de Programmation Orientée Objet

Cours de Programmation Orientée Objet Contrat et application à la librairie standard JAVA mailto:marc.champesme@lipn.univ-paris13.fr 6 février 2011 1 Qu est ce qu une classe? Un exemple en JAVA Résumé Expression du contrat Par des commentaires

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

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

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

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

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

Quick Start Guide Guide de démarrage rapide

Quick Start Guide Guide de démarrage rapide Platinum App Bridge Kit Trousse de pont pour App Platinum MC Quick Start Guide Guide de démarrage rapide 1 Check kit contents. Vérifier le contenu de la trousse. A B E CA DB E C D A B E C D A B E C D C

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

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

A partir de ces différents matériels, l administrateur a déterminé huit configurations différentes. Il vous demande de les compléter.

A partir de ces différents matériels, l administrateur a déterminé huit configurations différentes. Il vous demande de les compléter. Exonet - Ressources mutualisées en réseau Description du thème Propriétés Intitulé long Formation concernée Présentation Modules Activités Compétences ; Savoir-faire Description Ressources mutualisées

Plus en détail

Tests de logiciel. Considérations pratiques, Documentation et Activités de test

Tests de logiciel. Considérations pratiques, Documentation et Activités de test Tests de logiciel Considérations pratiques, Documentation et Activités de test 1 Documentation de tests, risques et niveaux d intégrité Environnement de développement et exécution des tests Évaluation

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

(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

How to? / Flash the ATMEGA32

How to? / Flash the ATMEGA32 How to? / Flash the ATMEGA32 Français La programmation du microcontrôleur n est pas très compliquée mais elle nécessite un minimum d attention. Elle peut se faire directement sur la platine du Monome grâce

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

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

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

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

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

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

Projet de développement

Projet de développement Projet de développement Documentation, Eclipse, Soutenance Philippe Collet Licence 3 Informatique 2013-2014 Plan r Documentation : principes et outils r Eclipse r Modalités de soutenance Ph. Collet 2 Pourquoi

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

Lions Club de Beaune 2013-2014. Des outils de communication pour les

Lions Club de Beaune 2013-2014. Des outils de communication pour les Des outils de communication pour les jeunes Autistes Une année orientée Jeunesse Rencontre de l association des Papillons Blancs de Beaune qui nous a présenté le projet développé en interne et consistant

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

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

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

RFP 1000162739 and 1000163364 QUESTIONS AND ANSWERS

RFP 1000162739 and 1000163364 QUESTIONS AND ANSWERS RFP 1000162739 and 1000163364 QUESTIONS AND ANSWERS Question 10: The following mandatory and point rated criteria require evidence of work experience within the Canadian Public Sector: M3.1.1.C / M3.1.2.C

Plus en détail

Analyseur syntaxique C# pour PADL

Analyseur syntaxique C# pour PADL Université de Montréal Projet Ift3150 Analyseur syntaxique C# pour PADL Projet ift3150 Analyseur syntaxique C# pour PADL Page 0 sur 15 Table des matières Introduction I. Énoncé A. Bénéfices attendus B.

Plus en détail

Remote Control Library Librairie Remote Control

Remote Control Library Librairie Remote Control Remote Control Library Librairie Remote Control Installation File, Fichier : REMOTEVPU.EXE After installation Après installation In the toolbox : Dans la boite à outils : Files Added, Files Ajoutés : C:\API32\Modules\

Plus en détail

S-9.05 Small Business Investor Tax Credit Act 2003-39 RÈGLEMENT DU NOUVEAU-BRUNSWICK 2003-39 NEW BRUNSWICK REGULATION 2003-39. établi en vertu de la

S-9.05 Small Business Investor Tax Credit Act 2003-39 RÈGLEMENT DU NOUVEAU-BRUNSWICK 2003-39 NEW BRUNSWICK REGULATION 2003-39. établi en vertu de la NEW BRUNSWICK REGULATION 2003-39 under the SMALL BUSINESS INVESTOR TAX CREDIT ACT (O.C. 2003-220) Regulation Outline Filed July 29, 2003 Citation........................................... 1 Definition

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

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

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

Package Contents. System Requirements. Before You Begin

Package Contents. System Requirements. Before You Begin Package Contents DWA-125 Wireless 150 USB Adapter CD-ROM (contains software, drivers, and manual) Cradle If any of the above items are missing, please contact your reseller. System Requirements A computer

Plus en détail

JUnit 3.8 / JUnit 4. P. Graffion

JUnit 3.8 / JUnit 4. P. Graffion JUnit 3.8 / JUnit 4 P. Graffion février 2015 Objectifs Framework de tests écrit pour faciliter : l écriture de tests tests unitaires tests de recette l exécution de ces tests l exploitation de ces tests

Plus en détail

Compliance Sheet. Super Range 71. Product Description

Compliance Sheet. Super Range 71. Product Description Super Range 71 Model SR71-15 SR71-A SR71-C SR71-E SR71-X SR71-USB Product Description 802.11a/n, Mini PCI, 2x2 MIMO 802.11a/b/g/n, Mini PCI, 3x3 MIMO 802.11a/b/g/n, CardBus, 2x2 MIMO 802.11a/b/g/n, PCI

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

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

1. Subject 1. Objet. 2. Issue 2. Enjeu. 905-1-IPG-070 October 2014 octobre 2014

1. Subject 1. Objet. 2. Issue 2. Enjeu. 905-1-IPG-070 October 2014 octobre 2014 905-1-IPG-070 October 2014 octobre 2014 (New) Danger as a Normal Condition of Employment 905-1-IPG-070 (Nouveau) Danger constituant une Condition normale de l emploi 905-1-IPG-070 1. Subject 1. Objet Clarification

Plus en détail

Installing the SNMP Agent (continued) 2. Click Next to continue with the installation.

Installing the SNMP Agent (continued) 2. Click Next to continue with the installation. DGE-530T 32-bit Gigabit Network Adapter SNMP Agent Manual Use this guide to install and use the SNMP Agent on a PC equipped with the DGE-530T adapter. Installing the SNMP Agent Follow these steps to install

Plus en détail

Archived Content. Contenu archivé

Archived Content. Contenu archivé ARCHIVED - Archiving Content ARCHIVÉE - Contenu archivé Archived Content Contenu archivé Information identified as archived is provided for reference, research or recordkeeping purposes. It is not subject

Plus en détail

NFP121, Cnam/Paris JUnit tests pour Android Cnam Paris jean-michel Douin, douin au cnam point fr version en cours

NFP121, Cnam/Paris JUnit tests pour Android Cnam Paris jean-michel Douin, douin au cnam point fr version en cours , Cnam/Paris JUnit tests pour Android Cnam Paris jean-michel Douin, douin au cnam point fr version en cours Notes sur l usage de JUnit3 sous Android Le lecteur intéressé par un cours sur les tests pourra

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

SERVEUR DÉDIÉ DOCUMENTATION

SERVEUR DÉDIÉ DOCUMENTATION SERVEUR DÉDIÉ DOCUMENTATION Release 5.0.6.0 19 Juillet 2013 Copyright 2013 GIANTS Software GmbH, All Rights Reserved. 1/9 CHANGE LOG Correction de bug divers (5.0.6.0) Ajout d une option de relance automatique

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

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

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

F1 Security Requirement Check List (SRCL)

F1 Security Requirement Check List (SRCL) F1 Security Requirement Check List (SRCL) Liste de vérification des exigences relatives à la sécurité (LVERS) Cyber Protection Supply Arrangement (CPSA) Arrangement en matière d approvisionnement en cyberprotection

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

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

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

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

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

Registry. Pierre Le Sidaner Observatoire de Paris. Hackathon ASOV septembre 2015 1

Registry. Pierre Le Sidaner Observatoire de Paris. Hackathon ASOV septembre 2015 1 Registry Pierre Le Sidaner Observatoire de Paris Hackathon ASOV septembre 2015 1 Demain Le panorama change car l'interface des registries change. Dans le futur un nouveau service au STSCI et à l'esac mais

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

ADHEFILM : tronçonnage. ADHEFILM : cutting off. ADHECAL : fabrication. ADHECAL : manufacturing.

ADHEFILM : tronçonnage. ADHEFILM : cutting off. ADHECAL : fabrication. ADHECAL : manufacturing. LA MAÎTRISE D UN MÉTIER Depuis plus de 20 ans, ADHETEC construit sa réputation sur la qualité de ses films adhésifs. Par la maîtrise de notre métier, nous apportons à vos applications la force d une offre

Plus en détail

Comprendre l impact de l utilisation des réseaux sociaux en entreprise SYNTHESE DES RESULTATS : EUROPE ET FRANCE

Comprendre l impact de l utilisation des réseaux sociaux en entreprise SYNTHESE DES RESULTATS : EUROPE ET FRANCE Comprendre l impact de l utilisation des réseaux sociaux en entreprise SYNTHESE DES RESULTATS : EUROPE ET FRANCE 1 Objectifs de l étude Comprendre l impact des réseaux sociaux externes ( Facebook, LinkedIn,

Plus en détail

MODE D'EMPLOI USER MANUAL. MIDI MESSENGER version 1-2-3. MIDI MESSENGER version 1-2-3

MODE D'EMPLOI USER MANUAL. MIDI MESSENGER version 1-2-3. MIDI MESSENGER version 1-2-3 MIDI MESSENGER version 1-2-3 USER MANUAL MidiMessenger has been designed to help virtual organs users by sending Midi messages to the instrument. But MidiMessenger is also a general purpose tool for one

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

Développement Web. Jean-Michel Richer jean-michel.richer@univ-angers.fr http://www.info.univ-angers.fr/pub/richer. 24 janvier 2011

Développement Web. Jean-Michel Richer jean-michel.richer@univ-angers.fr http://www.info.univ-angers.fr/pub/richer. 24 janvier 2011 1 / 56 Développement Web Le modèle MVC Jean-Michel Richer jean-michel.richer@univ-angers.fr http://www.info.univ-angers.fr/pub/richer 24 janvier 2011 2 / 56 Objectif Objectif du cours Se familiariser avec

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

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

Technologies Web. Farah Benamara Zitoune Maître de conférences IRIT-UPS benamara@irit.fr

Technologies Web. Farah Benamara Zitoune Maître de conférences IRIT-UPS benamara@irit.fr Technologies Web Farah Benamara Zitoune Maître de conférences IRIT-UPS benamara@irit.fr Plan du cours Cours 1 : Introduction HTML/CSS Cours 2 : Introduction programmation web + javascirpt Cours 3 : Introduction

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

C est quoi, Facebook?

C est quoi, Facebook? C est quoi, Facebook? Si tu as plus de 13 ans, tu fais peut-être partie des 750 millions de personnes dans le monde qui ont un compte Facebook? Et si tu es plus jeune, tu as dû entendre parler autour de

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

ITI 1521. Introduction à l informatique II

ITI 1521. Introduction à l informatique II ITI 1521. Introduction à l informatique II Marcel Turcotte École d ingénierie et de technologie de l information Version du 14 février 2011 Résumé Traitement d erreurs en Java : Déclaration, gestion, création

Plus en détail

Logitech Tablet Keyboard for Windows 8, Windows RT and Android 3.0+ Setup Guide Guide d installation

Logitech Tablet Keyboard for Windows 8, Windows RT and Android 3.0+ Setup Guide Guide d installation Logitech Tablet Keyboard for Windows 8, Windows RT and Android 3.0+ Setup Guide Guide d installation English.......................................... 3 Français.........................................

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

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

Promotion of bio-methane and its market development through local and regional partnerships. A project under the Intelligent Energy Europe programme

Promotion of bio-methane and its market development through local and regional partnerships. A project under the Intelligent Energy Europe programme Promotion of bio-methane and its market development through local and regional partnerships A project under the Intelligent Energy Europe programme Contract Number: IEE/10/130 Deliverable Reference: W.P.2.1.3

Plus en détail

Outil SANTE: Détection d erreurs par analyse statique et test structurel des programmes C

Outil SANTE: Détection d erreurs par analyse statique et test structurel des programmes C Outil SANTE: Détection d erreurs par analyse statique et test structurel des programmes C Omar Chebaro LIFC, Université de Franche-Comté, 25030 Besançon France CEA, LIST, Laboratoire Sûreté des Logiciels,

Plus en détail

Courses on Internal Control and Risk Management. September 2010

Courses on Internal Control and Risk Management. September 2010 Courses on Internal Control and Risk Management Page 1/5 September 2010 EN VERSION 1. Internal Control Standards for Effective Management - Introduction to Internal Control for all staff This introductory

Plus en détail