الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'langage z'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Exercices corrigés en langage Z / Pascal André
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 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei01721 005-429.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01720 005-429.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible