Genie logiciel exercices corriges en langage z les specifications formelles par l'exemple

ANDRE VAILLY

livre genie logiciel exercices corriges en langage z les specifications formelles par l'exemple
EDITEUR : ELLIPSES MARKETING
DATE DE PARUTION : 04/03/04
LES NOTES : Donnez votre avis
à partir de
29,00 €

SYNOPSIS :

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.
0 personne en parle

Format

  • Hauteur : 26.00 cm
  • Largeur : 17.50 cm
  • Poids : 0.10 kg

Mes garanties furet.com

5% sur tous les livres, Paiement Sécurisé, Réservation gratuite, Satisfait ou remboursé, Débit carte bancaire à l'expédition