Structures de données et méthodes formelles Structures de données et méthodes formelles

De Sciencinfolycee
Aller à : navigation, rechercher
Section Description
URL http://www.springer.com/computer/book/978-2-8178-0199-5
Titre Structures de données et méthodes formelles
Auteur(s) Guyomard, Marc
Fonction(s) auteur
Notes 1ère édi. EAN 978-2-8178-0199-5; ISBN 817801997; Springer, coll. Télécom; 438 p.; 85 €
Section Analyse
Langue fre
Résumé Les structures de données sont les constituants logiciels dont la qualité conditionne le bon fonctionnement et l'efficacité de la plupart des applications informatiques. L’originalité de l’ouvrage réside dans le lien qu'il établit avec la discipline des méthodes formelles pour le génie logiciel. En montrant comment il est possible de calculer les opérations qui accompagnent ces structures à partir d'une spécification rigoureuse, il jette un regard neuf sur le domaine. Une première partie présente les bases de la discipline : la théorie des ensembles, l'étude de structures intermédiaires (listes, arbres, sacs) et l'analyse (classique mais aussi amortie) des algorithmes. La seconde se focalise sur l'étude approfondie de cinq structures de données typiques : les ensembles simples, les ensembles composites, les files simples, les files de priorité, et les tableaux flexibles. L'ensemble de l'exposé répond quant à lui à une double logique : une perspective historique (à chaque époque correspondent des structures de données caractéristiques) et une démarche fonctionnelle (les opérations sont des fonctions qui délivrent une valeur).
Sélection(s) thématique(s) Algorithmes classiques
Mots-clés normalisés structure de données ; élément de génie logiciel ; théorie des ensembles ; liste : informatique ; arbre binaire ; algorithmique ; file : informatique ; tableau d'enregistrement
Proposition autres mots-clés
Type documentaire texte
Typologie Générale ouvrage
Date de publication 2011/04/29
Structure du document atomique
Niveau d'agrégation 2.une collection de ressources de niveau 1
Exigences techniques
Section Pédagogie
Type pédagogique cours / présentation
Public cible enseignant
Utilisation pédagogique L'ouvrage s'adresse aux informaticiens, professionnels, étudiants ou enseignants désireux de faire évoluer leurs connaissances et leur pratique des structures de données ainsi que de leurs liens avec les méthodes formelles. De nombreux exercices accompagnent chaque chapitre.
Section Droits
Droits du document © Springer
Section processus de validation (workflow)
Intervenants Thierry; Diane Rives (indexation); DB
Statut du workflow publiée

Signaler cette ressource. Si ce lien de signalement ne fonctionne pas (ouverture intempestive d'un mailer alors que vous utilisez un webmail) c'est qu'il vous manque l'extension idoine dans votre navigateur (par exemple l'extension send-mail pour firefox); c'est une bonne occasion de l'installer.