Conception des systèmes d'information - Génie logiciel - Niveau B: Panorama des méthodes et des techniques - Brossura

André, Pascal; Vailly, Alain

Brossura

ISBN 10: 272980479X ISBN 13: 9782729804794

Casa editrice: Ellipses, 2001

Riassunto

Niveau B (Bases)
L'ouvrage présente un panorama des principales méthodes et techniques de conception des systèmes d'information. Chaque chapitre est illustré par de nombreux exercices.
Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage, l'ouvrage présente un panorama des phricipales méthodes et techniques de conception des systèmes d'information. Il montre qu'un nombre restreint de modèles de base constitue 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 expose les méthodes formelles et UML.

Sommaire
I. Introduction au développement du logiciel : Méthodes de développement - Modèles de représentation - Processus de développement - Spécifications - Stratégies de développement - La qualité - Validation - Tendances et perspectives du génie logiciel
Il. Modélisation des données : Le modèle Entités-Associations - Le modèle E-A-P de base - Extensions possibles - Démarches alternatives - Modèle relationnel - Dépendances fonctionnelles - Normalisation - Décomposition des relations - Méthodologie sur les données - Passage d'un modèle à l'autre - Conclusion - Exercices
III. Modélisation du comportement : Les automates : notions de base, propriétés - Premiers pas de la modélisation - La composition d'automates - Les automates communicants - Les automates hiérarchiques - Les réseaux de PETRI - Vérification de propriétés - méthodologie sur le comportement - Conclusion - Exercices
IV. Modélisation des traitements : Le modèle des Flots de Données - La modélisation des traitements avec Merise - L'expression des traitements - Normalisation - L'utilisation de ces modèles - Du MCT au MOT - Conclusion - Exercices
V. Vérification de modèles et conclusion : Principes de vérification - Vérification dans SSADM - Vérification dans Merise - Conclusion - Exercices
Conclusion

Su questo libro

Informazioni sull?autore

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. 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.

Dettagli dell'edizione

• Editore: Ellipses
• Data di pubblicazione: 2001
• Lingua: Francese
• ISBN 10: 272980479X
• ISBN 13: 9782729804794
• Rilegatura: Copertina flessibile
• Numero di pagine: 320
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile