Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 2011

Structures de données et méthodes formelles

Authors:

  1. Marc Guyomard

    1. Enssat Irisa, Université de Rennes 1 Technopole Anticipa, Lannion Cedex, France

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Le livre peut servir de support de cours (programmation, calcul des algorithmes)
  • Le livre fait constamment le lien entre théorie mathématique et applications (génie logiciel)
  • Une approche éprouvée durant les longues années d'enseignement de l'auteur
  • Chaque chapitre propose des exercices

Part of the book series: Collection Télécom (ex-Collection technique et scientifique des télécommunications) (COLL.TECH.)

  • 3619 Accesses

Sections

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (10 chapters)

  1. Front Matter

    Pages i-12
    PDF

  2. Les bases

    1. Front Matter

      Pages 13-13
      PDF

    4. étude de quelques structures outils

      • Marc Guyomard
      Pages 77-105

    5. Analyse d’algorithmes

      • Marc Guyomard
      Pages 107-128

    6. Exemples

      • Marc Guyomard
      Pages 129-144

  3. Structures de données fondamentales : spécification et mises en œuvre

    1. Front Matter

      Pages 145-145
      PDF

    2. Ensembles de clés scalaires

      • Marc Guyomard
      Pages 147-271

    3. Ensembles de clés structurées

      • Marc Guyomard
      Pages 273-311

    4. Files simples

      • Marc Guyomard
      Pages 313-325

    5. Files de priorité

      • Marc Guyomard
      Pages 327-375

    6. Tableaux flexibles

      • Marc Guyomard
      Pages 377-399

  4. Back Matter

    Pages 401-438
    PDF
Back to top

About this book

Ce livre porte sur l’étude des structures de données, à savoir des constituants logiciels dont la qualité conditionne le bon fonctionnement et l’efficacité des applications informatiques. L’originalité de cet ouvrage réside essentiellement dans le lien qu’il établit avec la discipline des méthodes formelles pour le génie logiciel. Il montre comment il est possible de calculer les opérations qui accompagnent une structure de données à partir d’une spécification rigoureuse. L’auteur adopte à la fois une perspective historique et une démarche fonctionnelle. La première partie de l’ouvrage présente les bases de la discipline : la théorie des ensembles, l’étude de structures intermédiaires (listes, arbres, sacs), et l’analyse des algorithmes. La seconde partie 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. Des exercices accompagnent chaque chapitre.
Back to top

Keywords

Back to top

Authors and Affiliations

  • Enssat Irisa, Université de Rennes 1 Technopole Anticipa, Lannion Cedex, France

    Marc Guyomard

Back to top

About the author

Marc Guyomard est professeur d’informatique à l’Enssat (université de Rennes 1 et université européenne de Bretagne), école d’ingénieurs située à Lannion. Il enseigne ou a enseigné dans de nombreux domaines de l’informatique logicielle. Ses principaux domaines d’intérêt sont les modèles formels pour le développement logiciel et pour l’interaction naturelle homme-machine.
Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Search

Navigation