|
| Titre : | Spécification des logiciels : deux exemples de pratiques récentes : Z et UML | | Type de document : | texte imprime | | Auteurs : | Pascal André ; Vailly A. | | Editeur : | Paris : Ellipses | | Année de publication : | 2001 | | Collection : | Technosup | | Importance : | 317 p. | | Présentation : | ill. | | Format : | 26 cm | | ISBN/ISSN/EAN : | 978-2-7298-0774-0 | | Note générale : |
En avant-titre : "Génie logiciel". - Ouvrage de niveau C : Compléments (approfondissement, spécialisation), Ecoles d'ingénieurs, Maîtrise
Bibliogr. p. [305]-310. Index | | Langues : | Français | | Mots-clés : | Z (méthode formelle) Programmation orientée objets (informatique) Génie logiciel Logiciels:développement UML (informatique) | | Index. décimale : | 0051 | | Résumé : |
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. | | Note de contenu : |
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 | | En ligne : | https://www.amazon.fr/Sp%C3%A9cification-logiciels-exemples-pratiques-r%C3%A9cen [...] | | Permalink : | ./index.php?lvl=notice_display&id=11883 |
Spécification des logiciels : deux exemples de pratiques récentes : Z et UML [texte imprime] / Pascal André ; Vailly A. . - Paris : Ellipses, 2001 . - 317 p. : ill. ; 26 cm. - ( Technosup) . ISBN : 978-2-7298-0774-0
En avant-titre : "Génie logiciel". - Ouvrage de niveau C : Compléments (approfondissement, spécialisation), Ecoles d'ingénieurs, Maîtrise
Bibliogr. p. [305]-310. Index Langues : Français | Mots-clés : | Z (méthode formelle) Programmation orientée objets (informatique) Génie logiciel Logiciels:développement UML (informatique) | | Index. décimale : | 0051 | | Résumé : |
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. | | Note de contenu : |
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 | | En ligne : | https://www.amazon.fr/Sp%C3%A9cification-logiciels-exemples-pratiques-r%C3%A9cen [...] | | Permalink : | ./index.php?lvl=notice_display&id=11883 |
|  |
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesSpécification des logiciels / Pascal André (2001)
