Spécifications algébriques, algorithmique et programmation / Jean-François Dufourd,... Dominique Bechmann,... Yves Bertrand,... [ Livre]

Auteur principal: Dufourd, Jean-FrançoisCo-auteur: Bechmann, Dominique;Bertrand, YvesLangue: Français.Publication : Paris : InterEditions, 1995Description : XV-486 p. ; 23 cmISBN: 2729605819.Collection: IIA Informatique, intelligence artificielleClassification: F Informatique théoriqueRésumé: Résumé L'ambition de cet ouvrage est de couvrir tout le processus allant de la spécification abstraite d'un problème à sa programmation en proposant des méthodes et outils réalistes et éprouvés. Il aborde ainsi la spécification des données et opérations, fondée sur les techniques algébriques, fournit des méthodes de transformation rigoureuses, conduisant à des algorithmes sûrs et bien documentés, et montre comment effectuer leur transcription en langae C. Il étudie en outre de manière systématique, avec des spécifications algébriques, les structures de données de base pour ranger, rechercher, trier des données et gérer un espace mémoire, et introduit les notions liées à la complexité des algorithmes. De nombreux sujets d'exercices, problèmes et projets complètent la présentation. L'ouvrage est destiné aux étudiants de licence-maîtrise d'informatique, de MIAGE, des IUP d'informatique et des écoles d'ingénieurs. Il sera aussi utile aux étudiants de DESS et aux développeurs de logiciel. Sommaire PREMIERE PARTIE. SPECIFICATION ET PROGRAMMATION 1. Construction de programmes 2. Spécifications algébriques 1. Le cas équationnel pur 3. Spécifications algébriques 2. Le cas général 4. Implantation et programmation 5. Spécifications étendues 6. Piles, files et listes linéaires 7. Suppression de la récursivité 8. Complexité et optimalité DEUXIEME PARTIE. STRUCTURES ET ALGORITHMES 9. Tables 10. Graphes 1. Spécification et implantation 11. Graphes 2. Algorithmes classiques 12. Arbres et forêts 1. Spécification et implantation 13. Arbres et forêts 2. Algorithmes et variétés d'arbres 14. Tris internes 15. Fichiers 16. Tris externes.Sujet - Nom commun: Programmation (mathématiques) | Ordinateurs -- Programmation | Logiciels -- Spécifications | Génie logiciel -- Spécifications | C (langage de programmation) -- Problèmes et exercices | Algorithmes
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Magasin (archives)
F DUF (Browse shelf) Available F Informatique théorique 00001794

Bibliogr. p. 474-478. Index

Résumé
L'ambition de cet ouvrage est de couvrir tout le processus allant de la spécification abstraite d'un problème à sa programmation en proposant des méthodes et outils réalistes et éprouvés.
Il aborde ainsi la spécification des données et opérations, fondée sur les techniques algébriques, fournit des méthodes de transformation rigoureuses, conduisant à des algorithmes sûrs et bien documentés, et montre comment effectuer leur transcription en langae C.
Il étudie en outre de manière systématique, avec des spécifications algébriques, les structures de données de base pour ranger, rechercher, trier des données et gérer un espace mémoire, et introduit les notions liées à la complexité des algorithmes. De nombreux sujets d'exercices, problèmes et projets complètent la présentation.
L'ouvrage est destiné aux étudiants de licence-maîtrise d'informatique, de MIAGE, des IUP d'informatique et des écoles d'ingénieurs. Il sera aussi utile aux étudiants de DESS et aux développeurs de logiciel.
Sommaire
PREMIERE PARTIE. SPECIFICATION ET PROGRAMMATION
1. Construction de programmes
2. Spécifications algébriques 1. Le cas équationnel pur
3. Spécifications algébriques 2. Le cas général
4. Implantation et programmation
5. Spécifications étendues
6. Piles, files et listes linéaires
7. Suppression de la récursivité
8. Complexité et optimalité
DEUXIEME PARTIE. STRUCTURES ET ALGORITHMES
9. Tables
10. Graphes 1. Spécification et implantation
11. Graphes 2. Algorithmes classiques
12. Arbres et forêts 1. Spécification et implantation
13. Arbres et forêts 2. Algorithmes et variétés d'arbres
14. Tris internes
15. Fichiers
16. Tris externes

Powered by Koha