Skip to main content
SpringerLink
Log in

Structures de données et méthodes formelles

  • Book
  • © 2011

Overview

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

  • 3619 Accesses

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

Access this book

Log in via an institution

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 chapters)

  1. Front Matter

    Pages i-12
    Download chapter PDF

  2. Les bases

    1. Front Matter

      Pages 13-13
      Download chapter PDF

    2. Mathématiques pour la spécification et les structures de données

      • Marc Guyomard
      Pages 15-57

    3. Spécifications + Fonction d’abstraction + Calcul = Programme

      • Marc Guyomard
      Pages 59-76

    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
      Download chapter 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
    Download chapter PDF
Back to top

Keywords

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.

Authors and Affiliations

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

    Marc Guyomard

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation