Prêtable
| Titre : | Spécification des logiciels : Deux exemples de pratiques récents Z et UML |
| Auteurs : | Pascal Andre ; Alain Vailly |
| Type de document : | texte imprimé |
| Editeur : | Paris [France] : Editions Ellipses, 2001 |
| Collection : | Technosup : les filières Technologiques des enseignements supérieurs, Chèze, Claude |
| ISBN/ISSN/EAN : | 978-2-7298-0774-0 |
| Format : | 317 p. / ill.; couv. en coul. / 24 cm. |
| Langues: | Français |
| Langues originales: | Français |
| Index. décimale : | 005.1 (Programmation (algorithmique, génie logiciel, logique en programmation, programmation d'application)) |
| Catégories : | |
| Mots-clés: | UML ; Langage Z ; Langage OCL ; Programmation |
| Résumé : |
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. |
| Note de contenu : |
Sommaire :
Partie 1: Spécification formelle avec Z Chapitre 1: Introduction aux spécifications formelles Chapitre 2: Le language Z Chapitre 3: La spécification avec Z Chapitre 4: La spécification avec Z : la facturation de commandes Chapitre 5: Des compléments pour la modélisation avec Z Partie 2: Modélisation objet avec UML Chapitre 1: Introduction au développement à objets Chapitre 2: La notation UML Chapitre 3: La spécification avec UML Chapitre 4: Des compléments pour la mondialisation avec UML |
Exemplaires (4)
| Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|
| F8/2537 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
| F8/2538 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
| F8/691 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
| F8/692 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
