| Titre : | Génie logiciel : spécification des logiciels ; deux exemples de pratiques récentes, Z et UML |
| 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 : | 317 p. / ill. / 26 x 18 cm |
| Note générale : |
Bibliogr. Index
|
| Langues: | Français |
| Index. décimale : | 378.64 |
| Catégories : | |
| Mots-clés: | manuels d'enseignement supérieur ; Z (langage de programmation) ; UML (informatique) |
| 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 : |
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 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 |
Exemplaires (2)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| TEC014667 | INF05080 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
| TEC014668 | INF05081 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |
