Sommaire

On trouvera ci-après le sommaire de l'ouvrage Exercices corrigés de conception logicielle ; modélisation des systèmes d'information par la pratique, co-écrit avec Pascal ANDRE, paru aux Editions Ellipses, dans la collection TECHNOSUP.


Il comprend les éléments suivants :

Partie I- Modélisation de données

Chapitre I- Le modèle Entités-Associations-Propriétés

1.1 Apprentissage du modèle de base
1.2 Maîtrise de la technique
1.3 Apprentisssage des extensions
1.4 Pratique du modèle E-A-P

Chapitre II- Le modèle relationnel

2.1 Maîtrise de la technique
2.2 Pratique du modèle relationnel
2.3 Compléments de cours

Chapitre III- Un peu de méthodologie sur les données

3.1 Les autres modèles
3.2 Du modèle E-A-P aux relations
3.3 Des relations au modèle E-A-P
3.4 Réflexion sur les règles de passage

Partie II- Modélisation de comportements

Chapitre IV- Les automates

4.1 Maîtrise de la technique
4.2 Utilisation dans le cadre des systèmes d'information
4.3 Pratique

Chapitre V- Les Réseaux de PETRI

5.1 Maîtrise de la technique
5.2 Utilisation dans le cadre des systèmes d'information
5.3 Utilisation de la technique dans d'autres cadres

Chapitre VI- Un peu de méthodologie sur le comportement

6.1 Apprentissage de JSD
6.2 Des automates au modèle RdP
6.3 Du modèle RdP aux automates
6.4 Autres conversions
6.5 Réflexion sur les règles de passage

Partie III- Modélisation de traitements

Chapitre VII- Le modèle des Flots de Données

7.1 Maîtrise de la technique
7.2 Mise en pratique

Chapitre VIII- La modélisation des traitements avec Merise

8.1 Maîtrise de la technique
8.2 Pratique du modèle conceptuel
8.3 Pratique du modèle organisationnel

Partie IV- Vérification de modèles

Chapitre IX- Vérification de la modélisation

9.1 Cas INSCRIPTIONS
9.2 Cas BIBLIOTHEQUE
9.3 Cas LIBRAIRIE LES TERRES LOINTAINES
9.4 Conclusion

Chapitre X- Conclusion


Cet ouvrage fait suite à deux autres, intitulées Conception des systèmes d'information ; panorama des méthodes et des techniques et Spécification des logiciels ; Deux exemples de pratiques récentes, Z et UML, toujours aux Editions Ellipses, dans la collection TECHNOSUP, nommés "tome 1" et "tome 2" par la suite. Ceux-ci comprennent les éléments suivants :

A) Tome 1

Partie I- Le développement du logiciel

Chapitre I- Introduction au développement du logiciel

Partie II- La modélisation de données

Chapitre II- Le modèle Entités-Associations-Propriétés
Chapitre III- Le modèle relationnel
Chapitre IV- Un peu de méthodologie sur les données

Partie III- La modélisation de comportements

Chapitre V- Les automates
Chapitre VI- Les Réseaux de PETRI
Chapitre VII- Un peu de méthodologie sur le comportement

Partie IV- La modélisation de traitements

Chapitre VIII- Le modèle des Flots de Données
Chapitre IX- La modélisation des traitements avec Merise
Chapitre X- Validation et vérification de la modélisation
Chapitre XI- Conclusion

B) Tome 2

Partie I- Spécification formelle avec Z

Chapitre I- Introduction aux spécifications formelles
Chapitre II- Le langage Z
Chapitre III- La spécification avec Z
Chapitre IV- La spécification avec Z : la facturation de commandes
Chapitre V- Des compléments pour la modélisation avec Z

Partie II- Modélisation objet avec UML

Chapitre VI- Introduction au développement à objets
Chapitre VII- La notation UML
Chapitre VIII- La spécification avec UML
Chapitre IX- Des compléments pour la modélisation avec UML
Chapitre X- Conclusion et perspectives