Exercices corrigés en langage Z  - ellipses - 9782729819422 -
Exercices corrigés en langage Z  

Exercices corrigés en langage Z

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 [...]
[lire le résumé du livre]

Auteur : 

Editeur : Ellipses

Collection : Technosup

Date parution :

Reliure :
Broché
Nbr de pages :
243
ISBN 10 :
2729819428
ISBN 13 :
9782729819422
29,00 €
Disponible expédié
sous 4 à 8 jours

Paiements sécurisés
CB Google/Apple Pay, Chèque, Virement
0.01€ à partir de 35€ en France métropolitaine
Satisfait ou remboursé sous 14 jours ouvrés

Quel est le sujet du livre "Exercices corrigés en langage Z "

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.

Auteurs :

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.
Les spécifications formelles par l'exemple. En suivant ce lien, retrouvez tous les livres dans la spécialité Développement d'applications.

Sommaire et contenu du livre "Exercices corrigés en langage Z "

1 - Le langage Z ; 2 - La spécification avec Z ; 3 - La spécification avec Z : la facturation de commandes ; 4 - Des compléments pour la modèlisation avec Z ; - Compléments d'énoncés ; - Résumé de la notation Z.

    Avis clients sur Exercices corrigés en langage Z - ellipses - Technosup

    (Ils sont modérés par nos soins et rédigés par des clients ayant acheté l'ouvrage)
    Donnez votre avis
     
    Controler les cookies