Sommaire

On trouvera ci-après le sommaire de l'ouvrage Conception des systèmes d'information ; Panorama des méthodes et des techniques, co-écrit avec Pascal ANDRE, paru aux Editions Ellipses, dans la collection TECHNOSUP.


Il comprend les éléments suivants :

Partie I- Le développement du logiciel

Chapitre I- Introduction au développement du logiciel

1.1 Introduction
1.2 Les méthodes de développement du logiciel
1.3 Les modèles de représentation
1.4 Les processus de développement
1.5 Les spécifications
1.6 Les stratégies de développement
1.7 La qualité
1.8 La validation
1.9 Les tendances et perspectives du génie logiciel

Partie II- La modélisation de données

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

2.1 Introduction
2.2 Le modèle E-A-P de base (Merise 0)
2.3 Les extensions possibles
2.4 Les démarches alternatives
2.5 Conclusion
2.6 Exercices

Chapitre III- Le modèle relationnel

3.1 Introduction
3.2 Les notions de base
3.3 Les dépendances fonctionnelles
3.4 Les autres dépendances
3.5 La normalisation
3.6 La "décomposition" des relations
3.7 Utilisation de ce modèle
3.8 Conclusion
3.9 Exercices

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

4.1 Introduction
4.2 Les modèles voisins
4.3 Le passage d'un modèle à l'autre
4.4 Conclusion
4.5 Exercices

Partie III- La modélisation de comportements

Chapitre V- Les automates

5.1 Introduction
5.2 Les notions de base
5.3 Les propriétés
5.4 Les premiers pas de la modélisation avec les automates
5.5 Les extensions possibles
5.6 La composition d'automates
5.7 Les automates communicants
5.8 Les automates hiérarchiques
5.9 La démarche de modélisation
5.10 Conclusion
5.11 Exercices

Chapitre VI- Les Réseaux de PETRI

6.1 Introduction
6.2 Les notions de base
6.3 La dynamique des RdP
6.4 La vérification de propriétés
6.5 Quelques extensions possibles
6.6 L'utilisation des réseaux de PETRI
6.7 Conclusion
6.8 Exercices

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

7.1 Introduction
7.2 Les modèles voisins
7.3 Le passage d'un modèle à l'autre
7.4 Conclusion
7.5 Exercices

Partie IV- La modélisation de traitements

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

8.1 Introduction
8.2 Un exemple introductif
8.3 Les DFD, une définition et une utilisation
8.4 Quelques rappels théoriques
8.5 Les DFD ailleurs
8.6 Les DFD, un essai de synthèse
8.7 Conclusion
8.8 Exercices

Chapitre IX- La modélisation des traitements avec Merise

9.1 Introduction
9.2 L'expression des traitements dans Merise
9.3 Les notions de base
9.4 La normalisation
9.5 L'utilisation de ces modèles
9.6 Du MCT au MOT
9.7 Conclusion
9.8 Exercices

Chapitre X- Validation et vérification de la modélisation

Chapitre XI- Conclusion


Cet ouvrage a une suite, intitulée Spécification des logiciels ; Deux exemples de pratiques récentes, Z et UML, toujours aux Editions Ellipses, dans la collection TECHNOSUP. Elle comprend les éléments suivants :

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