Spécification des logiciels - Pascal André , Alain Vailly - Librairie Eyrolles
Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Spécification des logiciels
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Spécification des logiciels

Spécification des logiciels

Deux exemples de pratiques récentes : Z et UML

Pascal André, Alain Vailly - Collection Technosup

316 pages, parution le 13/07/2001

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.

L'auteur - Pascal André

Pascal André, Maître de conférences d'informatique à la Faculté des lettres et sciences humaines de l'Université de Nantes travaille en recherche sur les méthodes formelles de développement des systèmes à objets.

Autres livres de Pascal André

L'auteur - Alain Vailly

Alain Vailly, Maître de conférences à la Faculté des sciences et techniques de l'Université de Nantes est Directeur de l'IUP MIAGe. Il s'intéresse en recherche au paraphrasage de spécification.

Autres livres de Alain Vailly

Sommaire

  • Avant-Propos
  • Spécification formelle avec Z
  • Introduction aux spécifications formelles
  • Le language Z
  • La spécification avec Z
  • La spécification avec Z : la facturation de commandes
  • Des compléments pour la modélisation avec Z
  • II Modélisation objet avec UML
  • Introduction au développement à objets
  • La notation UML
  • La spécification avec UML
  • Des compléments pour la mondialisation avec UML
  • Conclusion
Voir tout
Replier

Avis des lecteurs

2,5 / 5

Note basée sur 2 commentaires (voir tous les commentaires)

Ajouter votre commentaire
Commentaire de Jacques L
publié le 16/03/2007
Acheteur vérifié

Complet mais complexe

Ce livre est plutôt dense sur des sujets qui auraient mérité chacun un ouvrage. On peut ainsi reprocher d'avoir placé les corrigés dans un autre livre. Cette densité donne un aperçu complet du sujet pour chaque approche et a le mérite de mieux expliquer d'où vient OCL. Les exercices couvrent bien le domaine de la modélisation avec UML mais pas assez du développement complet d'applications. Les exercices sont relativement riches mais la lecture des corrigés m'a éclairé sur de nombreuses difficultés de modélisation. Je le conseille donc pour un niveau non débutant.

Commentaire de Thibaut M
publié le 19/01/2005
Acheteur vérifié

Déception : pas clair, pas pédagogique

Décevant : explications compliquées, pas claires, ne permet pas d'apprendre à utiliser Z ou UML. Les exercices ne sont même pas corrigés ! Il faut acheter l'autre bouquin pour avoir des exos corrigés !

Caractéristiques techniques

  PAPIER
Éditeur(s) Ellipses
Auteur(s) Pascal André, Alain Vailly
Collection Technosup
Parution 13/07/2001
Nb. de pages 316
Format 17,5 x 26
Couverture Broché
Poids 676g
Intérieur Noir et Blanc
EAN13 9782729807740
ISBN13 978-2-7298-0774-0

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription