Spécification des logiciels : Deux exemples de pratiques récentes : Z et UML - Couverture souple

André, Pascal; Vailly, Alain

Couverture souple

ISBN 10 : 2729807748 ISBN 13 : 9782729807740

Editeur : ELLIPSES, 2001

Synopsis

Niveau C (Compléments)
Cet ouvrage est destiné à l'étudiant et au professionnel qui veulent comprendre l'impact des spécifications formelles et de la modélisation à objets sur la pratique du développement d'un logiciel. Il comprend deux parties consacrées respectivement, la première aux spécifications formelles, et la seconde à la modélisation à objets.
L'ouvrage fait suite à un premier livre des mêmes auteurs intitulé "Conception des systèmes d'information", consacé aux méthodes et aux techniques de base de la conception des systèmes.

Sommaire
Première partie : Spécifications formelles avec Z
Chapitre 1. Introduction aux spécifications formelles : Spécifications par modèle abstrait, spécifications algébriques et mixtes - Chapitre 2. Le langage Z - Théorie des ensembles - Multi-ensembles - Séquences - Chapitre 3. La spécification avec Z : Structuration. Démarche de spécification - Spécification sur l'exemple de l'hôpital - Validation - Robustesse - Raffinage - Les outils - Conclusion - Exercices - Chapitre 4. La spécification avec Z : la facturation de commandes. Spécification de l'état - Spécification de l'état initial - Spécification des opérations - Validation - Une spécification avec des fonctions - Le raffinage - Chapitre 5. Compléments pour la modélisation avec Z. Traduction du formalisme E-A-P en Z - Modélisation avec Z : la bibliothèque - Interprétation des préconditions - La promotion - Z et les objets - Exercices
Deuxième partie : Modélisation objet avec UML
Chapitre 6. Introduction au développement à objets: L'approche à objets - Analyse et conception - Utilisation des méthodes à objets - Classification des méthodes - La méthode OMT - La méthode BON - Conclusion - Chapitre 7. La notation UML. Modèles d'approche - Modèles de structure - Modèles de la dynamique - Modèles d'implantation - Conclusion - Exercices - Chapitre 8. La spécification avec UML. Architecture logicielle - Processus de développement - Expression des besoins - L'analyse - Conception - Les outils - Chapitre 9. Compléments pour la modélisation UML. Le langage OCL - La pratique d'OCL - La cohérence entre les diagrammes - Conclusion - Exercices - Chapitre 10. Conclusion et perspectives

A propos du livre

À propos de l?auteur

Pascal André, Maître de conférences à l'Université de Nantes, détaché à l'INP de Yamoussoukro (Côte d'Ivoire), travaille en recherche sur les méthodes formelles de développement des systèmes des 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.

Détails de l'édition

• Éditeur: ELLIPSES
• Date d'édition: 2001
• Langue: français
• ISBN 10: 2729807748
• ISBN 13: 9782729807740
• Reliure: Broché
• Nombre de pages: 320
• Coordonnées du fabricant: non disponible
• Personne responsable: decitre; service.clients@decitre.fr; ; avenue C cité Berliet; st priest; france; 69800; France