trié(s) par (Pertinence décroissant(e), Titre croissant(e)) 

Spécification des logiciels / Pascal André (2001)

Public ISBD 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

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
00503	08-01-07	livres	Bibliothèque de la faculté S.N.V * HARCHE MERIEM*	livres	Consultation sur place Exclu du prêt

---

1 (1 - 1 / 1)