Spécification des logiciels - Deux exemples de pratiques récentes : Z et UML - Génie logiciel - Niveau C
  • Spécification des logiciels - Deux exemples de pratiques récentes : Z et UML - Génie logiciel - Niveau C

Spécification des logiciels - Deux exemples de pratiques récentes : Z et UML - Génie logiciel - Niveau C

Auteur(s) : André Pascal, Vailly Alain
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 consac...LIRE LA SUITE
Pages : 320 pages
Format : 17,5 cm x 26 cm
Poids : 0,680 kg
LIVRE
ISBN :  9782729807740
31,00€
TTC
Disponible

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

L’éditeur vous recommande également

Droit du sport

Droit du sport

Auteur(s) : Al Anbagi Youcef, Agostini-Croce Baptist, Barangé Claire, Guy Jean-Christophe, Marronnier Léo, Neuffer Bruce, Otsomotsi Alida
Livre 21,00 €
LIVRE
ISBN :  9782729807740
31,00€
TTC
Disponible

Haut de page