Structures de données et méthodes formelles Structures de données et méthodes formelles : Différence entre versions
De Sciencinfolycee
m (Remplacement du texte — « 5. Grains de mécsci » par « 5. Culture Scientifique ») |
|||
| (4 révisions intermédiaires par 2 utilisateurs non affichées) | |||
| 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é= | + | |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= | + | |Catégorie=Algorithmes classiques |
| − | |Mots-clés contrôlés=structure de données; élément de génie logiciel; | + | |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= | + | |Date=2011/04/29 |
|SiloStructure=atomique | |SiloStructure=atomique | ||
| − | |SiloNiveauAgregation= | + | |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.
