Conception des systèmes d'information
Panorama des méthodes et des techniques
Résumé
Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et pour faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage, l'ouvrage présente un panorama des principales méthodes et techniques de conception des systèmes d'information.
Il montre qu'un nombre restreint de modèles de base (entités-associations-propriétés, modèle relationnel, automates, réseaux de PETRI, expressions régulières ... ) constituent un socle sur lequel reposent toutes les méthodes les plus courantes (Merise, SSADM, SADT ou UML).
Après une introduction au développement de logiciel, l'ouvrage analyse ces modèles de base au travers de :
- la modélisation des données,
- la modélisation du comportement,
- la modélisation des traitements,
et il termine en abordant le problème de la vérification des modèles.
Chaque chapitre est illustré par de nombreux exercices.
Un second ouvrage des mêmes auteurs exposera les méthodes formelles et UML.
L'auteur - Pascal André
Pascal André, Maître de conférences d'informatique à la Faculté des lettres et sciences humaines de l'Université de Nantes travaille en recherche sur les méthodes formelles de développement des systèmes à objets.
Autres livres de Pascal André
L'auteur - Alain Vailly
Alain Vailly, Maître de conférences à la Faculté des sciences et techniques de l'Université de Nantes est Directeur de l'IUP MIAGe. Il s'intéresse en recherche au paraphrasage de spécification.
Autres livres de Alain Vailly
Sommaire
- Introduction au développement du logiciel
- Développement du logiciel
- Modélisation des données
- Le modèle des entités - Associations - Propriétés
- Le modèle relationnel
- Un peu de méthodologie sur les données
- Modélisation du comportement
- Les automates
- Les réseaux de PETRI
- Un peu de méthodologie sur le comportement
- Modélisation des traitements
- Le modèle des Flots de Données
- La modélisation des traitements avec Merise
- Vérification de modèles et conclusion
- Vérification des modèles
- Conclusion
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Ellipses |
| Auteur(s) | Pascal André, Alain Vailly |
| Parution | 13/07/2001 |
| Nb. de pages | 320 |
| Format | 16,5 x 24 |
| Couverture | Broché |
| Poids | 682g |
| Intérieur | Noir et Blanc |
| EAN13 | 9782729804794 |
| ISBN13 | 978-2-7298-0479-4 |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
- Informatique Bases de données Conception et modélisation UML
- Informatique Bases de données Conception et modélisation Merise
- Informatique Informatique d'entreprise Management des systèmes d'information
- Informatique Informatique d'entreprise Knowledge management
- Informatique Informatique d'entreprise Data warehouse et data mining
- Informatique Informatique d'entreprise Sécurité
- Informatique Développement d'applications Gestion de projets
