PrÃ©sentation UML - UniversitÃ© Nice Sophia Antipolis

More documents

Recommendations

Info

Programming-in-the-Small Produire des programmes prouvés ➡ C’est possible… – On peut construire des programmes de tel manière qu’ils soient prouvables – En partie automatisable (Atelier B, etc.) • Outils spécifiques ➡ …mais coûteux – Preuve au moins aussi complexe que le code – Autant de chances de se tromper dans la preuve… ➡ En pratique : – Réservé à des (petits) sous-systèmes (très) critiques – Recours aux tests pour le reste • On reviendra dessus… 3/10/2009 Mireille Blay-Fornarino, blay@polytech.unice.fr 10
Programming-in-the-Large : Gérer la complexité due à la taille a) c) b) d) Si l'automobile avait suivi le même développement que l'ordinateur, une Rolls-Royce coûterait aujourd'hui 100$, pourrait rouler un million de kilomètres avec un litre d'essence, et exploserait une fois par an en tuant tout le monde à bord. Robert Cringely. 3/10/2009 Mireille Pr. Jean-Marc Blay-Fornarino, Jézéquel blay@polytech.unice.fr 11
Page 1 and 2: Génie Logiciel & UML : Unified Mod
Page 3 and 4: Planning Bibliographie & référenc
Page 5 and 6: I. Quels sont les problèmes du dé
Page 7 and 8: Problématique du génie logiciel
Page 9: Problématique du génie logiciel P
Page 13 and 14: Programming-in-the-Large : Echecs l
Page 15 and 16: Programming-in-the-Large : Sort des
Page 17 and 18: Coûts du développement 3/10/2009
Page 19 and 20: Programming-in-the-Duration Problè
Page 21 and 22: Programming-in-the-Duration Réalis
Page 23 and 24: Programming-in-the-Duration Coût d
Page 25 and 26: Problématique du génie logiciel W
Page 27 and 28: Processus de Développement Symptô
Page 29 and 30: Processus de Développement 7 bonne
Page 31 and 32: (1) Qu'est-ce que le Développement
Page 33 and 34: (3) Pilotage par les risques ➡ Un
Page 35 and 36: Le pilotage par les risques, c’es
Page 37 and 38: (4) La gestion des exigences Facteu
Page 39 and 40: (5) Qu’est-ce qu’une demande de
Page 41 and 42: Evaluation continue de la Qualité
Page 43 and 44: Evaluation de la Qualité du logici
Page 45 and 46: Évaluation de la qualité du logic
Page 51 and 52: Méthode, méthodologie et cycle de
Page 57 and 58: Exemples de méthodologie Cycle exp
Page 59 and 60: Cycle en V Expression des besoins M
Page 61 and 62:
Exemples de méthodologies Cycle en
Page 63 and 64:
Exemples de méthodologies Cycle de
Page 65 and 66:
Exemples de méthodologies Cycle de
Page 67 and 68:
Exemples de méthodologies Processu
Page 69 and 70:
D’UML au RUP Qu’est-ce qu’UML
Page 71 and 72:
Qu’est-ce qu’UML ? Modélisatio
Page 73 and 74:
Page 75 and 76:
Page 77 and 78:
D’UML au RUP Qu’est-ce qu’UML
Page 79 and 80:
Qu’est-ce qu’UML ? Diagrammes d
Page 81 and 82:
Page 83 and 84:
Page 85 and 86:
D’UML au RUP Divers modes d’uti
Page 87 and 88:
Rational Unified Process (RUP) ➡
Page 89 and 90:
Rational Unified Process (RUP) Ité
Page 91 and 92:
Rational Unified Process (RUP) Diri
Page 93 and 94:
La découpe fonctionnelle d'un prob
Page 95 and 96:
Le revers de la médaille : mainten
Page 97 and 98:
Vision objet du système informatiq
Page 99 and 100:
Page 101 and 102:
Page 103 and 104:
Quels sont les remèdes aux inconv
Page 105 and 106:
UML: histoire, généralité Pourqu
Page 107 and 108:
UML: histoire, généralité Et un
Page 109 and 110:
UML: histoire, généralité Les po
Page 111 and 112:
Organisation générale 3/10/2009 M
show all

PrÃ©sentation UML - UniversitÃ© Nice Sophia Antipolis

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?