Titre :	Spécification des logiciels : deux exemples de pratiques récentes Z et UML ; génie logiciel
Type de document :	texte imprimé
Auteurs :	Pascal André (1967-....), Auteur ; Alain Vailly, Auteur
Editeur :	Paris : Ellipses
Année de publication :	2001
Collection :	Technosup (Paris), ISSN 1275-3955
Importance :	317 p.
Présentation :	ill., couv. ill.
Format :	26 cm
ISBN/ISSN/EAN :	2-7298-0774-8
Note générale :	Fait suite à : "Conception des systèmes d'information" des mêmes auteurs Bibliogr. p. 305-310. Index
Langues :	Français (fre)
Index. décimale :	005.1
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

Spécification des logiciels : deux exemples de pratiques récentes Z et UML ; génie logiciel [texte imprimé] / Pascal André (1967-....), Auteur ; Alain Vailly, Auteur . - Paris : Ellipses, 2001 . - 317 p. : ill., couv. ill. ; 26 cm. - (Technosup (Paris), ISSN 1275-3955) .
ISBN : 2-7298-0774-8
Fait suite à : "Conception des systèmes d'information" des mêmes auteurs
Bibliogr. p. 305-310. Index
Langues : Français (fre)

Index. décimale :	005.1
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