![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Book Series
-
Chapter
Files simples
Dans ce chapitre nous étudions les files simples. Nous avons décidé de partir d’une spécification abstraite fondée sur une liste. Par contre nous avons écarté la mise en oeuvre classique sous forme de tableau. Sa...
-
Book
-
Chapter
Mathématiques pour la spécification et les structures de données
Il est communément admis, dans toutes les disciplines de l’ingénieur, qu’après avoir couché sur le papier, en français, les caractéristiques du système que l’on souhaite réaliser, il est nécessaire de modéliser (...
-
Chapter
étude de quelques structures outils
La recherche de mises en œuvre efficacies pour les structures de données fondamentales conduit à raffiner celles-ci par des structures de données secondaires. Comme par un système d’échafaudages, la réalisation d...
-
Chapter
Exemples
Dans ce chapitre nous proposons de développer deux exemples simples qui vont nous permettre de mieux appréhender la démarche utilisée dans le reste de cet ouvrage.
-
Chapter
Ensembles de clés structurées
Le chapitre 6 nous a permis d’étudier quelques représentations intéressantes pour les ensembles de clés scalaires. Il est cependant fréquent que la clé soit composite. En nous limitant toujours au cas des ensembl...
-
Chapter
Tableaux flexibles
Dans la plupart des langages de programmation, le concept de tableau s’identifie à celui de fonction définie sur un intervalle constant de relatifs, intervalle connu dès la compilation (Pascal, C, etc.) ou au plu...
-
Chapter
Files de priorité
Une file de priorité est une structure de données qui gère les adjonctions et les suppressions selon la discipline suivante : lors d’une arrivée, le client se présente avec une valeur représentant une priorité (d...
-
Chapter
Spécifications + Fonction d’abstraction + Calcul = Programme
Ce chapitre présente les principes qui sont appliqués dans le reste de l’ouvrage pour concevoir et mettre en oeuvre des structures de données de manière rigoureuse. La première section fixe le cadre général de la...
-
Chapter
Analyse d’algorithmes
La classe des algorithmes qui satisfont une spécification donnée, si elle n’est pas vide, contient en général une infinité d’éléments. Mais alors sur quelle base peut-on comparer ces algorithmes deux à deux ? Que...
-
Chapter
Ensembles de clés scalaires
Au chapitre 1 nous avons étudié la théorie des ensembles sous son aspect mathématique. Cet aspect ne satisfait pas complètement l’informaticien, qui a besoin d’un « type abstrait » ensemble. C’est cette facette q...