Software Testing - General Introduction

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

Download "Software Testing - General Introduction"

Transcription

1 Software Testing General Introduction Benoit Combemale 1

2 WHAT ARE WE LOOKING FOR? 2

3 We look for bugs source: 3

4 Local bugs Some bugs are very local redundant code wrong condition omission lack of checks divide by zero approximations 4

5 Many bugs in conditions source: https://fisheye6.atlassian.com/changelog/commons?cs=

6 Zune bug while (days > 365)! {! if (IsLeapYear(year))! {! if (days > 366)! {! days = 366;! year += 1;! }! }! else! {! days = 365;! year += 1;! }! }! (days >= 366) source: 6

7 Zune bug Zune 30 was the first portable media player released by Microsoft release date: november 2006 On Dec 31, 2008 all Zune stop working Software bug in the firmware: infinite loop when dealing with leap years Huge loss of business 7

8 Heartbleed bug! if ((err = ReadyHash(&SSLHashSHA1, &hashctx))!= 0)! goto fail;! if ((err = SSLHashSHA1.update(&hashCtx, &clientrandom))!= 0)! goto fail;! if ((err = SSLHashSHA1.update(&hashCtx, &serverrandom))!= 0)! goto fail;! if ((err = SSLHashSHA1.update(&hashCtx, &signedparams))!= 0)! goto fail;! goto fail;! if ((err = SSLHashSHA1.final(&hashCtx, &hashout))!= 0)! goto fail;!!err = sslrawverify(ctx,! ctx>peerpubkey,! datatosign,!!!!/* plaintext */! datatosignlen,!!!/* plaintext length */! signature,! signaturelen);!!if(err) {!!!sslerrorlog("ssldecodesignedserverkeyexchange: sslrawverify "! "returned %d\n", (int)err);!!!goto fail;!!}!! fail:! SSLFreeBuffer(&signedHashes);! SSLFreeBuffer(&hashCtx);! return err;! } source: 8

9 Heartbleed bug source: https://gist.github.com/hongrich/

10 Heartbleed bug Bug introduced March 2012 Bug revealed in April 2014 Without using any privileged information, it is possible to retrieve secret keys used for X.509 certificates user names and passwords instant messages s and business critical documents 10

11 More local bugs examples USS Yorktown (1998) Division by zero stops the engine of the submarine Guiding system (2002) Wrong initialization The Patriot and the Scud (1991) approximation in substraction 1 1

12 Global bugs Some bugs emerge from interactions wrong assumptions about third parties error in reuse concurrency bugs hardware/software/user improbable interactions 12

13 Northeast blackout of 2003 Root cause of the outage was linked to a variety of factors, including FirstEnergy's failure to trim back trees encroaching on highvoltage power line Software bug in the alarm system at a control room of the FirstEnergy corp. When triggered, race condition caused alarm system to stall for over an hour backup server kicked in, it could not keep up with unprocessed data warnings and alarms were not sounded because the systems were struggling to process old data. employees did not take action blackout spread to a huge region 13

14 Northeast blackout of

15 Northeast blackout of 2003 Widespread power outage on Aug 14, 2003 Affected an estimated 10 million people in Ontario and 45 million people in eight U.S. states. source: https://en.wikipedia.org/wiki/northeast_blackout_of_2003#computer_failure 15

