Prêtable
| Titre : | Conception des systèmes d'information : Panorama des méthodes et des techniques |
| Auteurs : | Pascal Andre ; Alain Vailly |
| Type de document : | texte imprimé |
| Editeur : | Paris [France] : Editions Ellipses, 2001 |
| Collection : | TechnoSup |
| ISBN/ISSN/EAN : | 978-2-7298-0479-4 |
| Format : | 312 p. / ill.; couv. ill. en coul. / 24 cm. |
| Langues: | Français |
| Langues originales: | Français |
| Index. décimale : | 005.12 (Génie logiciel (analyse et conception de logiciels, analyse et conception des systèmes de logiciels, conception de programmes)) |
| Catégories : | |
| Mots-clés: | Réseaux PERTI ; Modélisation des données ; Modélisation du comportement ; Modélisation des traitements |
| 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. |
| Note de contenu : |
Sommaire :
Chapitre 1: Développement du logiciel Chapitre 2: Le modèle entités-associations- propriétés Chapitre 3: Le modèle relationnel Chapitre 4: Un peu de méthodologie sur les données Chapitre 5: Les automates Chapitre 6: Les réseaux de PETRI Chapitre 7: Un peu de méthodologie sur le comportement Chapitre 8: Le modèle des flots de données Chapitre 9: La modélisation des traitemetns Chapitre 10: Vérification de modèles |
Exemplaires (2)
| Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|
| F8/718 | Livre | Bibliothèque de la Faculté de Technologie | Section documentaire | Disponible |
| F8/719 | Livre | Bibliothèque de la Faculté de Technologie | Section documentaire | Disponible |
