الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي

Titre :	Exercices corrigés en langage Z : génie logiciel ; les spécifications formelles par l'exemple
Type de document :	texte imprimé
Auteurs :	Pascal André (1967-....), Auteur ; Alain Vailly, Auteur
Editeur :	Paris : Ellipses
Année de publication :	2004
Collection :	Technosup (Paris), ISSN 1275-3955.
Importance :	II-243 p.
Présentation :	ill., couv. ill.
Format :	26 cm
ISBN/ISSN/EAN :	978-2-7298-1942-2
Note générale :	Bibliogr. p. 231. Index
Langues :	Français (fre)
Mots-clés :	langage Z
Index. décimale :	005
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

Exercices corrigés en langage Z : génie logiciel ; les spécifications formelles par l'exemple [texte imprimé] / Pascal André (1967-....), Auteur ; Alain Vailly, Auteur . - Paris : Ellipses, 2004 . - II-243 p. : ill., couv. ill. ; 26 cm. - (Technosup (Paris), ISSN 1275-3955.) .
ISBN : 978-2-7298-1942-2
Bibliogr. p. 231. Index
Langues : Français (fre)

Mots-clés :	langage Z
Index. décimale :	005
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