Exercices corrigés d'UML : passeport pour une maîtrise de la notation
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Livre papier |
| Sprog: | Français |
| Udgivet: |
Paris :
Ellipses
DL 2003.
|
| Serier: | Technosup : les filières technologiques des enseignements supérieurs. C, Compléments
|
| Fag: | |
| Kommentar: |
Avant-titre : "Génie logiciel" |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Génie logiciel :, xercices corrigés d'UML : passeport pour une maîtrise de la notation |
Indholdsfortegnelse:
- 1. La notation UML
- 1. Cas d'utilisation et scénarios
- 2. Objets, séquences et collaborations
- 3. Objets et classes
- 4. Etats-transitions, séquences et activités
- 2. La spécification avec UML
- 1. Cas Facturation de commandes
- 2. Cas Gestion de salles
- 3. Cas Transport
- 4. Cas Feux tricolores
- 5. Cas Logement
- 6. Cas Association de loisirs
- 7. Cas Contrôle de lumière
- 3. Des compléments pour la modélisation avec UML
- 1. Apprentissage d'OCL
- 2. Pratique d'OCL
- 3. Vérification e cohérence
- 4. COnclusion
- 4. Des compléments sur la vérification avec UML
- 1. Introduction
- 2. Développement avec UML et UP
- 3. Vérification de modèles UML
- 4. Vérification du modèle logique
- 5. Vérification en pratique
- 6. Formalisation d'UML
- 7. Conclusion
- A. Compléments d'énoncés