| Titre : | Spécification des logiciels deux exemples de pratiques récentes Z et UML : Génie logiciel |
| Auteurs : | Pascal André, Auteur ; Alain Vailly, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Ellipses, 2001 |
| Collection : | Technosup |
| ISBN/ISSN/EAN : | 978-2-7298-0774-0 |
| Format : | 1 vol. (317 p.) / 25 cm |
| Note générale : | Bibliogr. Index |
| Langues originales: | |
| Index. décimale : | 005.1 (Programmation) |
| Catégories : |
Ouvrages > Généralités (ouvrages généraux), information, informatique > Informatique |
| Mots-clés: | Génie logiciel : Manuels d'enseignement supérieur |
| Résumé : |
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 SPECIFICATION FORMELLE AVEC Z Introduction aux spécifications formelles Le langage Z La spécification avec Z La spécification avec Z : la facturation de commandes Des compléments pour la modélisation avec Z MODELISATION OBJET AVEC UML Introduction au développement à objets La notation UML La spécification avec UML Des compléments pour la modélisation avec UML |
| Côte titre : | S8/58634-58637 |
Exemplaires (4)
| Cote | Support | Localisation | Disponibilité |
|---|---|---|---|
| S8/58634 | Livre | Bibliothèque centrale | Disponible |
| S8/58635 | Livre | Bibliothèque centrale | Disponible |
| S8/58636 | Livre | Bibliothèque centrale | Disponible |
| S8/58637 | Livre | Bibliothèque centrale | Disponible |
Accueil
