Canevas de développement agile pour l'évolution fiable de systèmes logiciels à composants ou orientés services
|
|
- Marianne Bénard
- il y a 8 ans
- Total affichages :
Transcription
1 1 Canevas de développement agile pour l'évolution fiable de systèmes logiciels à composants ou orientés services Guillaume Waignier, Anne-Françoise Le Meur, Laurence Duchien Equipe ADAM INRIA Lille-Nord Europe UNIVERSITE DES SCIENCES ET TECHNOLOGIES DE LILLE LIFL - UMR 8022 CNRS VILLENEUVE D'ASCQ CEDEX
2 1. Contexte 2 Construction et évolution des systèmes logiciels Ensemble de fonctionnalités pour répondre aux besoins des utilisateurs Allongement de la durée de vie Besoin d'évoluer rapidement [Lehman85] Nouvelles exigences des utilisateurs Ajout/suppression de fonctionnalités Besoin de fiabilité [ISO9126] Maintenir le niveau de service dans des conditions données Conception & évolution Approches de constructions rapides Méthodologie de développement agile Architecture logicielle à base de composants
3 1. Contexte Méthode agile 3 Méthode agile [Manifesto01] Processus de développement logiciel Nombreuses méthodes agiles (Scrum, XP,...) Réactive face aux évolutions des besoins des utilisateurs Cycle court et rapide (Scrum: de 1 à 4 semaines) Cycle incrémental et itératif Ajout/suppression de fonctionnalités à chaque itération Tests continus Cycle Conception (architecte) Implémentation (développeur) Déploiement (administrateur) Exécution (testeur) Conception Implémentation Exécution Déploiement
4 1. Contexte Architecture logicielle 4 Architecture logicielle [Medvidovic00] Brique logicielle = fonctionnalité Composant / service Facilite la conception Assemblage, réutilisation Raisonnement Conception de systèmes fiables On ne part pas de rien Briques logicielles fiables Assembler des briques compatibles Besoin : Interactions compatibles lors de la conception et l'évolution Cycle itératif C1 C3 C2 Conception Implémentation Déploiement Exécution
5 2. Exemple : Dossier Médical Personnel Ce qu on aimerait pouvoir faire 5 Exemple fil rouge Objectif : conception et évolution fiable Architecture logicielle Cycle de développement agile (itératif et incrémental) Mise en évidence des problèmes Chaque étape du cycle Application DMP Démonstrateur du projet FAROS Un des rôles Consultation d'informations médicales Utilisateurs : professionnels de santé Pharmaciens, radiologues, pédiatres,... Informations médicales Ordonnances, radiographies, échographies,...
6 2. Exemple : Dossier Médical Personnel 2.1. Conception (structure) 6 Conception Quelles fonctionalités et comment les assembler
7 2. Exemple : Dossier Médical Personnel 2.1. Conception (propriétés applicatives) 7 Conception Propriétés applicatives Structure : contraint les connexions
8 2. Exemple : Dossier Médical Personnel 2.1. Conception (propriétés applicatives) 8 Conception Propriétés applicatives Structure : contraint les connexions Comportement : exprime le flot de contrôle
9 2. Exemple : Dossier Médical Personnel 2.1. Conception (propriétés applicatives) 9 Conception Propriétés applicatives Structure : contraint les connexions Comportement : exprime le flot de contrôle Flot de données : limite la valeur des messages reçus et envoyés
10 2. Exemple : Dossier Médical Personnel 2.1. Conception (propriétés applicatives) 10 Conception Propriétés applicatives Structure : contraint les connexions Comportement : exprime le flot de contrôle Flot de données : limite la valeur des messages reçus et envoyés QdS : définit les contraintes extra fonctionnelles (CPU, )
11 2. Exemple : Dossier Médical Personnel 2.1. Conception (propriétés applicatives) 11 Conception Propriétés applicatives Structure : contraint les connexions Comportement : exprime le flot de contrôle Peut-on décrire une telle Flot de données : limite la valeur des messages reçus et envoyés application? QdS : définit les contraintes extra fonctionnelles (CPU, )
12 2. Exemple : Dossier Médical Personnel 2.1. Conception (propriétés applicatives) Étude de l'existant 12 Support de spécification limité Aucun support (Fractal Julia, CCM, SCA) Pas de support des 4 catégories Hétérogène et dispersé Fractal, CCM, SCA Wright SOFA, Fractal- BPC Structure limité Style limité Comporte ment Flot de données n/a CSP Behavioral protocol n/a n/a n/a Acme/ Armani Armani language Confract SafArchie WebServices invariant Type limité n/a n/a SFSP BPMN/BPEL pre/post conditions pre/post conditions pre/post conditions QdS n/a n/a n/a n/a n/a n/a SLA n/a
13 2. Exemple : Dossier Médical Personnel 2.1. Conception (propriétés applicatives) 13 Conception
14 2. Exemple : Dossier Médical Personnel 2.1. Conception (propriétés applicatives) 14 spec Conception
15 2. Exemple : Dossier Médical Personnel 2.2. Validation statique 15 Validation statique spec Conception Besoin d'effectuer une validation statique pour les vérifier les interactions le + tôt possible
16 2. Exemple : Dossier Médical Personnel 2.2. Validation statique 16 spec Validation statique Conception
17 2. Exemple : Dossier Médical Personnel 2.2. Validation statique 17 spec Validation statique Conception
18 2. Exemple : Dossier Médical Personnel 2.2. Validation statique 18 spec Validation statique Conception Partiellement compatible :Besoin d'effectuer une validation dynamique car on ne pourra savoir qu à l exécution
19 2. Exemple : Dossier Médical Personnel 2.2. Validation statique 19 spec Validation statique Conception Peut-on faire cette validation? Partiellement compatible :Besoin d'effectuer une validation dynamique car on ne pourra savoir qu à l exécution
20 2. Exemple : Dossier Médical Personnel 2.2. Validation statique Étude de l'existant 20 Analyse d'une interaction [Barais05] Compatible Incompatible Partiellement compatible Manque de support de validation Outils fortement couplés avec une plate-forme Prise en charge d'un sous ensemble des propriétés applicatives Pas de prise en compte des interactions partiellement compatibles Analyses statiques et dynamiques découplées
21 2. Exemple : Dossier Médical Personnel 2.2. Validation statique 21 spec Validation statique Conception
22 2. Exemple : Dossier Médical Personnel 2.2. Validation statique 22 spec lacune Validation statique Conception
23 2. Exemple : Dossier Médical Personnel 2.3. Implémentation 23 spec lacune Validation statique Conception Implémentation
24 2. Exemple : Dossier Médical Personnel 2.3. Implémentation 24 Cache, provide=@interface(...)) public class CacheImpl implements SearchDataItf out ) private ImageServer.SearchDataItf p2; public Image get(url url) Validation { lacune statique Conception... spec } }
25 2. Exemple : Dossier Médical Personnel 2.3. Implémentation 25 spec Cache, provide=@interface(...)) public class CacheImpl implements SearchDataItf out ) private ImageServer.SearchDataItf p2; public Image get(url url) Validation { lacune statique Conception... } } Cohérence de l implémentation et des spécifications (structure)?
26 2. Exemple : Dossier Médical Personnel 2.3. Implémentation 26 spec lacune Validation statique Conception inco Implémentation
27 2. Exemple : Dossier Médical Personnel 2.4. Déploiement 27 spec lacune Validation statique Conception inco Implémentation On instancie. Déploiement
28 2. Exemple : Dossier Médical Personnel 2.5. Exécution / Validation dynamique 28 lacune Validation statique spec Conception Validation inco dynamique Implémentation Exécution Déploiement
29 2. Exemple : Dossier Médical Personnel 2.5. Exécution / Validation dynamique 29 lacune Validation statique spec Conception Validation inco dynamique Implémentation Exécution Déploiement Comment faire des tests à l exécution?
30 2. Exemple : Dossier Médical Personnel 2.5. Exécution / Validation dynamique Étude de l'existant 30 Besoin d'observer les données d'exécution Valeur des messages échangés QdS Manque de support d'observation Mise en oeuvre manuelle du mécanisme d'observation Modification du code source des composants/services Intégration de sondes de QdS Difficile et source d'erreur Tests en dur ou presque il faut instrumentiser le code Identification manuelle de la source de l erreur Message d'erreur au niveau du code Perte du lien avec les propriétes applicatives
31 2. Exemple : Dossier Médical Personnel 2.5. Exécution / Validation dynamique 31 lacune Validation statique spec Conception Validation inco dynamique Implémentation Exécution obs Déploiement
32 2. Exemple : Dossier Médical Personnel 2.6. Évolution 32 lacune Validation statique spec Conception Validation inco dynamique Implémentation Exécution Déploiement obs Comment revoir sa copie et faire évoluer l application?
33 2. Exemple : Dossier Médical Personnel 2.6. Évolution 33 lacune Validation statique spec Conception Validation inco dynamique Implémentation Exécution obs Déploiement
34 2. Exemple : Dossier Médical Personnel 2.6. Évolution 34 lacune Validation statique spec Conception rupture Validation inco dynamique Implémentation Exécution obs Déploiement
35 35 Plan Contexte Exemple Problématique : définir un canevas qui permet l'évolution fiable CALICO Evaluation Conclusion
36 3. Problématique : évolution fiable 36 Conception Validation statique Conception Validation dynamique Implémentation Exécution Déploiement
37 3. Problématique : évolution fiable 37 Conception Manque de moyen de spécification des propriétés applicatives Validation statique spec Conception Validation dynamique Implémentation Exécution Déploiement
38 3. Problématique : évolution fiable 38 Conception Manque de moyen de spécification des propriétés applicatives Validation statique Manque d'outil d'analyse statique lacune Validation statique spec Conception Validation dynamique Implémentation Exécution Déploiement
39 3. Problématique : évolution fiable 39 Conception Manque de moyen de spécification des propriétés applicatives Validation statique Manque d'outil d'analyse statique Implémentation Incohérence avec la spécification lacune Validation statique spec Conception Validation inco dynamique Implémentation Exécution Déploiement
40 3. Problématique : évolution fiable 40 Conception Manque de moyen de spécification des propriétés applicatives Validation statique Manque d'outil d'analyse statique Implémentation Incohérence avec la spécification Déploiement Rupture entre conception/exécution spec inco Implémentation lacune Validation statique Conception rupture Validation dynamique Exécution Déploiement
41 3. Problématique : évolution fiable 41 Conception Manque de moyen de spécification des propriétés applicatives Validation statique Manque d'outil d'analyse statique Implémentation Incohérence avec la spécification Déploiement Rupture entre conception/exécution Exécution / validation dynamique Manque de mécanisme d'observation spec inco Implémentation lacune Validation statique Conception rupture Validation dynamique Exécution Déploiement obs
42 42 Plan Contexte Exemple Problématique CALICO Evaluation Conclusion
43 4. CALICO (cycle de développement) 43 Evolution Développement itératif 6 étapes Vue conceptuelle synchronisée avec le logiciel en cours d'exécution Implémentation Conception Validation statique Exécution Validation dynamique Déploiement Fiabilisation des évolutions Couplage des validations statiques et dynamiques des évolutions Multi plates-formes Intégration transparente des mécanismes de validation dans le logiciel Extensible et générique
44 4. CALICO (Canevas) 44
45 45 Plan Contexte Exemple Problématique CALICO Conception Validation statique Implémentation Déploiement Exécution/Validation dynamique Evaluation Conclusion Implémentation Conception Déploiement Validation statique Exécution Validation dynamique
46 4. CALICO (cycle de développement) 4.1. Conception 46 Architecte Spécifier l'assemblage de composants /services Décrire les propriétés applicatives
47 4. CALICO (cycle de développement) 4.1. Conception 47 Architecte Spécifier l'assemblage de composants /services Décrire les propriétés applicatives CALICO Offre une large palette de spécifications structure, comportement, flot de données et de QdS Intégration uniforme des catégories de propriétés applicatives Paradigme hypothèse/garantie
48 4. CALICO (cycle de développement) 4.1. Conception 48 Architecte Spécifier l'assemblage de composants /services Décrire les propriétés applicatives CALICO Offre une large palette de spécifications structure, comportement, flot de données et de QdS Intégration uniforme des catégories de propriétés applicatives Paradigme hypothèse/garantie Avantages Extensible Indépendant de la plate-forme d'exécution Permet la spécification de propriétés applicatives sur des plates-formes qui ne la supportent pas nativement
49 4. CALICO (cycle de développement) 4.1. Conception Métamodèle de structure du système Décrit l'assemblage de composants et de services 49 Need of runtime checks
50 4. CALICO (cycle de développement) 4.1. Conception Métamodèle de structure du système Décrit l'assemblage de composants et de services Structure basé sur l'existant (16 modèles à composants/services) 50 Need of runtime checks Concepts communs
51 4. CALICO (cycle de développement) 4.1. Conception Métamodèle de structure du système Décrit l'assemblage de composants et de services Structure basé sur l'existant (16 modèles à composants/services) Besoin de raisonner sur les interactions entre composants/services 51 Need of runtime checks Concepts communs Détail du point de communication
52 4. CALICO (cycle de développement) 4.1. Conception Métamodèle des propriétés structurelles Décrit les contraintes structurelles Basé sur un langage de contraintes bien connu (OCL) Spécialisation pour les architectures logicielles 52
53 4. CALICO (cycle de développement) 4.1. Conception Métamodèle des propriétés comportementales Décrit le flot de controle entrant et sortant des points de communication Détecter les interblocages Basé sur le graphe de flot de contrôle (comme BPMN) Opérateurs de composition du flot de contrôle non structurés [Aalst07] 53
54 4. CALICO (cycle de développement) 4.1. Conception Métamodèle des propriétés de flot de données Décrit l'interval de valeur autorisé des messages entrant et sortant Requis pour raisonner sur des applications de diffusion d'informations Repose sur le concept de pre/post conditions 54
55 4. CALICO (cycle de développement) 4.1. Conception Métamodèle des propriétés de QdS 55
56 4. CALICO (cycle de développement) 4.1. Conception Métamodèle des propriétés de QdS 56 Hypothèse Garantie
57 4. CALICO (cycle de développement) 4.1. Conception Métamodèle des propriétés de QdS 57 Type de propriétés de QdS
58 4. CALICO (cycle de développement) 4.1. Conception Exemple DMP 58
59 4. CALICO (cycle de développement) 4.1. Conception Exemple DMP 59 Validation statique spec Conception Validation dynamique Implémentation Exécution Déploiement
60 60 Plan Contexte Exemple Problématique CALICO Conception Validation statique Implémentation Déploiement Exécution/Validation dynamique Evaluation Conclusion Implémentation Conception Déploiement Validation statique Exécution Validation dynamique
61 61 Plan Contexte Exemple Problématique CALICO Conception Validation statique Implémentation Déploiement Exécution/Validation dynamique Evaluation Conclusion Implémentation Conception Déploiement Validation statique Exécution Validation dynamique
62 4. CALICO (cycle de développement) 4.2. Validation statique Outil d'analyse des interactions Problématique Manque d'outils de validations 62
63 4. CALICO (cycle de développement) 4.2. Validation statique Outil d'analyse des interactions Problématique Manque d'outils de validations 63 Outil d'analyse des interactions de CALICO Analyse la compatibilité des interactions entre composants /services Vérifie le respect de chaque propriété applicative 3 types d'interaction Compatible : ok Incompatible : message d'erreur Partiellement compatible : préparation des analyses dynamiques
64 4. CALICO (cycle de développement) 4.2. Validation statique Outil d'analyse des interactions Problématique Manque d'outils de validations Package débogage Condition 64 Outil d'analyse des interactions de CALICO Analyse la compatibilité des interactions entre composants /services Vérifie le respect de chaque propriété applicative 3 types d'interaction Compatible : ok Incompatible : message d'erreur Partiellement compatible : préparation des analyses dynamiques Action Événement Partiellement compatible : préparation des analyses dynamiques
65 4. CALICO (cycle de développement) 4.2. Validation statique Outil d'analyse des interactions Problématique Manque d'outils de validations Outil d'analyse des interactions de CALICO Analyse la compatibilité des interactions entre composants /services Vérifie le respect de chaque propriété applicative 3 types d'interaction Compatible : ok Incompatible : message d'erreur Partiellement compatible : préparation des analyses dynamiques Avantage Cadre fédérateur d'intégration des analyses existantes Basé sur le paradigme hypothèse/obligation [lamport93] Factorise les analyses pour différentes plates-formes Lien avec les analyses dynamiques 65
66 4. CALICO (cycle de développement) 4.2. Validation statique Intégration des analyses existantes Analyse structurelle Basé sur OCL [OMG03] 66 Analyse du comportement Basé sur les algèbres de processus existants (CSP [Hoare85],...) Construit le GFC global en synchronisant les GFCs [MG07] Analyse de flot de données Basé sur la validation partielle de programme [Kildall73] Propagation avant des garanties Propagation arrière des hypothèses Analyse de la QdS Basé sur la prédiction de qualité de services dans les flot de contrôle
67 4. CALICO (cycle de développement) 4.2. Validation statique Exemple DMP 67
68 4. CALICO (cycle de développement) 4.2. Validation statique Exemple DMP 68 Propagation avant des garanties
69 4. CALICO (cycle de développement) 4.2. Validation statique Exemple DMP 69 Propagation avant des garanties Propagation arrière des hypothèses
70 4. CALICO (cycle de développement) 4.2. Validation statique Exemple DMP 70 V V Propagation avant des garanties Propagation arrière des hypothèses Identification de la localisation de l'analyse dynamique à effectuer
71 4. CALICO (cycle de développement) 4.2. Validation statique Exemple DMP 71 V Validation statique spec Conception Validation dynamique Implémentation Exécution Propagation avant des garanties Propagation arrière des hypothèses Déploiement lacune V
72 72 Plan Contexte Exemple Problématique CALICO Conception Validation statique Implémentation Déploiement Exécution/Validation dynamique Evaluation Conclusion Implémentation Conception Déploiement Validation statique Exécution Validation dynamique
73 73 Plan Contexte Exemple Problématique CALICO Conception Validation statique Implémentation Déploiement Exécution/Validation dynamique Evaluation Conclusion Implémentation Conception Déploiement Validation statique Exécution Validation dynamique
74 4. CALICO (cycle de développement) 4.3. Implémentation Outil de génération de code 74 Développeurs Ecrire le code technique et métier des composants/services Conforme à la spécification
75 4. CALICO (cycle de développement) 4.3. Implémentation Outil de génération de code 75 Développeurs Ecrire le code technique et métier des composants/services Conforme à la spécification Outil de génération de code de CALICO Squelette de code des composants /services (code technique) ADL
76 4. CALICO (cycle de développement) 4.3. Implémentation Outil de génération de code 76 Développeurs Ecrire le code technique et métier des composants/services Conforme à la spécification Outil de génération de code de CALICO Squelette de code des composants /services (code technique) ADL Avantages Limite l'introduction d'incohérence entre conception et implémentation Focalisation du développement sur le code métier
77 4. CALICO (cycle de développement) 4.3. Implémentation Exemple DMP Cache, public class CacheImpl implements SearchDataItf out ) private ImageServer.SearchDataItf p2; public Image get(url url) {... } }
78 4. CALICO (cycle de développement) 4.3. Implémentation Exemple DMP 78 inco Cache, public class CacheImpl implements SearchDataItf out ) private ImageServer.SearchDataItf p2; public Image Validation get(url lacune url) { statique spec Conception... } Validation } dynamique Exécution Déploiement
79 4. CALICO (cycle de développement) 4.3. Implémentation Outil d'instrumentation 79 Besoin d'observer les données d'exécution requises par les analyses dynamiques Manque de fonctionnalités d'observation (données, QdS)
80 4. CALICO (cycle de développement) 4.3. Implémentation Outil d'instrumentation 80 Besoin d'observer les données d'exécution requises par les analyses dynamiques Manque de fonctionnalités d'observation (données, QdS) Outil d'instrumentation Parcourt chaque analyse dynamique spécifiée dans le modèle de débogage Identifie les données d'exécution requises Instrumente l'application pour ajouter/supprimer les sondes Ajoute des aspects au niveau de l'architecture Ajoute des aspects au niveau de l'implémentation
81 4. CALICO (cycle de développement) 4.3. Implémentation Outil d'instrumentation 81 Besoin d'observer les données d'exécution requises par les analyses dynamiques Manque de fonctionnalités d'observation (données, QdS) Outil d'instrumentation Parcourt chaque analyse dynamique spécifiée dans le modèle de débogage Identifie les données d'exécution requises Instrumente l'application pour ajouter/supprimer les sondes Ajoute des aspects au niveau de l'architecture Ajoute des aspects au niveau de l'implémentation Aspect architectural repose sur l'existant (FAC, DAOP-ADL,...)
82 4. CALICO (cycle de développement) 4.3. Implémentation Outil d'instrumentation 82 Besoin d'observer les données d'exécution requises par les analyses dynamiques Manque de fonctionnalités d'observation (données, QdS) Outil d'instrumentation Parcourt chaque analyse dynamique spécifiée dans le modèle de débogage Identifie les données d'exécution requises Instrumente l'application pour ajouter/supprimer les sondes Ajoute des aspects au niveau de l'architecture Ajoute des aspects au niveau de l'implémentation Avantages Gestion transparente des analyses dynamiques Est indépendant de toute plate-forme Est extensible (intégration de canevas existants de sondes)
83 4. CALICO (cycle de développement) 4.3. Implémentation Exemple DMP 83 Capture de la trace des messages échangés Tissage de 4 Cache, provide=@interface(...)) public class CacheImpl implements SearchDataItf out ) private ImageServer.SearchDataItf p2; public Image get(url url, List<String> trace) { trace.add(?cache.in.get.url );... res = this.out.getpicture(url,trace); trace = res.gettrace(); trace.add(?cache.out.getpicture.data );... trace.add(!cache.in.get.data ); return res; } }
84 4. CALICO (cycle de développement) 4.3. Implémentation Exemple DMP 84 Capture de la trace des messages échangés Tissage de 4 Cache, provide=@interface(...)) public class CacheImpl implements SearchDataItf out ) private ImageServer.SearchDataItf p2; public Image get(url url, List<String> trace) { Validation lacune trace.add(?cache.in.get.url ); statique spec Conception... res = this.out.getpicture(url,trace); Validation obs inco trace = res.gettrace(); dynamique Implémentation trace.add(?cache.out.getpicture.data ); Exécution... trace.add(!cache.in.get.data ); Déploiement return res; } }
85 85 Plan Contexte Exemple Problématique CALICO Conception Validation statique Implémentation Déploiement Exécution/Validation dynamique Evaluation Conclusion Implémentation Conception Déploiement Validation statique Exécution Validation dynamique
86 86 Plan Contexte Exemple Problématique CALICO Conception Validation statique Implémentation Déploiement Exécution/Validation dynamique Evaluation Conclusion Implémentation Conception Déploiement Validation statique Exécution Validation dynamique
87 4. CALICO (cycle de développement) 4.4. Déploiement Outil de chargement 87 Problématique Synchroniser la vue conceptuelle et le système en cours d'exécution
88 4. CALICO (cycle de développement) 4.4. Déploiement Outil de chargement 88 Problématique Synchroniser la vue conceptuelle et le système en cours d'exécution Outil de chargement Effectue un déploiement incrémental
89 4. CALICO (cycle de développement) 4.4. Déploiement Outil de chargement 89 Problématique Synchroniser la vue conceptuelle et le système en cours d'exécution Outil de chargement Effectue un déploiement incrémental Identification des modifications
90 4. CALICO (cycle de développement) 4.4. Déploiement Outil de chargement 90 Problématique Synchroniser la vue conceptuelle et le système en cours d'exécution Outil de chargement Effectue un déploiement incrémental Contient la séquence des opérations de construction
91 4. CALICO (cycle de développement 4.4. Déploiement Outil de chargement Ajout/suppression de paramètres Problématique Synchroniser la vue conceptuelle et le système en cours d'exécution 91 Outil de chargement Effectue un déploiement incrémental Granularité du modèle de structure du système Ajout/suppression de ports
92 4. CALICO (cycle de développement) 4.4. Déploiement Outil de chargement 92 Problématique Synchroniser la vue conceptuelle et le système en cours d'exécution Outil de chargement Effectue un déploiement incrémental Adaptation aux contraintes de déploiement de la plateforme cible
93 4. CALICO (cycle de développement 4.4. Déploiement Outil de chargement 93 Problématique Synchroniser la vue conceptuelle et le système en cours d'exécution Outil de chargement Effectue un déploiement incrémental Invocation de l'api de déploiement de la plateforme cible
94 4. CALICO (cycle de développement) 4.4. Déploiement Outil de chargement 94 Problématique Synchroniser la vue conceptuelle et le système en cours d'exécution Outil de chargement Effectue un déploiement incrémental Compare les modèles entre deux itérations du cycle Produit un modèle de mise à jour qui contient la séquence des opérations de construction du système (ajoute/suppime composants/connecteurs,...) Avantages Déploiement applicatif complètement automatisé Gestion uniforme des ajouts/supressions de fonctionnalités Flexible (s'adapte à la granularité des plates-formes)
95 4. CALICO (cycle de développement) 4.4. Déploiement Outil de chargement 95 inco Problématique Synchroniser la vue conceptuelle et le système en cours d'exécution Outil de chargement Effectue un déploiement incrémental Compare les modèles entre deux itérations du cycle Produit un modèle de mise à jour qui contient la séquence des opérations Avantages Implémentation de construction du lacune système (ajoute/suppime composants/connecteurs,...) Validation statique spec Conception Validation obs Déploiement rupture applicatif complètement automatisé dynamique Gestion uniforme Exécutiondes ajouts/supressions de fonctionnalités Flexible (s'adapte à la granularité des plates-formes) Déploiement
96 96 Plan Contexte Exemple Problématique CALICO Conception Validation statique Implémentation Déploiement Exécution/Validation dynamique Evaluation Conclusion Implémentation Conception Déploiement Validation statique Exécution Validation dynamique
97 97 Plan Contexte Exemple Problématique CALICO Conception Validation statique Implémentation Déploiement Exécution/Validation dynamique Evaluation Conclusion Implémentation Conception Déploiement Validation statique Exécution Validation dynamique
98 4. CALICO (cycle de développement) 4.5. Exécution / Validation dynamique 98 Testeurs Exécutent les scénarios d'utilisation du logiciel
99 4. CALICO (cycle de développement) 4.5. Exécution / Validation dynamique 99 Testeurs Exécutent les scénarios d'utilisation du logiciel Outil de débogage Reçoit les données exécution émisent par le logiciel instrumenté Déclenche l'analyse dynamique appropriée Lien avec la validation statique/la vue conceptuelle
100 4. CALICO (cycle de développement) 4.5. Exécution / Validation dynamique 100 Testeurs Exécutent les scénarios d'utilisation du logiciel Outil de débogage Reçoit les données exécution émisent par le logiciel instrumenté Déclenche l'analyse dynamique appropriée Lien avec la validation statique/la vue conceptuelle
101 4. CALICO (cycle de développement) 4.5. Exécution / Validation dynamique 101 Testeurs Exécutent les scénarios d'utilisation du logiciel Outil de débogage Reçoit les données exécution émisent par le logiciel instrumenté Déclenche l'analyse dynamique appropriée Lien avec la validation statique/la vue conceptuelle Avantages Est indépendant de toute plate-forme Est extensible Permet un retour plus facile au niveau conception
102 4. CALICO (cycle de développement) 4.6. Évolution 102 On itère, en corrigeant l architecture.seules les modifications seront appliquées.
103 103 Plan Contexte Exemple Problématique CALICO Conception Validation statique Implémentation Déploiement Exécution/Validation dynamique Evaluation Conclusion Implémentation Conception Déploiement Validation statique Exécution Validation dynamique
104 5. Évaluation 5.1. Contexte 104 Environement des tests Portable Core 2 Duo at 1,33Ghz Java 1.6.0_11 Plate-forme à composants Fractal Test des limites de CALICO Architecture hierarchique très grande ( composants ) Majorité des applications à base de composants < composants Limite des plates-formes à composants SCA Apache Tuscany : < composants
105 5. Évaluation 5.2. Déploiement incrémental 105 Systèmes typiques Avec Fractal ADL CALICO : ~ 2s pour déployer un composant dans un assemblage Fractal Native tool : ~ 2s pour déployer un composant Même niveau de performance que l'outil natif
106 5. Évaluation 5.3. Analyses 106 Systèmes typiques OCL : ~2s pour 1000 composants comportement : ~10s pour 1000 composants Liée à la complexité des algorithmes d'analyse Architectes peuvent activer/désactiver chaque outil d'analyse à n'importe quel moment
Canevas de développement agile pour l'évolution fiable de systèmes logiciels à composants ou orientés services
1 Soutenance de thèse de Doctorat le 26 Janvier 2010 Canevas de développement agile pour l'évolution fiable de systèmes logiciels à composants ou orientés services Guillaume Waignier Equipe ADAM INRIA
Plus en détailChapitre I : le langage UML et le processus unifié
I. Introduction Les méthodes d analyse orientées objet sont initialement issues des milieux industriels. La préoccupation dominante de leurs auteurs est le génie logiciel, c est-àdire les principes et
Plus en détailIFT2255 : Génie logiciel
IFT2255 : Génie logiciel Chapitre 6 - Analyse orientée objets Section 1. Introduction à UML Julie Vachon et Houari Sahraoui 6.1. Introduction à UML 1. Vers une approche orientée objet 2. Introduction ti
Plus en détailAnalyse,, Conception des Systèmes Informatiques
Analyse,, Conception des Systèmes Informatiques Méthode Analyse Conception Introduction à UML Génie logiciel Définition «Ensemble de méthodes, techniques et outils pour la production et la maintenance
Plus en détailbasée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB www.enseirb.fr/~legal Olivier Augereau Formation UML
basée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB www.enseirb.fr/~legal Olivier Augereau Formation UML http://olivier-augereau.com Sommaire Introduction I) Les bases II) Les diagrammes
Plus en détailArchitecture d'entreprise : Guide Pratique de l'architecture Logique
Guides Pratiques Objecteering Architecture d'entreprise : Guide Pratique de l'architecture Logique Auteur : Version : 1.0 Copyright : Softeam Equipe Conseil Softeam Supervisée par Philippe Desfray Softeam
Plus en détailVérification et Validation
Vérification et Validation Génie Logiciel Master 1 II Mihaela Sighireanu Objectifs I. Introduire la vérification et la validation (V&V) du logiciel et comprendre leurs différences. II.Définir le plan de
Plus en détailMODELISATION UN ATELIER DE MODELISATION «RATIONAL ROSE»
MODELISATION UN ATELIER DE MODELISATION «RATIONAL ROSE» Du cours Modélisation Semi -Formelle de Système d Information Du Professeur Jean-Pierre GIRAUDIN Décembre. 2002 1 Table de matière Partie 1...2 1.1
Plus en détail1. Considérations sur le développement rapide d'application et les méthodes agiles
Chapitre 1 Introduction 1. Considérations sur le développement rapide d'application et les méthodes agiles 1.1 Rappel Longtemps les méthodes en cascade ou en V ont été opposées aux démarches empiriques
Plus en détailOracle Fusion Middleware Concepts Guide 11g Release 1 (11.1.1) Figure 1-1 Architecture Middleware
1 Introduction Ce chapitre décrit Oracle Fusion Middleware. Il comprend : o Qu'est-ce que Middleware o Les fonction de Middleware o L'architecture de conception Middleware o L'architecture orientée services
Plus en détailAlignement avec les métiers par le test fonctionnel et d acceptation en projets agiles
Alignement avec les métiers par le test fonctionnel et d acceptation en projets agiles Laurent PY CEO, Smartesting Laurent.py@smartesting.com @py_laurent www.smartesting.com Guillaume Coquelle Testeur,
Plus en détailGRIDKIT: Pluggable Overlay Networks for Grid Computing
GRIDKIT: Pluggable Overlay Networks for Grid Computing Paul Grace, Geoff Coulson, Gordon Blair, Laurent Mathy, Wai Kit Yeung, Wei Cai, David Duce, Chris Cooper Computing Department, Lascaster University
Plus en détailQu'est-ce que le BPM?
Qu'est-ce que le BPM? Le BPM (Business Process Management) n'est pas seulement une technologie mais, dans les grandes lignes, une discipline de gestion d'entreprise qui s'occupe des procédures contribuant
Plus en détailCORBA. (Common Request Broker Architecture)
CORBA (Common Request Broker Architecture) Projet MIAGe Toulouse Groupe 2 1 CORBA, introduction (1/4) Les systèmes répartis permettent de créer des applications basées sur des composants auto-gérables,
Plus en détailDA MOTA Anthony - Comparaison de technologies : PhoneGap VS Cordova
DA MOTA Anthony - Comparaison de technologies : PhoneGap VS Cordova I. Introduction Dans une période où la plasticité peut aider à réduire les coûts de développement de projets comme des applications mobile,
Plus en détailAnnexe : La Programmation Informatique
GLOSSAIRE Table des matières La Programmation...2 Les langages de programmation...2 Java...2 La programmation orientée objet...2 Classe et Objet...3 API et Bibliothèque Logicielle...3 Environnement de
Plus en détailCours Composant 2. Qualité logicielle et spécications algébriques
UPMC Paris Universitas Master Informatique STL Cours Composant 2. Qualité logicielle et spécications algébriques c 2005-2008 Frédéric Peschanski UPMC Paris Universitas 24 février 2008 c 2005-2008 Frédéric
Plus en détailMéthodes Agiles et gestion de projets
Méthodes Agiles et gestion de projets Eric LELEU Consultant Solutions Collaboratives Contact ericleleu@nordnet.fr Site Personnel http://home.nordnet.fr/~ericleleu Blog http://ericleleu.spaces.live.fr La
Plus en détailXP : plus qu'agile. Extreme Programming v2 et Développement Responsable. Thierry Cros
XP : plus qu'agile Extreme Programming v2 et Développement Responsable Thierry Cros Retrouvez cette présentation sur le site http://thierrycros.net Licence CC-BY-NC-SA XP : plus qu'agile Pourquoi XP Installer
Plus en détailLe Processus RUP. H. Kadima. Tester. Analyst. Performance Engineer. Database Administrator. Release Engineer. Project Leader. Designer / Developer
Le Processus RUP Database Administrator Project Leader H. Kadima Performance Engineer Release Engineer Analyst Designer / Developer Tester Table des matières 1. De l artisanat à l industrialisation de
Plus en détailAnalyse de performance, monitoring
Analyse de performance, monitoring Plan Principes de profilage Projet TPTP dans Eclipse Utilisation des profiling tools de TPTP Philippe Collet Master 1 Informatique 2009-2010 http://deptinfo.unice.fr/twiki/bin/view/minfo/gl
Plus en détailAgile 360 Product Owner Scrum Master
Agile 360 Product Owner Scrum Master Lead Technique Equipe Agile Conception Agile Leadership Agile Software Craftmanship Test Driven Development Catalogue 2013 Liste des formations Formation Agile 360
Plus en détailSemarchy Convergence for Data Integration La Plate-Forme d Intégration pour le MDM Évolutionnaire
FICHE PRODUIT Semarchy Convergence for Data Integration La Plate-Forme d Intégration pour le MDM Évolutionnaire BENEFICES Des projets réussis dans les délais et les budgets La bonne donnée disponible au
Plus en détailPratique de la prémétrologie à Orange Labs à travers l'utilisation de la plate forme de test en charge CLIF
Pratique de la prémétrologie à Orange Labs à travers l'utilisation de la plate forme de test en charge CLIF Bruno Dillenseger, Orange Labs, laboratoire MAPS/AMS 28, chemin du Vieux Chêne, 38243 Meylan
Plus en détailLe génie logiciel. maintenance de logiciels.
Le génie logiciel Définition de l IEEE (IEEE 1990): L application d une approche systématique, disciplinée et quantifiable pour le développement, l opération et la maintenance de logiciels. Introduction
Plus en détailURBANISME DES SYSTÈMES D INFORMATION
FAYCAL AYECH GL2. INSAT 2010/2011 INTRODUCTION AUX SYSTÈMES D INFORMATIONS URBANISME DES SYSTÈMES D INFORMATION De l Urbanisme à L Urbanisation des SI Urbanisme : Mise en œuvre des politiques urbaines
Plus en détailLa démarche MDA. Auteur : Projet ACCORD (Assemblage de composants par contrats en environnement ouvert et réparti)*
La démarche MDA Auteur : Projet ACCORD (Assemblage de composants par contrats en environnement ouvert et réparti)* Référence : Livrable 1.1-5 Date : Mai 2002 * : Les partenaires du projet ACCORD sont CNAM,
Plus en détailCAHIER DES CHARGES D IMPLANTATION
CAHIER DES CHARGES D IMPLANTATION Tableau de diffusion du document Document : Cahier des Charges d Implantation EVRP Version 6 Etabli par DCSI Vérifié par Validé par Destinataires Pour information Création
Plus en détailPatrons de Conception (Design Patterns)
Patrons de Conception (Design Patterns) Introduction 1 Motivation Il est difficile de développer des logiciels efficaces, robustes, extensibles et réutilisables Il est essentiel de comprendre les techniques
Plus en détailLa solution IBM Rational pour une ALM Agile
La solution IBM pour une ALM Agile Utilisez votre potentiel agile Points clés Adopter l'agilité à votre rythme Supporter une livraison multiplateforme Intégrer la visibilité Démarrer rapidement Que votre
Plus en détailVérifier la qualité de vos applications logicielle de manière continue
IBM Software Group Vérifier la qualité de vos applications logicielle de manière continue Arnaud Bouzy Kamel Moulaoui 2004 IBM Corporation Agenda Analyse de code Test Fonctionnel Test de Performance Questions
Plus en détailRational Unified Process
Rational Unified Process For Christiane DAVOINE-GUHUR Société GICAB - Vannes Christiane.Davoine@CA-GICAB.fr Table des Matières 1 INTRODUCTION... 1 2 LES COMPOSANTS ET LES GRANDS PRINCIPES DU PROCESSUS...
Plus en détail2. Activités et Modèles de développement en Génie Logiciel
2. Activités et Modèles de développement en Génie Logiciel Bernard ESPINASSE Professeur à l'université d'aix-marseille Plan Les Activités du GL Analyse des besoins Spécification globale Conceptions architecturale
Plus en détail1 JBoss Entreprise Middleware
1 JBoss Entreprise Middleware Les produits de la gamme JBoss Entreprise Middleware forment une suite de logiciels open source permettant de construire, déployer, intégrer, gérer et présenter des applications
Plus en détailGénie logiciel (Un aperçu)
(Un aperçu) (sommerville 2010) Laurent Pérochon INRA URH 63122 St Genès Champanelle Laurent.perochon@clermont.inra.fr Ensemble d activités conduisant à la production d un logiciel Sur un échantillon de
Plus en détailBrique BDL Gestion de Projet Logiciel
Brique BDL Gestion de Projet Logiciel Processus de développement pratiqué à l'enst Sylvie.Vignes@enst.fr url:http://www.infres.enst.fr/~vignes/bdl Poly: Computer elective project F.Gasperoni Brique BDL
Plus en détailRÉUSSIR L AUTOMATISATION DU PROCESSUS DE TEST FONCTIONNEL
UN LIVRE BLANC DE BORLAND RÉUSSIR L AUTOMATISATION DU PROCESSUS DE TEST FONCTIONNEL L'automatisation du processus de test fonctionnel optimise la qualité des logiciels et maximise leur valeur opérationnelle.
Plus en détailChapitre 2 - Architecture logicielle et construction d applications client-serveur
Chapitre 2 - Architecture logicielle et construction d applications client-serveur «Toute technologie suffisamment avancée est indiscernable de la magie» (Arthur Clarke) Résumé La méthodologie MEDEVER
Plus en détailConditions : stage indemnisé, aide au logement possible, transport CEA en Ile-de-France gratuit.
Proposition de stage de BAC+4 ou BAC+5 Pro ou Recherche Etude comparative des outils de vérification d'algorithmes parallèles Logiciels (LSL), localisé à Palaiseau (Essonne), développe les outils d'aide
Plus en détailCours Gestion de projet
Cours Gestion de projet Méthodes de conduite de projet Version Date Auteur V1.8 Septembre 2007 Pascal HEYER 1 Méthodes de conduite de projet Ce document est publié sous la licence libre Creative Commons-BY-NC-SA
Plus en détailCycle de vie du logiciel. Unified Modeling Language UML. UML: définition. Développement Logiciel. Salima Hassas. Unified Modeling Language
Unified Modeling Language UML Salima Hassas Version Cycle de vie du logiciel Client Besoins Déploiement Analyse Test Conception Cours sur la base des transparents de : Gioavanna Di Marzo Serugendo et Frédéric
Plus en détailCLAIRE, UN OUTIL DE SIMULATION ET DE TEST DE LOGICIELS CRITIQUES. Jean GASSINO, Jean-Yves HENRY. Rapport IPSN/Département d'évaluation de sûreté N 280
FR9704668 PC CLAIRE, UN OUTIL DE SIMULATION ET DE TEST DE LOGICIELS CRITIQUES Jean GASSINO, Jean-Yves HENRY eci Rapport IPSN/Département d'évaluation de sûreté N 280 Octobre 1996 INSTITUT DE PROTECTION
Plus en détailConfiguration Interface for MEssage ROuting
Configuration Interface for MEssage ROuting Cahier des Charges Date : 05/04/07 Version : 1.1 Statut : diffusable Auteurs : BAGNARD Natacha FOROT Julien 1/16 Table des révisions Version Date Modifications
Plus en détailAccélérez la transition vers le cloud
Livre blanc technique Accélérez la transition vers le cloud Architecture HP Converged Cloud Table des matières Une nouvelle informatique pour l'entreprise... 2 Faites évoluer votre stratégie informatique
Plus en détailCours de Génie Logiciel
Cours de Génie Logiciel Sciences-U Lyon Diagrammes UML (2) http://www.rzo.free.fr Pierre PARREND 1 Avril 2005 Sommaire Les Diagrammes UML Diagrammes de Collaboration Diagrammes d'etats-transitions Diagrammes
Plus en détailPrise en compte des ressources dans les composants logiciels parallèles
Prise en compte des ressources dans les composants logiciels parallèles Aperçus de l action RASC et du projet Concerto F. Guidec Frederic.Guidec@univ-ubs.fr Action RASC Plan de cet exposé Contexte Motivations
Plus en détailIBM Business Process Manager
IBM Software WebSphere Livre blanc sur le leadership en matière d innovation IBM Business Process Manager Une plateforme de BPM complète, unifiée et facilement adaptable aux projets et aux programmes d
Plus en détailIntroduction au Déploiement
Introduction au Déploiement Noël De Palma - Projet SARDES - INRIA - IMAG LSR Remerciement à d. donsez 03/03/06 PLAN Définition et problématique OSGI FRACTAL JADE Conclusion 03/03/06 2 Définition Environnement
Plus en détailDescription de la formation
Description de la formation Modalités Ce parcours de formation est un parcours en alternance, d une durée de 2ans, à raison d une semaine de formation par mois, soit 770 heures et de trois semaines de
Plus en détailLe "tout fichier" Le besoin de centraliser les traitements des fichiers. Maitriser les bases de données. Historique
Introduction à l informatique : Information automatisée Le premier ordinateur Définition disque dure, mémoire, carte mémoire, carte mère etc Architecture d un ordinateur Les constructeurs leader du marché
Plus en détailMise en place d'une solution libre de gestion d'entreprise. Maurice MORETTI Directeur associé
Mise en place d'une solution libre de gestion d'entreprise Maurice MORETTI Directeur associé Plan de la présentation Le contexte de l'erp OpenERP : Logiciel Libre Motivations / Critères de choix Méthodologie
Plus en détailBertrand Cornanguer Sogeti
JFIE 2014 Bertrand Cornanguer Sogeti Trésorier du CFTL Chair du groupe Audit de l ISTQB Vice-chair du groupe Agile Tester de l ISTQB 14/10/2014 Introduction Comme beaucoup de sujets, l ingénierie des exigences
Plus en détailBusiness Process Management 2010 : La Solution IBM Maximiser l agilité de l entreprise UNE ETUDE DE JEMM RESEARCH
Business Process Management 2010 : La Solution IBM Maximiser l agilité de l entreprise UNE ETUDE DE JEMM RESEARCH 2010 Business Process Management 2010 Nota Bene : Ce document «La Solution IBM : Maximiser
Plus en détailGestion de tests et tests de performance avec Salomé-TMF & CLIF
Gestion de tests et tests de performance avec Salomé-TMF & CLIF Orange Labs Bruno Dillenseger, Marche Mikael Recherche & Développement 22/05/2008, présentation à LinuxDays 2008 Sommaire partie 1 Salomé-Test
Plus en détailIntervenants. Thomas d'erceville Project Manager. Christian NGUYEN Practice Manager IT Quality
Intervenants Thomas d'erceville Project Manager Christian NGUYEN Practice Manager IT Quality 2 14/04/2015 De l'assurance qualité à l'ingénierie des tests logiciels 1. Contexte général des tests mobiles
Plus en détailGESTION DE PROJET SÉANCE 2 : LES CYCLE DE VIE D'UN PROJET
GESTION DE PROJET SÉANCE 2 : LES CYCLE DE VIE D'UN PROJET 1 Tianxiao LIU Licence Professionnelle Réseaux & Sécurité Université de Cergy-Pontoise http://depinfo.u-cergy.fr/~tliu/lpg.php PLAN Objectif et
Plus en détailObjectif : Passer de l analyse métier et fonctionnelle à la définition des applications qui
Formation PARTIE 1 : ARCHITECTURE APPLICATIVE DUREE : 5 h Objectif : Passer de l analyse métier et fonctionnelle à la définition des applications qui automatisent les fonctions Définir une architecture
Plus en détailUML est-il soluble dans les méthodes agiles?
Pascal ROQUES Valtech Training UML est-il soluble dans les méthodes agiles? octobre 07 Résumé On entend beaucoup parler actuellement de deux approches ayant l'air fondamentalement opposées : l'approche
Plus en détailArchitecture N-Tier. Ces données peuvent être saisies interactivement via l interface ou lues depuis un disque. Application
Architecture Multi-Tier Traditionnellement une application informatique est un programme exécutable sur une machine qui représente la logique de traitement des données manipulées par l application. Ces
Plus en détailIBM Rational Application Developer pour WebSphere Software V8.5 accélère le développement d'applications de haute qualité.
, datée du 24 avril 2012 IBM Rational Application Developer pour WebSphere Software V8.5 accélère le développement d'applications de haute qualité. Table des matières 1 Présentation 2 Date de disponibilité
Plus en détailAuto-explication des Chorégraphies de Services
Mario Cortes Cornax Sophie Dupuy-Chessa Dominique Rieu Université de Grenoble, LIG Auto-explication des Chorégraphies de Services 1 Problématique Chorégraphie de services Vision globale des processus distribués
Plus en détailUrbanisation de système d'information. PLM 6 (Product Lifecycle Management) Collaboration et partage d'informations
Urbanisation de système d'information PLM 6 (Product Lifecycle Management) Collaboration et partage d'informations Gestion de données techniques et Gestion électronique de documents Diversité des modalités
Plus en détailModèle de cahier des charges pour un appel d offres relatif à une solution de gestion des processus métier (BPM)
LA BOITE A OUTILS DE L ACHETEUR DE BPM Modèle de cahier des charges pour un appel d offres relatif à une solution de gestion des processus métier (BPM) La boîte à outils de l acheteur de solution BPM -
Plus en détailEclipse Process Framework et Telelogic Harmony/ITSW
Eclipse Process Framework et Telelogic Harmony/ITSW Boris Baldassari 1 Résumé Une introduction à Eclipse Process Framework (EPF) et au processus OpenUP, et comment tirer profit de ces initiatives dans
Plus en détailINF2015 Développement de logiciels dans un environnement Agile Examen final hiver 2015
INF2015 Développement de logiciels dans un environnement Agile Examen final hiver 2015 Question #1 Quelle technique de mise sous test devons-nous utiliser si nous voulons simuler le comportement d'une
Plus en détailTableau comparatif des offres Visual Studio
Tableau comparatif des offres Visual Studio Visual Studio 2013 avec Test Débogage et diagnostics IntelliTrace en production IntelliTrace (Débogage historique) Indicateurs de performance IntelliTrace Métrique
Plus en détailProjet Active Object
Projet Active Object TAO Livrable de conception et validation Romain GAIDIER Enseignant : M. Noël PLOUZEAU, ISTIC / IRISA Pierre-François LEFRANC Master 2 Informatique parcours MIAGE Méthodes Informatiques
Plus en détailINF2015 Développement de logiciels dans un environnement Agile. Examen intra 20 février 2014 17:30 à 20:30
Examen intra 20 février 2014 17:30 à 20:30 Nom, prénom : Code permanent : Répondez directement sur le questionnaire. Question #1 5% Quelle influence peut avoir le typage dynamique sur la maintenabilité
Plus en détailChapitre 3 - VODEL, un langage de description d architectures logicielles statiques et dynamiques
Chapitre 3 - VODEL, un langage de description d architectures logicielles statiques et dynamiques «Examine soigneusement chaque voie. Essaye aussi souvent que tu le crois nécessaire. Puis pose toi la seule
Plus en détailMéthodes de développement
1 / 9 Méthodes de développement Méthodes agiles 1 - Introduction... 2 2 -Le manifeste agile et les méthodes agiles... 2 2.1 Le manifeste agile... 2 2.2 Les méthodes agiles... 3 3 - Caractéristiques communes
Plus en détailLes nouvelles architectures des SI : Etat de l Art
Les nouvelles architectures des SI : Etat de l Art Objectif Mesurer concrètement les apports des nouvelles applications SI. Être capable d'évaluer l'accroissement de la complexité des applications. Prendre
Plus en détailProcessus de Développement Logiciel
Processus de Développement Logiciel Cours M14 Pierre Gérard Université de Paris 13 IUT Villetaneuse Formation Continue Licence Pro SIL LA TE X Pierre Gérard (P13 IUT FC) Processus de Développement Logiciel
Plus en détailPlateforme de capture et d analyse de sites Web AspirWeb
Projet Java ESIAL 2A 2009-2010 Plateforme de capture et d analyse de sites Web AspirWeb 1. Contexte Ce projet de deuxième année permet d approfondir par la pratique les méthodes et techniques acquises
Plus en détailSilk Central 12.1. Notes de Release
Silk Central 12.1 Notes de Release Micro Focus 575 Anton Blvd., Suite 510 Costa Mesa, CA 92626 Copyright 2012 Micro Focus. Tous droits réservés. Silk Central contient des travaux dérivés de Borland Software
Plus en détailTesteur Agile Niveau Fondation 2014 - Bertrand Cornanguer, Vice-chair Agile tester WG
Testeur Niveau Fondation 2014 - Bertrand Cornanguer, Vice-chair tester WG Enquêtes 2013 sur l Agilité Seriez-vous interessé par la certification Testeur? Enquête ISTQB (70 pays juin octobre 2013) Ingénieurs
Plus en détailLes tableaux de bord de pilotage de nouvelle génération. Copyright 2002-2008 PRELYTIS
Les tableaux de bord de pilotage de nouvelle génération Sommaire PRELYTIS en quelques mots LiveDashBoard : principes directeurs et positionnement La couverture fonctionnelle Démonstration Les packages
Plus en détailÉdIteur officiel et fournisseur de ServIceS professionnels du LogIcIeL open Source ScILab
ÉdIteur officiel et fournisseur de ServIceS professionnels du LogIcIeL open Source ScILab notre compétence d'éditeur à votre service créée en juin 2010, Scilab enterprises propose services et support autour
Plus en détailJérémy Dubus. Une démarche orientée modèle pour le déploiement de systèmes en environnements
Une démarche orientée modèle pour le déploiement de systèmes en environnements ouverts distribués Jérémy Dubus To cite this version: Jérémy Dubus. Une démarche orientée modèle pour le déploiement de systèmes
Plus en détailGestion des utilisateurs et Entreprise Etendue
Gestion des utilisateurs et Entreprise Etendue Laurent Ruyssen 6 rue Beaubourg - 75004 PARIS T 1 44 59 93 00 F 1 44 59 93 09 yphise@yphise.com - http://yphise.fr GUEE0009-1 Agenda Entreprise Etendue Mission
Plus en détailSynergies entre Artisan Studio et outils PLM
SysML France 13 Novembre 2012 William Boyer-Vidal Regional Sales Manager Southern Europe Synergies entre Artisan Studio et outils PLM 2012 2012 Atego. Atego. 1 Challenges & Tendances Complexité des produits
Plus en détailChapitre 9. Assistance à l évolution du logiciel dirigée par la qualité
Chapitre 9 Assistance à l évolution du logiciel dirigée par la qualité L évolution de l architecture d un logiciel à base de composants peut avoir des conséquences nuisibles sur ses attributs qualité.
Plus en détail25/12/2012 www.toubkalit.ma
25/12/2012 www.toubkalit.ma 1 Définition Exemple des méthodes agiles Valeurs Principes Le cycle itératif et incrémental (Itération/Sprint) Schéma de travail Méthode Scrum. Méthode XP (Extreme programming).
Plus en détailSolution A La Gestion Des Objets Java Pour Des Systèmes Embarqués
International Journal of Engineering Research and Development e-issn: 2278-067X, p-issn: 2278-800X, www.ijerd.com Volume 7, Issue 5 (June 2013), PP.99-103 Solution A La Gestion Des Objets Java Pour Des
Plus en détailProcessus d Informatisation
Processus d Informatisation Cheminement de la naissance d un projet jusqu à son terme, deux grandes étapes : Recherche ou étude de faisabilité (en amont) L utilisateur a une idée (plus ou moins) floue
Plus en détailMODALITES DE SUIVI DU PROJET ANNUEL DU MASTER 2 SOLUTIONS INFORMATIQUES LIBRES
MODALITES DE SUIVI DU PROJET ANNUEL DU MASTER 2 SOLUTIONS INFORMATIQUES LIBRES Département Informatique UFR Sciences 2 Boulevard Lavoisier 49045 Angers Cedex 01 Auteur : Jean-Michel Richer Email : jean-michel.richer@univ-angers.fr
Plus en détailArchitecture à base de composants pour le déploiement adaptatif des applications multicomposants
Architecture à base de composants pour le déploiement adaptatif des applications multicomposants Dhouha Ayed, Chantal Taconet, et Guy Bernard GET / INT, CNRS Samovar 5157 9 rue Charles Fourier 91011 Évry,
Plus en détailWEB15 IBM Software for Business Process Management. un offre complète et modulaire. Alain DARMON consultant avant-vente BPM alain.darmon@fr.ibm.
WEB15 IBM Software for Business Process Management un offre complète et modulaire Alain DARMON consultant avant-vente BPM alain.darmon@fr.ibm.com Claude Perrin ECM Client Technical Professional Manager
Plus en détailIndustrialiser la chaîne complète de fabrication 1ère partie - Les bénéfices de la solution logicielle IBM VisualAge Pacbase / Rational
IBM Software Group Industrialiser la chaîne complète de fabrication 1ère partie - Les bénéfices de la solution logicielle IBM VisualAge Pacbase / Rational Fernard Bonaguidi fernand.bonaguidi@fr.ibm.com
Plus en détailChapitre VI- La validation de la composition.
Chapitre VI- La validation de la composition. Objectifs du chapitre : Expliquer les conséquences de l utilisation de règles de typage souples dans SEP. Présenter le mécanisme de validation des connexions
Plus en détailProcessus de Développement Logiciel
Processus de Développement Logiciel Cours M14 Pierre Gérard Université de Paris 13 IUT Villetaneuse Formation Continue Licence Pro SIL - 2007/2008 Table des matières 1 Des besoins au code avec UML 1 2
Plus en détailMOTEUR DE WORKFLOW Mise en oeuvre d'openwfe Version 1.0-25 septembre 2006
MOTEUR DE WORKFLOW Mise en oeuvre d'openwfe Version 1.0-25 septembre 2006 SOMMAIRE 1 AVANT PROPOS...3 2 PRÉSENTATION...4 2.1 Quelques définitions...4 2.2 Besoins d'intégration d'un moteur de workflow...4
Plus en détailLa démarche SOA et l interopérabilité applicative
La démarche SOA et l interopérabilité applicative Retour d'expérience des projets RITA / PRESTO de la Direction Générale de la Modernisation de l'état Abdelaziz Skalli Consultant Tél : +33.630.78.54.75
Plus en détailMéthodes agiles. www.businessinteractif.com CONSEIL & DÉVELOPPEMENT DE SOLUTIONS E-BUSINESS. Jean-Louis Bénard jlb@businessinteractif.
Méthodes agiles www.businessinteractif.com Jean-Louis Bénard jlb@businessinteractif.fr CONSEIL & DÉVELOPPEMENT DE SOLUTIONS E-BUSINESS 0 20 mai 2002 Sommaire Méthodes agiles : une réponse à un malaise?
Plus en détailVers l urbanisation agile d un client mobile ios/android natif, économique, flexible et pérenne
Vers l urbanisation agile d un client mobile ios/android natif, économique, flexible et pérenne Développement des Systèmes Dynamiques, Programmation Sémantique Opérationnelle, Programmation Fonctionnelle
Plus en détailCONCOURS DE L AGRÉGATION INTERNE «ÉCONOMIE ET GESTION» SESSION 2015 SECONDE ÉPREUVE
CONCOURS DE L AGRÉGATION INTERNE «ÉCONOMIE ET GESTION» SESSION 2015 SECONDE ÉPREUVE Épreuve de cas pratique dans la spécialité correspondant à l'option choisie par le candidat Option D Durée de préparation
Plus en détailERESI : une plate-forme d'analyse binaire au niveau noyau. The ERESI team http://www.eresi-project.org
ERESI : une plate-forme d'analyse binaire au niveau noyau The ERESI team http://www.eresi-project.org ERESI: quelques rappels 7 années de développement Plusieurs contributeurs 5 logiciels, 14 bibliothèques
Plus en détailIntroduction à la modélisation
Formation INRA-ACTA-ICTA Introduction à la modélisation Les modèles mathématiques pour l agronomie et l élevage 2 nde session, du 28 novembre au 1 er décembre 2005 - Informatique et modèles - Nathalie
Plus en détailOffres de stages 2011/2012
Offres de stages 2011/2012 RBS LE MEILLEUR DE L INTEGRATION ET DE L EDITION L informatique est devenue un outil stratégique de développement et de différenciation pour les organisations du 21ème siècle
Plus en détail