Exercices corrigés en langage Z - Génie logiciel - Niveau C: Les spécifications formelles par l'exemple (Technosup) - Softcover

André, Pascal; Vailly, Alain

Softcover

ISBN 10: 2729819428 ISBN 13: 9782729819422

Verlag: ELLIPSES, 2004

Inhaltsangabe

Niveau C (Compléments)
Pour la maîtrise du langage Z et pour comprendre les spécifications formelles, un livre qui complète un précédent ouvrage des mêmes auteurs sur Z, en proposant des exercices avec solutions, précisions sur les démarches suivies et conseils de modélisation.

Über diesen Titel

Reseña del editor

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

Details zur Ausgabe

• Verlag: ELLIPSES
• Erscheinungsdatum: 2004
• Sprache: Französisch
• ISBN 10: 2729819428
• ISBN 13: 9782729819422
• Einband: Tapa blanda
• Anzahl der Seiten: 256
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: nosoli72; 33155336069; sclient@chapitre.com; ; rue de bellevue; le plessis; Lamnay; france; 72320; Frankreich