| Spécifications formelles
avec Z David LIGHTFOOT traduit par Henri HABRIAS & P.-M. DELPECH
21,34 €
|
|
1994 |
|
Sommaire Présentation L'auteur Le traducteur |
||
| Présentation L'utilisation croissante de la spécification formelle, pour concevoir de nouveaux systèmes informatiques, ou pour spécifier rétrospectivement les systèmes existants, permet d'obtenir une meilleure compréhension de leur comportement à la fois souhaité et réel, les spécifications étant plus claires, moins ambiguës, plus courtes et plus précises. Ce premier ouvrage d'initiation à Z en français s'adresse à un public large, même ignorant de la théorie des ensembles, car l'auteur présente cette théorie à partir de réalités très simples. Très didactique et largement illustré d'exemples tirés de l'expérience quotidienne (base de données, gestion de stock, trajets d'avion, éditeur de texte), ce livre donne, pour chaque chapitre, une série d'exercices (avec corrigés). Des annexes (ensemble de la notation, conseils pour créer des spécifications, lexique bilingue) le complètent. |
Sommaire 1. Introduction 2. Les ensembles en Z 3. Utilisation des ensembles pour décrire un système 4. Logique : calcul propositionnel 5. L'exemple étendu 6. Schéma 7. Exemple d'un document de spécification en Z 8. Logique : calcul des prédicats 9 Relations 10. Fonctions 11. Un système d'affectation de sièges 12. Séquences 13. Exemple de séquence 14. Étendre une spécification Annexes, bibliographie, index |
|
|
L'auteur Le
traducteur |
||
