Exercices corrigés de conception logicielle : modélisation des systèmes d'information par la pratique
Tallennettuna:
| Päätekijät: | , |
|---|---|
| Aineistotyyppi: | Livre papier |
| Kieli: | Français |
| Julkaistu: |
Paris :
Ellipses
DL 2002.
C 2002. |
| Sarja: | Technosup : Génie logiciel
|
| Aiheet: | |
| Autres localisations: | Voir dans le Sudoc |
Sisällysluettelo:
- I. Moédélisation des données
- 1. Le modèle Entités - Associations - Propriétés
- 2. Le modèle relationnel
- 3. Un peu de méthodologie sur les données
- II. Modélisation de comportements
- 4. Les automates
- 5. Les réseaux de PETRI
- 6. Un peu de méthodologie sur le comportement
- III. Modélisation de traitements
- 7. Le modèle des Flots de Données
- 8. La modélisation des traitements avec Merise
- IV. Vérification de modèles
- 9. Vérification de modèles