Sommaire

On trouvera ci-après le sommaire de l'ouvrage Exercices corrigés en UML ; Passeport pour une maîtrise de la notation, co-écrit avec Pascal ANDRE, paru aux Editions Ellipses, dans la collection TECHNOSUP.


Il comprend les éléments suivants :

Avant-Propos

Chapitre 1- La notation UML

1.1 Cas d'utilisation et scénarios
1.2 Objets, séquences et collaborations
1.3 Objets et classes
1.4 Etats-transitions, séquences et activités

Chapitre 2- La spécification avec UML

2.1 Cas Facturation
2.2 Cas Gestion de salles
2.3 Cas Transport
2.4 Cas Feux tricolores
2.5 Cas Logement
2.6 Cas Association de loisirs
2.7 Cas Contrôle de lumière

Chapitre 3- Des compléments pour la modélisation avec UML

3.1 Apprentissage d'OCL
3.2 Pratique d'OCL
3.3 Vérification de cohérence
3.4 Conclusion

Chapitre 4- Des compléments sur la vérification avec UML

4.1 Introduction
4.2 Développement avec UML et UP
4.3 Vérification de modèles UML
4.4 Vérification du modèle logique
4.5 Vérification en pratique
4.6 Formalisation d'UML
4.7 Conclusion

Conclusion

Annexe A- Compléments d'énoncés

A.1 Enoncés du tome 1
A.2 Enoncés du tome 2
A.3 La modélisation avec UML : le magasin Vidéo


Cet ouvrage est la suite d'un ouvrage intitulé Spécifications des logiciels ; Deux exemples de pratiques récentes, paru en juin 2001, aux Editions Ellipses, dans la collection Technosup. Cet ouvrage comprend les éléments suivants :

Partie I- Spécification formelle avec Z

Chapitre 1- Introduction aux spécifications formelles

Chapitre 2- Le langage Z

Chapitre 3- La spécification avec Z

Chapitre 4- La spécification avec Z : la facturation de commandes

Chapitre 5- Des compléments pour la modélisation avec Z

Partie II- Modélisation objet avec UML

Chapitre 6- Introduction au développement à objets

Chapitre 7- La notation UML

Chapitre 8- La spécification avec UML

Chapitre 9- Des compléments pour la modélisation avec UML

Chapitre 10- Conclusion et perspectives