Structures de données et méthodes formelles Structures de données et méthodes formelles : Différence entre versions

De Sciencinfolycee
Aller à : navigation, rechercher
m (Remplacement du texte — « 5. Culture Scientifique » par « Culture Scientifique »)
 
(Une révision intermédiaire par le même utilisateur non affichée)
Ligne 4 : Ligne 4 :
 
|Auteur(s)=Guyomard, Marc;
 
|Auteur(s)=Guyomard, Marc;
 
|SiloRole=auteur;
 
|SiloRole=auteur;
 +
|SiloNotes=1ère édi. EAN 978-2-8178-0199-5; ISBN 817801997; Springer, coll. Télécom; 438 p.; 85 €
 
|SiloLangue=fre
 
|SiloLangue=fre
|Résumé=Ouvrage dont le thème principal est l'étude des structures de données.
+
|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).  
|Catégorie=Structuration et contrôle de l'information, Culture Scientifique
+
|Catégorie=Algorithmes classiques
|Mots-clés contrôlés=structure de données; élément de génie logiciel; tableau : matrice de données; file : informatique; langage formel;
+
|Mots-clés contrôlé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;
 
|SiloTypeDocumentaire=texte
 
|SiloTypeDocumentaire=texte
 
|SiloTypologieGenerale=ouvrage
 
|SiloTypologieGenerale=ouvrage
 
|Date=2011/04/29
 
|Date=2011/04/29
 
|SiloStructure=atomique
 
|SiloStructure=atomique
|SiloNiveauAgregation=1.Le plus petit niveau (grain)
+
|SiloNiveauAgregation=2.une collection de ressources de niveau 1
 
|SiloTypePedagogique=cours / présentation
 
|SiloTypePedagogique=cours / présentation
 
|SiloPublicCible=enseignant
 
|SiloPublicCible=enseignant
|SiloUtilisationPé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.
+
|SiloUtilisationPé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.
 +
|SiloDroit=© Springer
 
|Evaluateur=Thierry; Diane Rives (indexation); DB
 
|Evaluateur=Thierry; Diane Rives (indexation); DB
 
|Statut d'évaluation=publiée
 
|Statut d'évaluation=publiée
 
}}
 
}}

Version actuelle datée du 6 mars 2012 à 15:15

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.