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

L'ouvrage (niveau C) : 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. Chacune des parties comprend elle-même : une introduction à la problématique générale du domaine, une illustration de cette problématique par un langage représentatif : Z pour les spécifications formelles et UML pour la modélisation à objets, une présentation des principes des spécifications applicables avec ces langages, un complément de notation destiné à approfondir la connaissance de Z ou UML. La théorie est ici toujours mise au service de la pratique. De très nombreux exemples sont fournis et chaque chapitre est illustré par de nombreux exercices. L'ouvrage fait suite à un premier livre des mêmes auteurs intitulé Conception des systèmes d'information, consacré aux méthodes et aux techniques de base de la conception des systèmes.

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. SommairePremiè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 - ExercicesDeuxième partie : Modélisation objet avec UMLChapitre 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 outi...

Livres / Longueur=26;Livres / Largeur=17.5;Livres / Epaisseur=2;Dimensions et poids / Poids=675;Livres / Nb de pages=318;Support / Quantité fournie=1;Lieu de parution=Paris Cedex 15, France;Livres / Période=Livre édité depuis 1980;Classification Decitre 1=Informatique;Classification Decitre 2=Informatique et Entreprise;Classification Decitre 3=Systemes d'information;Livres / Format=Broché;Propriétaire=Decitre;Livres Origine=Decitre;Livres / Collection=TECHNOSUP;Titre=Génie Logiciel : Spécification Des Logiciels - Deux Exemples De Pratiques Récentes : Z Et Uml;Disponibilité=Disponible;Contributeur : Éditeur=Ellipses;Classification Titelive Primaire=Informatiques Livres;Classification Titelive Secondaire=Informatique Langages Et Programmation