- EAN13
- 9782729807740
- ISBN
- 978-2-7298-0774-0
- Éditeur
- Editions Ellipses
- Date de publication
- 13/07/2001
- Collection
- Technosup
- Nombre de pages
- 320
- Dimensions
- 26 x 17,5 x 2 cm
- Poids
- 680 g
- Code dewey
- 005.1
- Fiches UNIMARC
- S'identifier
Spécification des logiciels - Deux exemples de pratiques récentes : Z et UML - Génie logiciel - Niveau C
deux exemples de pratiques récentes Z et UML
De Pascal André, Alain Vailly
Editions Ellipses
Technosup
Offres
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
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
S'identifier pour envoyer des commentaires.
Autres contributions de...
-
GÉNIE LOGICIEL - Développement de logiciels avec UML 2 et OCL - Cours, études de cas et exercices corrigés (Niveau B), cours, études de cas et exercices corrigésPascal André, Alain VaillyEditions Ellipses39,00
-
Exercices corrigés en langage Z - Génie logiciel - Niveau C, génie logicielPascal André, Alain VaillyEditions Ellipses29,00
-
Exercices corrigés d'UML - Génie logiciel - Niveau C, génie logicielPascal André, Alain VaillyEditions Ellipses
-
Exercices corrigés de conception logicielle - Génie logiciel - Niveau B, modélisation des systèmes d'information par la pratiquePascal André, Alain VaillyEditions Ellipses31,00
-
Conception des systèmes d'information - Génie logiciel - Niveau B, panorama des méthodes et des techniquesPascal André, Alain VaillyEditions Ellipses
-
GÉNIE LOGICIEL - Développement de logiciels avec UML 2 et OCL - Cours, études de cas et exercices corrigés (Niveau B), cours, études de cas et exercices corrigésPascal André, Alain VaillyEditions Ellipses39,00
-
Exercices corrigés en langage Z - Génie logiciel - Niveau C, génie logicielPascal André, Alain VaillyEditions Ellipses29,00
-
Exercices corrigés d'UML - Génie logiciel - Niveau C, génie logicielPascal André, Alain VaillyEditions Ellipses
-
Exercices corrigés de conception logicielle - Génie logiciel - Niveau B, modélisation des systèmes d'information par la pratiquePascal André, Alain VaillyEditions Ellipses31,00
-
Conception des systèmes d'information - Génie logiciel - Niveau B, panorama des méthodes et des techniquesPascal André, Alain VaillyEditions Ellipses