Pascal André, Maître de conférences à l'Université de Nantes, détaché à l'INP de Yamoussoukro (Côte d'Ivoire) travaille en recherche sur les méthodes formelles pour le développement de systèmes à objets. Alain Vailly, Maître de conférences à la Faculté des sciences et des techniques de l'Université de Nantes est Directeur de l'IUP-MIAGe. Il s'intéresse en recherche au paraphrasage de spécifications.
Génie logiciel : Exercices corrigés en langage Z. Les spécifications formelles par l'exemple
Par : ,Formats :
- Paiement en ligne :
- Livraison à domicile ou en point Mondial Relay estimée à partir du 21 septembreCet article sera commandé chez un fournisseur et vous sera envoyé 25 jours après la date de votre commande.
- Retrait Click and Collect en magasin gratuit
- Réservation en ligne avec paiement en magasin :
- Indisponible pour réserver et payer en magasin
- Nombre de pages243
- PrésentationBroché
- Poids0.55 kg
- Dimensions17,5 cm × 26,0 cm × 1,5 cm
- ISBN2-7298-1942-8
- EAN9782729819422
- Date de parution26/02/2004
- CollectionTechnosup
- ÉditeurEllipses
Résumé
Cet ouvrage constitue une bonne base pour l'apprentissage et la pratique du langage Z, et à travers lui des spécifications formelles en général. Il couvre l'essentiel du domaine d'application de Z, de l'acquisition de la notation à la pratique dans la conception de systèmes d'informations. Il est constitué de plus de 80 exercices corrigés et commentés, regroupes en quatre chapitres : le premier chapitre est consacré à l'apprentissage du langage et de la notation ; le deuxième illustre la spécification avec Z (qu'il s'agisse d'écriture de spécifications, de preuves ou de raffinage) ; le troisième met en évidence l'évolutivité des spécifications Z en reprenant certains exercices et en proposant des variations ; le dernier s'inscrit dans l'application concrète de Z pour le développement du logiciel (en montrant par exemple comment intégrer des modèles E-A-P de Merise avec des spécifications Z) ; Cet ouvrage fait suite à un précédent livre, des mêmes auteurs, dans la même collection Spécification des logiciels - deux exemples : Z et UML, dont il reprend les sujets pour les développer. L'ensemble constitue un bon passeport pour la maîtrise des spécifications formelles.