16 Race condition public class SimpleApplet extends java.applet.applet{! java.awt.image art;!! public void init() {! art = getimage(getdocumentbase(),!!!!!!!!!!getparameter("img")) }!! public void paint(java.awt.graphics g) {! g.drawimage(art, 0, 0, this);! }!! an Applet's paint() method can be }! called before its init() method. 16

17 Check input public class SimpleApplet extends java.applet.applet{! java.awt.image art;!! public void init() {! art = getimage(getdocumentbase(),!!!!!!!!!!getparameter("img")) }!! public void paint(java.awt.graphics g) {! }! if (art!=null){!!!!g.drawimage(art, 0, 0, this);!!!}! }! 17

18 Ariane 501 H0 > H0+37s : nominal Dans SRI 2 (Inertial Reference System) : BH (Bias Horizontal) > 2^15 convert_double_to_int(bh) fails! exception SRI > crash SRI2 & 1 OBC (OnBoard Computer ) disoriented Angle attaque > 20, charges aérodynamiques élevées Séparation des boosters 1 8

19 Ariane 501 H0 + 39s: autodestruction (cost: 500M ) 1 9

20 Why? (cf. Jézéquel et al., IEEE Comp. 01/97) Ariane 5 reused a component from Ariane 4, which had an implicit assumption! Assumes a constraint on input domain Précondition : abs(bh) < OK for Ariane 4 but not Ariane 5 Need to specify exact contracts 2 0

21 More global bug examples London Ambulance System (1992) delays in medical emergencies bad data checks, memory leaks, GUI issues, bad HW reuse, etc. Mars orbiter (1999) Comparing inches with meters makes the probe crash on landing Orange (2012) bug in the replicated, brand new HLR, no alarm triggered Facebook IPO glitch (2012) race condition 21

22 Even more global bugs Therac25 (official report) The software code was not independently reviewed. The software design was not documented with enough detail to support reliability modelling. The system documentation did not adequately explain error codes. AECL personnel were at first dismissive of complaints. The design did not have any hardware interlocks to prevent the electronbeam from operating in its highenergy mode without the target in place. Software from older models had been reused without properly considering the hardware differences. The software assumed that sensors always worked correctly, since there was no way to verify them. (see open loop) Arithmetic overflows could cause the software to bypass safety checks. The software was written in assembly language. While this was more common at the time than it is today, assembly language is harder to debug than highlevel languages.. 2 2

23 Even more global bugs Système d information du FBI abandonné en avril 2005 : coût 170 M $ mauvaise spécification, exigences mal exprimées réutilisation dans un contexte inadapté trop d acteurs concurrents (hommes politiques, agents secrets, informaticiens) 2 3

24 Software fails Multiple causes various sources various levels various reasons True for every domain Has all sorts of consequences 24

25 Amazon s $23,698, book about flies Algorithmic pricing: Once a day profnath set their price to be times bordeebook s price, then bordeebook noticed profnath s change and elevated their price to times profnath s higher price. 25

26 WHY IS IT SO HARD TO BUILD CORRECT SOFTWARE? 26

27 Programminginthesmall Acquérir une valeur positive n Tant que n > 1 faire si n est pair alors n := n / 2 sinon n := 3n+1 Sonner alarme; Prouver que l alarme est sonnée pour tout n? Indécidabilité de certaines propriétés problème de l arrêt de la machine de Turing... Ø Recours au test ici, si machine 32 bits, 2^31 = 10^10 cas de tests 5 lignes de code => 10 milliards de valeurs! 2 7

28 Programminginthelarge See 2 8

29 Programminginthelarge Windows XP is compiled from 45 million lines of code. See Example*: Linux Kernel ,142,481 Firefox ,172,520 MySQL ,768 PHP ,892 Apache Http 2.0.x 89,967 * eloc (effective line of code) is the measurement of all lines that are not comments, blanks or standalone braces or parenthesis (see rsm_software_project_metrics.htm) Greg KroahHartman, Jonathan Corbet, Amanda McPherson. "Linux Kernel Development: How Fast it is Going, Who is Doing It, What They are Doing, and Who is Sponsoring It" (March 2012). 2 The Linux Foundation. Retrieved

30 Programminginthelarge See Retrieved

31 Programminginthelarge But also 3 1

32 Programminginthelarge See Retrieved Interoperability 3 2

33 Programminginthelarge Collaborative projects 137 contributors, 5000 commits, 1300 forks https://github.com/ajaxorg/ace 97 contributors, commits, 173 forks https://github.com/mozilla/zamboni 33

34 Programminginthelarge Reusability Durability Variability 34

35 Programminginthelarge Critical Realtime Embedded système embarqué : avion, voiture

36 Programminginthelarge Ø "The avionics system in the F22 Raptor [ ] consists of about 1.7 million lines of software code. Ø F35 Joint Strike Fighter [ ] will require about 5.7 million lines of code to operate its onboard systems. Ø Boeing s new 787 Dreamliner [ ] requires about 6.5 million lines of software code to operate its avionics and onboard support systems. Ø if you bought a premiumclass automobile recently, it probably contains close to 100 million lines of software code. [ ] All that software executes on 70 to 100 microprocessorbased electronic control units (ECUs) networked throughout the body of your car. Ø Alfred Katzenbach, the director of information technology management at Daimler, has reportedly said that the radio and navigation system in the current Sclass MercedesBenz requires over 20 million lines of code alone and that the car contains nearly as many ECUs as the new Airbus A380 (excluding the plane s inflight entertainment system). Ø IBM claims that approximately 50 percent of car warranty costs are now related to electronics and their embedded software "This Car Runs on Code", By Robert N. Charrette, IEEE Spectrum, Feb. 2009, see

37

38 Programminginthelarge Autonomic Computing Cloud Computing PaaS, SaaS, IoS, IoT... 38

39 ProgrammingintheDuration (maintenance) Etalement sur 10 ans ou plus d une ligne de produits Près de 80 ans dans l avionique! Age moyen d un système : 7 ans 26% des systèmes ont plus de 10 ans (Cf. Application banquaire et Cobol) 3 9

40 Long term availability AIRBUS A300 Life Cycle Program began in 1972, production stopped in = 35 years... Support will last until = 78 years!! On board software development for very long lifecycle products

41 Vcycle Innovation factory processes CMMI SCRUM spiral distributed embedded security critical constraints scalability enduser environments cloud lean innovation economics SOA outsourcing agility CP CBSE OOP AOP languages enduser Procedural DSL DSML UML 41

42 HOW TO BUILD RELIABLE SOFTWARE? 42

43 Engineering reliable software Constructive approach Formal modeling Garantees by construction Analytical approach Program analysis Detect and fix errors Faulttolerance Admit the presence of errors Enhance software with faulttolerance mechanisms 43

44 Constructive approach Garantee the absence of bugs Topdown approach Modeldriven development + formal analysis Formal proof Automatic or manual Offers exhaustive garantees based on logical modeling and reasoning Examples: Isabelle/HOL, B, KeY, Coq Used on specific parts of critical software (e.g., certified C compiler) 44

45 Constructive approach Model checking Formal behavioral model (transition system) Exhaustive verification of properties on model executions (e.g., absence of deadlock, safety and liveness properties) Examples: SCADE, Java PathFinder Used in hardware and software verification at the system level for systems engineering (defense, nuclear plant, transportation, etc.) 45

46 Analytical approach Look for the presence of bugs Heuristicbased Analyze all sorts of software artefacts (code, models, requirements, etc.) Software testing 46

47 Faulttolerance Assume that it is impossible to prevent the occurrence of bugs in production software Enhance the system with the ability to deal with it Design diversity at the systems level Exception handling at the source code level Randomization at the machine code level 47

48 Faulttolerance Nversion programming version 1 version 1 version 2 input version 2 vote output version 3 version 3 48

49 Google s innovation factory Google (2012 Update from Larry Page, CEO): Over 850,000 Android devices are activated daily through a network of 55 manufacturers and more than 300 carriers. Google Chrome browser has over 200 million users. Google launched Gmail in 2004 and now is used by more than 350 million people. YouTube has over 800 million monthly users who upload an hour of video per second. See

50 Google s innovation factory

51 Netflix s simian army Streaming TV network service approx. 40 million subscribers very high dependence on software and cloud (runs on Amazon EC2) major player in open source Induce failure regularly break production code to check the system s ability to react Chaos monkey: randomly terminates an instance in production Chaos kong: take an entire region offline Latency monkey: artificial delay in RESTful clients 51

52 Loop perforation: when good enough is better It used to be that people used computers for computations where there was a single, hard, logical right answer Tradeoff between accuracy and performance for (i=0; i<b; i++){ } transform for (i=0; i<b; i+=n){ } source: 52

53 Loop perforation source code Instrumentation instrumented binary Monitoring and perforation running program Compile In memory Execution unsound transformation still useful Sasa Misailovic, Stelios Sidiroglou, Henry Hoffmann, Martin C. Rinard: Quality of service profiling. ICSE (1) 2010:

54 Loop perforation 54

55 A question of perspective Verification: $ "Are we building the product right" The software should conform to its specification Validation:$ "Are we building the right product" The software should do what the user really requires 55

56 A question of perspective Stakeholder customer, developer, sales Qualitative functionality, usability, safetycritical, etc. Application kind embedded, adaptive, reactive, etc. 56

57 In this class Software testing most probably the technique you ll have to use for verification validation is essential but requires the involvement of users => usually done by specific teams, who don t develop from the developer s perspective you should test your software, and you ll be assigned testing tasks or supervision in your future software projects 57

58 Testing technique (Examples) Findbugs: PIT: static analysis on Java bytecode Evosuite: automatic generation of test cases for Java programs JavaPathFinder: automated analysis of Java programs Gzoltar: fault localization in Java programs mutation testing tool for Java programs Robolectric: test Android apps Sikuli: automates anything you see on the screen SDK android: test and debug Android apps 58

59 WHAT DO YOU MEAN BY $ SOFTWARE TESTING? 59

60 Tester pour prévenir une erreur du développeur introduit Une erreur est une décision inappropriée ou erronée, faite par un développeur, qui conduit à l'introduction d'un défaut. un défaut dans le système qui provoquera Un défaut est une imperfection dans un des aspects du système qui contribue, ou peut potentiellement contribuer, à la survenance d'une ou de plusieurs défaillances Parfois, il faut plusieurs défauts pour causer une défaillance. sa défaillance à l exécution. Une défaillance est un comportement inacceptable présenté par un système. La fréquence des défaillances reflète la fiabilité. 60

61 Le test : une première définition «Le test est un processus manuel ou automatique, qui vise à établir qu un système vérifie les propriétés exigées par sa spécification, ou à détecter des différences entre les résultats engendrés par le système et ceux qui sont attendus par la spécification» Extrait de la norme IEEESTD729,

62 Le test Essayer pour trouver des bugs. 62

63 Le test Essayer pour voir si ça marche. 63

64 Le test trouver des bugs Essayer pour voir si ça marche. Apprendre pourquoi c est fait ce que ça doit faire comment c est fait comment ça marche Modéliser S en faire une idée Exécuter Analyser Qu y atil à voir? Que fautil regarder? Qu estce qui est visible? Qu est ce qu on cherche? Comment le regarder? Qu est ce qui devrait marcher? Identifier une erreur Diagnostiquer une erreur Catégoriser ces erreurs 64

65 Qu estce qu on teste? quelles propriétés? Fonctionnalité Sécurité / intégrité Utilisabilité Cohérence Maintenabilité Efficacité Robustesse Sûreté de fonctionnement Etc. 65

66 Comment on teste? Test statique relecture / revue de code analyse automatique (vérification de propriétés, règles de codage...) Test dynamique on exécute le programme avec des valeurs en entrée et on observe le comportement 66

67 Comment on teste? Test fonctionnel (test boîte noire) Utilise la description des fonctionnalités du programme 1 O 1 I 2 O 3 2 Test structurel (test boîte blanche) Utilise la structure interne du programme I 1 I 2 I 3 O 1 O 2 6 7

68 Avec quoi on teste? Une spécification: exprime ce qu on attend du système des règles de codage un cahier des charges (en langue naturelle) commentaires dans le code contrats sur les opérations (à la Eiffel) un modèle UML une spécification formelle (automate, modèle B...) 6 8

69 Test de logiciel Plusieurs techniques Dynamique / statique Génération de test Fonctionnel / structurel Plusieurs niveaux/étapes: Unitaire, intégration, système, de nonrégression 6 9

70 Hiérarchisation des tests Problème analyse des besoins Définition des besoins Cahier des charges Conception globale Conception détaillée implémentation Plan de test système (fonctionnel) Plan de test d intégration? programme Programme livrable Intégration Composants unitaires Tests unitaires Système Tests d intégration Maintenance Test de recette (avec client) Tests systèmes

71 Test unitaire Validation d un module indépendamment des autres Valider intensivement les fonctions unitaires Les unités sontelles suffisamment spécifiées? le code estil lisible, maintenable...? 7 1

72 Test unitaire Pour un langage procédural unité de test = procédure void Ouvrir (char *nom, Compte *C, float S, float D ) { C>titulaire = AlloueEtCopieNomTitulaire(nom); (*C).montant = S ; (*C).seuil = D ; (*C).etat = DEJA_OUVERT ; (*C).histoire.nbop = 0; EnregistrerOperation(C); EcrireTexte("Ouverture du compte numero "); EcrireEntier(NumeroCourant+1); EcrireTexte(", titulaire : \""); EcrireTexte(C>titulaire); EcrireCar('"'); ALaLigne(); } Node Dans un contexte orienté objet 0..1 item: String 0..1 unité de test = classe previous + Node() + isfirst() + islast() next 72

73 Test d intégration Choisir un ordre pour intégrer et tester les différents modules du système 7 3

74 Test d intégration Cas simple: il n y a pas de cycle dans les dépendances entre modules Les dépendances forment un arbre et on peut intégrer simplement de bas en haut 7 4

75 Test d intégration E_RETRY Cas plus complexe: il y a des cycles dans les dépendances entre modules Cas très fréquent dans les systèmes à objets Il faut des heuristiques pour trouver un ordre d intégration INSTRUCTION CALL E_CHECK IFTHENELSE IFTHEN E_DEBUG E_LOOP ONCE_PROCEDURE ONCE_FUNCTION +then_compound ONCE_ROUTINE PROCEDURE FUNCTION SMALLEIFFEL FEATURE_CLAUSE +list LOCAL_NAME ARGUMENT_NAME + magic_count : Integer TYPE + is_ready : Boolean +list +result_type load_class() + get_started() +clients +name_list +to_runnable + falling_down() TYPE +result_type + afd_check() +clients CLIENT_LIST +name NAME BASE_CLASS + is_manifest_string + : path Boolean : String + is_result : Boolean + is_deferred : Boolean + is_void : Boolean + is_expanded : Boolean /+ is_generic : Boolean + is_any : Boolean = initval + is_general : Boolean DEFERRED_FUNCTION DEFERRED_PROCEDURE NATIVE_C NATIVE_SMALL_EIFFEL NATIVE_JVM EFFECTIVE_ROUTINE DEFERRED_ROUTINE EXTERNAL_ROUTINE +native NATIVE WRITABLE_ATTRIBUTE CST_ATT E_INSPECT WHEN_LIST E_WHEN WHEN_ITEM LOCAL_VAR_LIST ROUTINE ATTRIBUTE REVERSE_ASSIGNMENT EXPRESSION WHEN_ITEM_1 CREATION_CALL ASSIGNMENT PROC_CALL +call +type E_FEATURE DECLARATION TYPE DECLARATION_LIST FORMAL_ARG_LIST + is_deferred : Boolean = initval + count : Integer +result_type EXPRESSION CALL_PROC_CALL 1 GLOBALS +writable 1 DECLARATION_GROUP DECLARATION_1 +target 0..* +arguments FEATURE_NAME LOCAL_ARGUMENT CLASS_NAME + is_frozen : Boolean +origin_base_class COMPOUND FEATURE_NAME_LIST EXPORT_ITEM RENAME_PAIR (from InheritanceClause) (from InheritanceClause) +base_class_dictionary +base_class +base_class +export_list +rename_list +undefine_list +parent_list PARENT_LIST +redefine_list (from InheritanceClause) PARENT +select_list (from InheritanceClause) +base_class FEATURE_CLAUSE_LIST +feature_clause_list +creation_clause_list +base_class +base_class EXTERNAL_FUNCTION EXTERNAL_PROCEDURE +list CLASS_NAME +names CREATION_CLAUSE FEATURE_NAME_LIST +procedure_list +list CREATION_CLAUSE_LIST FEATURE_NAME EXPRESSION FROZEN_FEATURE_NAME INFIX_NAME PREFIX_NAME SIMPLE_FEATURE_NAME TYPE / path : String +generic_list +current_type FORMAL_GENERIC_ARG + +constraint constrained : boolean + rank : Integer +list FORMAL_GENERIC_LIST TYPE_CHARACTER +formal_generic_list TYPE_GENERIC TYPE_FORMAL_GENERIC +formal_generic_list (from TYPE) TYPE_CLASS (from TYPE) (from TYPE) TYPE_POINTER TYPE_ANY TYPE_NONE 7 5

76 Test système Valider la globalité du système Les fonctions offertes La qualité du système charge, ergonomie, sécurité, etc. A partir de l interface 7 6

77 Test de nonrégression Vérifier que des modifications apportées au logiciel n ont pas introduit de nouvelles erreurs vérifier que ce qui marchait marche encore Dans la phase de maintenance du logiciel Après refactoring, ajout/suppression de fonctionnalités Après la correction d une faute 7 7

78 Développer du logiciel pour tester du logiciel Test unitaire drivers (lanceur des tests), oracle (succès/échec), intrumentation (mesure couverture) Test d intégration idem + bouchons de tests (stubs), pour simuler les modules non disponibles Test système test des fonctions + environnement matériel + performances 78

79 The History of Software Testing

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

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

eid Trends in french egovernment Liberty Alliance Workshop April, 20th 2007 French Ministry of Finance, DGME

eid Trends in french egovernment Liberty Alliance Workshop April, 20th 2007 French Ministry of Finance, DGME eid Trends in french egovernment Liberty Alliance Workshop April, 20th 2007 French Ministry of Finance, DGME Agenda What do we have today? What are our plans? What needs to be solved! What do we have today?

Plus en détail

Rational Team Concert

Rational Team Concert Une gestion de projet agile avec Rational Team Concert Samira Bataouche Consultante, IBM Rational France 1 SCRUM en Bref Events Artifacts Development Team Source: Scrum Handbook 06 Décembre 2012 Agilité?

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

Installation et compilation de gnurbs sous Windows

Installation et compilation de gnurbs sous Windows Installation et compilation de gnurbs sous Windows Installation de l environnement de développement Code::Blocks (Environnement de développement) 1. Télécharger l installateur de Code::Blocks (version

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

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

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

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

Tagging and tracking mobile transactions

Tagging and tracking mobile transactions Tagging and tracking mobile transactions Chez IBM SWG un arrangement financier s appelle un play Pour cette présentation ce sera le «play mobile» ;O) Régis David regis_david@fr.ibm.com 13 Tagging and Tracking

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

How To connect to TonVPN Max / Comment se connecter à TonVPN Max

How To connect to TonVPN Max / Comment se connecter à TonVPN Max How To connect to TonVPN Max / Comment se connecter à TonVPN Max Note : you need to run all those steps as an administrator or somebody having admin rights on the system. (most of the time root, or using

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

Générateur de pages WEB et serveur pour supervision accessible à partir d un navigateur WEB

Générateur de pages WEB et serveur pour supervision accessible à partir d un navigateur WEB AUTOMGEN 8.009 Générateur de pages WEB et serveur pour supervision accessible à partir d un navigateur WEB version 2 : support de sources vidéo, support 3D, support de l ensemble des objets IRIS 2D WEB

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

WEB page builder and server for SCADA applications usable from a WEB navigator

WEB page builder and server for SCADA applications usable from a WEB navigator Générateur de pages WEB et serveur pour supervision accessible à partir d un navigateur WEB WEB page builder and server for SCADA applications usable from a WEB navigator opyright 2007 IRAI Manual Manuel

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

Florida International University. Department of Modern Languages. FRENCH I Summer A Term 2014 FRE 1130 - U01A

Florida International University. Department of Modern Languages. FRENCH I Summer A Term 2014 FRE 1130 - U01A Florida International University Department of Modern Languages FRENCH I Summer A Term 2014 FRE 1130 - U01A Class time: Monday, Tuesday, Wednesday, Thursday; 6:20 P.M. - 9:00 P.M. Instructors: Prof. Jean-Robert

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

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

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

Le Cloud Computing est-il l ennemi de la Sécurité?

Le Cloud Computing est-il l ennemi de la Sécurité? Le Cloud Computing est-il l ennemi de la Sécurité? Eric DOMAGE Program manager IDC WE Security products & Solutions Copyright IDC. Reproduction is forbidden unless authorized. All rights reserved. Quelques

Plus en détail

Les licences Creative Commons expliquées aux élèves

Les licences Creative Commons expliquées aux élèves Les licences Creative Commons expliquées aux élèves Source du document : http://framablog.org/index.php/post/2008/03/11/education-b2i-creative-commons Diapo 1 Creative Commons presents : Sharing Creative

Plus en détail

Camera de surveillance IP / WIFI / DVR Waterproof Vision nocturne Certification CE / FC

Camera de surveillance IP / WIFI / DVR Waterproof Vision nocturne Certification CE / FC Camera de surveillance IP / WIFI / DVR. 1 Camera de surveillance IP / WIFI / DVR. 2 Camera de surveillance IP / WIFI - Waterproof et infrarouge pour une utilisation extérieure. Une camera IP Puissante

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? aujourd hui l un des sites Internet les plus visités au monde. Si tu as plus de 13 ans, tu fais peut-être partie des 750 millions de personnes dans le monde qui ont une page Facebook?

Plus en détail

Retired Rock Star Presents Programme for Schools

Retired Rock Star Presents Programme for Schools Séquence 12 Public cible 2 de, 1 e / Écouter : B1+ ; Écrire : B1 Retired Rock Star Presents Programme for Schools Le célèbre musicien du groupe Pink Floyd, Roger Waters, présente son programme pour les

Plus en détail

PEINTAMELEC Ingénierie

PEINTAMELEC Ingénierie PEINTAMELEC Ingénierie Moteurs de productivité Drivers of productivity Automatisation de systèmes de production Informatique industrielle Manutention Contrôle Assemblage Automating production systems Industrial

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

Nouveautés printemps 2013

Nouveautés printemps 2013 » English Se désinscrire de la liste Nouveautés printemps 2013 19 mars 2013 Dans ce Flash Info, vous trouverez une description des nouveautés et mises à jour des produits La Capitale pour le printemps

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

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

Le passé composé. C'est le passé! Tout ça c'est du passé! That's the past! All that's in the past!

Le passé composé. C'est le passé! Tout ça c'est du passé! That's the past! All that's in the past! > Le passé composé le passé composé C'est le passé! Tout ça c'est du passé! That's the past! All that's in the past! «Je suis vieux maintenant, et ma femme est vieille aussi. Nous n'avons pas eu d'enfants.

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

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

Guide d'installation rapide TE100-P1U

Guide d'installation rapide TE100-P1U Guide d'installation rapide TE100-P1U V2 Table of Contents Français 1 1. Avant de commencer 1 2. Procéder à l'installation 2 3. Configuration du serveur d'impression 3 4. Ajout de l'imprimante sur votre

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

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

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

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

GIGABIT PCI DESKTOP ADAPTER DGE-530T. Quick Installation Guide+ Guide d installation+

GIGABIT PCI DESKTOP ADAPTER DGE-530T. Quick Installation Guide+ Guide d installation+ GIGABIT PCI DESKTOP ADAPTER Quick Installation Guide+ Guide d installation+ Check Your Package Contents Quick Installation Guide Gigabit Ethernet PCI Adapter CD with Manual and Drivers DO NOT insert the

Plus en détail

Comment concevoir et réaliser des applications mobiles combinant l'iot et le cognitif? Erwan Maréchal

Comment concevoir et réaliser des applications mobiles combinant l'iot et le cognitif? Erwan Maréchal IBM 2015 App Days Amphithéatre Blaise Pascal Comment concevoir et réaliser des applications mobiles combinant l'iot et le cognitif? Erwan Maréchal Appli Single Page : le concept du «Single Page App» Qu

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

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

Food for thought paper by the Coordinator on Reporting 1 PrepCom 3rd Review Conference 6 décembre 2013

Food for thought paper by the Coordinator on Reporting 1 PrepCom 3rd Review Conference 6 décembre 2013 Food for thought paper by the Coordinator on Reporting 1 PrepCom 3rd Review Conference 6 décembre 2013 (slide 1) Mr President, Reporting and exchange of information have always been a cornerstone of the

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

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

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

Le contrôle qualité sur les données fastq

Le contrôle qualité sur les données fastq Le contrôle qualité sur les données fastq TP detection exome Plan Théorie 1: le format FastQ et l'encodage des qualités Session pratique 1: conversion des qualités (fichier illumina.fastq) Théorie 2: le

Plus en détail

PC industriels et disques associés

PC industriels et disques associés Technical Service Bulletin PRODUIT DATE CREATION DATE MODIFICATION FICHIER PC INDUSTRIEL 23/03/2010 201005 REV A PC industriels et disques associés English version follows. SF01 (du 4 au 8 janvier 2010)

Plus en détail

NOM ENTREPRISE. Document : Plan Qualité Spécifique du Projet / Project Specific Quality Plan

NOM ENTREPRISE. Document : Plan Qualité Spécifique du Projet / Project Specific Quality Plan Document : Plan Qualité Spécifique du Projet Project Specific Quality Plan Référence Reference : QP-3130-Rev 01 Date Date : 12022008 Nombre de Pages Number of Pages : 6 Projet Project : JR 100 Rédacteur

Plus en détail

GREDOR Gestion des Réseaux Electriques de Distribution Ouverts aux Renouvelables

GREDOR Gestion des Réseaux Electriques de Distribution Ouverts aux Renouvelables GREDOR Gestion des Réseaux Electriques de Distribution Ouverts aux Renouvelables Can operational planning decrease distribution costs? - La gestion prévisionnelle pour diminuer les coûts de distribution?

Plus en détail

Haslingden High School French Y8 Block C Set 1 HOMEWORK BOOKLET

Haslingden High School French Y8 Block C Set 1 HOMEWORK BOOKLET Haslingden High School French Y8 Block C Set 1 HOMEWORK BOOKLET Name: Form: Subject Teacher: Date Given: Date to Hand in: Level: Effort: House Points: Comment: Target: Parent / Guardian Comment: Complete

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

Please find attached a revised amendment letter, extending the contract until 31 st December 2011.

Please find attached a revised amendment letter, extending the contract until 31 st December 2011. Sent: 11 May 2011 10:53 Subject: Please find attached a revised amendment letter, extending the contract until 31 st December 2011. I look forward to receiving two signed copies of this letter. Sent: 10

Plus en détail

Council Member Inquiry/Motion Form Demande de renseignements d un membre du Conseil /Formulaire de motion

Council Member Inquiry/Motion Form Demande de renseignements d un membre du Conseil /Formulaire de motion Council Member Inquiry/Motion Form Demande de renseignements d un membre du Conseil /Formulaire de motion From/Exp. : Councillor/Conseiller S. Blais Date : February 27, 2012 File/Dossier : ITSC 01-12 To/Dest.

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

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

Introduction. Règlement général des TPs - Rappel. Objectifs du cours. Génie logiciel. Génie logiciel

Introduction. Règlement général des TPs - Rappel. Objectifs du cours. Génie logiciel. Génie logiciel Introduction Génie logiciel Philippe Dugerdil Génie logiciel «The disciplined application of engineering, scientific and mathematical principles, methods and tools to the economical production of quality

Plus en détail

Les ordinateurs calculent-ils juste?

Les ordinateurs calculent-ils juste? Les ordinateurs calculent-ils juste? Christophe TROESTLER Christophe.Troestler@umh.ac.be Les ordinateurs calculent-ils juste? Représentation binaire des nombres entiers deux symboles en valent bien dix!

Plus en détail

6. Les désastres environnementaux sont plus fréquents. 7. On ne recycle pas ses déchets ménagers. 8. Il faut prendre une douche au lieu d un bain.

6. Les désastres environnementaux sont plus fréquents. 7. On ne recycle pas ses déchets ménagers. 8. Il faut prendre une douche au lieu d un bain. 1. Notre planète est menacée! 2. Il faut faire quelque chose! 3. On devrait faire quelque chose. 4. Il y a trop de circulation en ville. 5. L air est pollué. 6. Les désastres environnementaux sont plus

Plus en détail

ANGULAR JS AVEC GDE GOOGLE

ANGULAR JS AVEC GDE GOOGLE ANGULAR JS AVEC GDE GOOGLE JUIN 2015 BRINGING THE HUMAN TOUCH TO TECHNOLOGY 2015 SERIAL QUI SUIS-JE? ESTELLE USER EXPERIENCE DESIGNER BUSINESS ANALYST BRINGING THE HUMAN TOUCH TO TECHNOLOGY SERIAL.CH 2

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

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

CUMULUS BASIC INSTALLATION GUIDE FOR AERCUS INSTRUMENTS MODELS WS3083, WS2083 AND WS1093

CUMULUS BASIC INSTALLATION GUIDE FOR AERCUS INSTRUMENTS MODELS WS3083, WS2083 AND WS1093 CUMULUS BASIC INSTALLATION GUIDE FOR AERCUS INSTRUMENTS MODELS WS3083, WS2083 AND WS1093 System Requirements Cumulus is a Windows application and runs on XP to Windows 10 inclusive (and the server versions).

Plus en détail

en SCÈNE RATIONAL Rational Démonstration SDP : automatisation de la chaîne de développement Samira BATAOUCHE sbataouche@fr.ibm.com

en SCÈNE RATIONAL Rational Démonstration SDP : automatisation de la chaîne de développement Samira BATAOUCHE sbataouche@fr.ibm.com Rational Démonstration SDP : automatisation de la chaîne de développement Samira BATAOUCHE sbataouche@fr.ibm.com Fabrice GRELIER fabrice.grelier@fr.ibm.com RATIONAL en SCÈNE 2007 IBM Corporation Objectif

Plus en détail

Contents Windows 8.1... 2

Contents Windows 8.1... 2 Workaround: Installation of IRIS Devices on Windows 8 Contents Windows 8.1... 2 English Français Windows 8... 13 English Français Windows 8.1 1. English Before installing an I.R.I.S. Device, we need to

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

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

Audio and Web Conferencing services. Orange Business Services. Web Conferencing

Audio and Web Conferencing services. Orange Business Services. Web Conferencing Audio and Web Conferencing services Orange Business Services Web Conferencing web conferencing completely integrated audio and web services conference availability 24hrs/7days up to 100 participants complete

Plus en détail

The new consumables catalogue from Medisoft is now updated. Please discover this full overview of all our consumables available to you.

The new consumables catalogue from Medisoft is now updated. Please discover this full overview of all our consumables available to you. General information 120426_CCD_EN_FR Dear Partner, The new consumables catalogue from Medisoft is now updated. Please discover this full overview of all our consumables available to you. To assist navigation

Plus en détail

150Mbps Micro Wireless N USB Adapter

150Mbps Micro Wireless N USB Adapter 150Mbps Micro Wireless N USB Adapter TEW-648UBM ŸGuide d'installation rapide (1) ŸTroubleshooting (5) 1.11 1. Avant de commencer Contenu de l'emballage ŸTEW-648UBM ŸCD-ROM (guide de l utilisateur et utilitaire)

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

Deadline(s): Assignment: in week 8 of block C Exam: in week 7 (oral exam) and in the exam week (written exam) of block D

Deadline(s): Assignment: in week 8 of block C Exam: in week 7 (oral exam) and in the exam week (written exam) of block D ICM STUDENT MANUAL French 2 JIC-FRE2.2V-12 Module Change Management and Media Research Study Year 2 1. Course overview Books: Français.com, niveau intermédiaire, livre d élève+ dvd- rom, 2ième édition,

Plus en détail

Développement de logiciels par objets avec UML (Unified Modeling Language) Pr. Jean-Marc Jézéquel IRISA - Univ. Rennes I

Développement de logiciels par objets avec UML (Unified Modeling Language) Pr. Jean-Marc Jézéquel IRISA - Univ. Rennes I 1 Développement de logiciels par objets avec UML (Unified Modeling Language) Pr. Jean-Marc Jézéquel IRISA - Univ. Rennes I Campus de Beaulieu F-35042 Rennes Cedex Tel : +33 299 847 192 Fax : +33 299 842

Plus en détail

Marketing Régional et Mondial Copyright 2015 Miami Association of Realtors

Marketing Régional et Mondial Copyright 2015 Miami Association of Realtors MLS - Local and Global Marketing Marketing Régional et Mondial Copyright 2015 Miami Association of Realtors Teresa King Kinney CEO Miami Association of Realtors Miami Association of Realtors 40,000 Members

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

Guide d'installation rapide. TK-217i 1.01

Guide d'installation rapide. TK-217i 1.01 Guide d'installation rapide TK-217i 1.01 Table of Contents Français 1 1. Avant de commencer 1 2. Procéder à l'installation 2 3. Fonctionnement 3 4. Utilisation de l'utilitaire KVM 4 Technical Specifications

Plus en détail

PACK VIDEO SURVEILLANCE SUPER HAD

PACK VIDEO SURVEILLANCE SUPER HAD 4 Cameras HAD SONY CCTV / 1 DVR Numérique professionnel Infrarouge Antivandalisme Waterproof 1 4 Système de vidéo surveillance idéal pour les particuliers et professionnels ayant un petit budget pour une

Plus en détail

EUDAT and CINES data preservation services. Workshop PREDON Stéphane Coutin 05 nov 2014

EUDAT and CINES data preservation services. Workshop PREDON Stéphane Coutin 05 nov 2014 EUDAT and CINES data preservation services Workshop PREDON Stéphane Coutin 05 nov 2014 Le CINES Basé à Montpellier (Hérault, France) EPA créé en 1999, succédant au CNUSC (Centre National Universitaire

Plus en détail

Assoumta Djimrangaye Coordonnatrice de soutien au développement des affaires Business development support coordinator

Assoumta Djimrangaye Coordonnatrice de soutien au développement des affaires Business development support coordinator 2008-01-28 From: [] Sent: Monday, January 21, 2008 6:58 AM To: Web Administrator BCUC:EX Cc: 'Jean Paquin' Subject: RE: Request for Late Intervenorship - BCHydro Standing Offer C22-1 Dear Bonnie, Please

Plus en détail

REG: Exigences réglementaires pour le développement de dispositifs médicaux. MA: REG Didier Maillefer, Déc.2009 (1)

REG: Exigences réglementaires pour le développement de dispositifs médicaux. MA: REG Didier Maillefer, Déc.2009 (1) REG: Exigences réglementaires pour le développement de dispositifs médicaux MA: REG Didier Maillefer, Déc.2009 (1) Objectifs Sensibiliser l ingénieur chef de projet aux exigences qualité liées au développement

Plus en détail

Software Requirements. Cahier des Charges des Logiciels. LFI2, Automne 2008, Genie Logiciel

Software Requirements. Cahier des Charges des Logiciels. LFI2, Automne 2008, Genie Logiciel Software Requirements المتطلبات البرمجية Cahier des Charges des Logiciels LFI2, Automne 2008, Genie Logiciel Cahier des Charges Document qui stipule Services rendus par le systeme envisage. Contraintes

Plus en détail

IoT & Security innovation Day. Industrial Expectations and Technological Challenge. Patrice LAMOTTE - Thales Services Novembre 2015

IoT & Security innovation Day. Industrial Expectations and Technological Challenge. Patrice LAMOTTE - Thales Services Novembre 2015 IoT & Security innovation Day Industrial Expectations and Technological Challenge Patrice LAMOTTE - Thales Services Novembre 2015 http://www.pole-scs.org/article/iot-security-innovation-day www.thalesgroup.com

Plus en détail

GREDOR Gestion des Réseaux Electriques de Distribution Ouverts aux Renouvelables. Presentation and snapshot of achieved work

GREDOR Gestion des Réseaux Electriques de Distribution Ouverts aux Renouvelables. Presentation and snapshot of achieved work GREDOR Gestion des Réseaux Electriques de Distribution Ouverts aux Renouvelables Presentation and snapshot of achieved work FLEXIPAC meeting Bertrand Cornélusse, University of Liège December 2014 1 P L

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

AMESD-Puma2010-EFTS- Configuration-update-TEN (en-fr)

AMESD-Puma2010-EFTS- Configuration-update-TEN (en-fr) AMESD-Puma2010-EFTS- Configuration-update-TEN (en-fr) Doc.No. : EUM/OPS/TEN/13/706466 Issue : v3 Date : 7 May 2014 WBS : EUMETSAT Eumetsat-Allee 1, D-64295 Darmstadt, Germany Tel: +49 6151 807-7 Fax: +49

Plus en détail

Evaluation de la prime de risques de la vente d une bande d énergie nucléaire

Evaluation de la prime de risques de la vente d une bande d énergie nucléaire 28/3/2011 ANNEXE 6 (Source: Electrabel) Evaluation de la prime de risques de la vente d une bande d énergie nucléaire Si nous vendons une bande d énergie nucléaire à certains clients, que nous garantissons

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

Utiliser une WebCam. Micro-ordinateurs, informations, idées, trucs et astuces

Utiliser une WebCam. Micro-ordinateurs, informations, idées, trucs et astuces Micro-ordinateurs, informations, idées, trucs et astuces Utiliser une WebCam Auteur : François CHAUSSON Date : 8 février 2008 Référence : utiliser une WebCam.doc Préambule Voici quelques informations utiles

Plus en détail

RESULTING FROM THE ANTI-SEMITIC LEGISLATION IN FORCE DURING THE OCCUPATION. (Decree 99-778 of September 10, 1999) QUESTIONNAIRE. Family Name...

RESULTING FROM THE ANTI-SEMITIC LEGISLATION IN FORCE DURING THE OCCUPATION. (Decree 99-778 of September 10, 1999) QUESTIONNAIRE. Family Name... COMMISSION FOR THE COMPENSATION OF VICTIMS OF SPOLIATION RESULTING FROM THE ANTI-SEMITIC LEGISLATION IN FORCE DURING THE OCCUPATION (Decree 99-778 of September 10, 1999) Case Number : (to remind in all

Plus en détail

L année du Cloud : De plus en plus d entreprises choisissent le Cloud

L année du Cloud : De plus en plus d entreprises choisissent le Cloud Information aux medias Saint-Denis, France, 17 janvier 2013 L année du Cloud : De plus en plus d entreprises choisissent le Cloud Des revenus liés au Cloud estimés à près d un milliard d euros d ici 2015

Plus en détail

Exemple PLS avec SAS

Exemple PLS avec SAS Exemple PLS avec SAS This example, from Umetrics (1995), demonstrates different ways to examine a PLS model. The data come from the field of drug discovery. New drugs are developed from chemicals that

Plus en détail

Frequently Asked Questions

Frequently Asked Questions GS1 Canada-1WorldSync Partnership Frequently Asked Questions 1. What is the nature of the GS1 Canada-1WorldSync partnership? GS1 Canada has entered into a partnership agreement with 1WorldSync for the

Plus en détail

Annonce de voyage Concerne les voyages en Suisse par les transports publics Utilisation d un véhicule privé La demande d utilisation d un véhicule

Annonce de voyage Concerne les voyages en Suisse par les transports publics Utilisation d un véhicule privé La demande d utilisation d un véhicule Annonce de voyage Concerne les voyages en Suisse par les transports publics Utilisation d un véhicule privé La demande d utilisation d un véhicule privée ne doit plus être utilisée. Elle est remplacée

Plus en détail

Un ACTIF InConToURnABLE PoUR DEs PARTEnARIATs significatifs. social. An ASSeT To meaningful PARTneRSHIPS

Un ACTIF InConToURnABLE PoUR DEs PARTEnARIATs significatifs. social. An ASSeT To meaningful PARTneRSHIPS Le capital Un ACTIF InConToURnABLE PoUR DEs PARTEnARIATs significatifs social capital An ASSeT To meaningful PARTneRSHIPS Présentation des participants participants presentation Fondation Dufresne et Gauthier

Plus en détail

JSSI 2013. Veille avancée sur le noyau Linux. Etienne Comet 19/03/2013 19/03/2013 JSSI 2013 1

JSSI 2013. Veille avancée sur le noyau Linux. Etienne Comet 19/03/2013 19/03/2013 JSSI 2013 1 JSSI 2013 Veille avancée sur le noyau Linux Etienne Comet 19/03/2013 19/03/2013 JSSI 2013 1 Sommaire Analyser un CVE noyau Chercher les bugs corrigés silencieusement Le GIT Pousser l analyse d un bug :

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

When you are told to do so, open your paper and write your answers in English in the spaces provided.

When you are told to do so, open your paper and write your answers in English in the spaces provided. FOR OFFICIAL USE C 000/403 NATIONAL QUALIFICATIONS 008 TUESDAY, 3 MAY.0 AM.0 PM Total FRENCH STANDARD GRADE Credit Level Reading Fill in these boxes and read what is printed below. Full name of centre

Plus en détail