Spécification algébrique, algorithmique et programmation

Jean-Francois Dufour, Dominique Bechmann, Yves Bertrand

504 pages, parution le 10/10/1995

Ajouter à une liste

Indisponible

Résumé

Cours complet couvrant tout le processus allant de la spécification abstraite d'un problème jusqu'à sa programmation concrète 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ées sur les techniques algébriques, et fournit des méthodes d'analyse-programmation rigoureuse conduisant à des algorithmes sûrs et bien documentés. Leur transcription en langage C est expliquée. Il étudie en outre les structures de données de base pour ranger, rechercher, trier des données et gérer un espace-mémoire (piles, listes, graphes, arbres, tables), ainsi que les algorithmes correspondants. De nombreux exercices, problèmes et projets complètent la présentation.
Sommaire :
Spécification et programmation. Construction de programmes. Spécifications algébriques 1. Le cas équationnel pur. Spécifications algébriques 2. Le cas général. Implantation et programmation. Spécifications étendues. Piles, files et listes linéaires. Suppression de la récursivité. Complexité et optimalité. Structures et algorithmes. Tables. Graphes 1. Spécification et implantation. Graphes 2. Algorithmes classiques. Arbres et forêts 1. Spécification et implantation. Arbres et forêts 2. Algorithmes et variétés d'arbres. Tris internes. Fichiers. Tris externes.