By Marc Guyomard (auth.)

Ce livre a pour thème valuable l'étude des constructions de données. Il s'agit de constituants logiciels dont l. a. qualité conditionne le bon fonctionnement et l'efficacité de l. a. plupart des purposes informatiques. L’originalité de l’ouvrage réside dans le lien qu'il établit avec los angeles self-discipline des méthodes formelles pour le génie logiciel. En montrant remark il est attainable de calculer les opérations qui accompagnent ces constructions � partir d'une spécification rigoureuse, il jette un regard neuf sur le domaine.

Dans une première partie, l'auteur présente les bases de l. a. self-discipline : los angeles théorie des ensembles (avec comme aid les notations et principes de l. a. méthode B), l'étude de buildings intermédiaires (listes, arbres, sacs) et l'analyse (classique mais aussi amortie) des algorithmes. l. a. seconde partie se focalise sur l'étude approfondie de cinq buildings de données typiques : les ensembles simples, les ensembles composites, les documents simples, les documents de priorité, et les tableaux flexibles. L'ensemble de l'exposé répond quant � lui � une double logique : une point of view historique (� chaque époque correspondent des constructions de données caractéristiques) et une démarche fonctionnelle (les opérations sont des fonctions qui délivrent une valeur). De nombreux exercices accompagnent chaque chapitre.

L'ouvrage s'adresse aux informaticiens, professionnels, étudiants ou enseignants désireux de faire évoluer leurs connaissances et leur pratique des constructions de données ainsi que de leurs liens avec les méthodes formelles.

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. Ses principaux domaines d’intérêt sont les modèles formels pour le développement logiciel et pour l'interaction naturelle homme-machine.

Show description

Read Online or Download Structures de données et méthodes formelles PDF

Best technique books

Embedded Generation

Call for for on-site and substitute energy new release is turning out to be, fueled through govt and public strain to extend new release from renewable resources and effort effective plant, and by means of the aptitude financial merits due to privatization and deregulation of the availability area. This booklet is a realistic, course-derived consultant that covers all features of embedded (or dispersed) new release, from best mover features to community reliability modelling.

Electromagnetic Shielding (Wiley Series in Microwave and Optical Engineering)

The definitive reference on electromagnetic defensive fabrics, configurations, ways, and analysesThis reference offers a accomplished survey of strategies for the aid of the electromagnetic box degrees in prescribed parts. After an creation and an outline of accessible fabrics, it discusses figures of benefit for protecting configurations, the protecting effectiveness of stratified media, numerical equipment for safeguarding analyses, apertures in planar steel monitors, enclosures, and cable defensive.

Troilus and Cressida (Webster's Chinese-Traditional Thesaurus Edition)

This version is written in English. although, there's a operating Chinese-Traditional word list on the backside of every web page for the more challenging English phrases highlighted within the textual content. there are lots of variants of Troilus and Cressida. This variation will be u

Additional info for Structures de données et méthodes formelles

Example text

N × 1 .. m → N. Spécifier l’opération qui délivre true si et seulement s’il existe au moins une « ligne » de t ne contenant que des zéros. 11 Soit n ∈ N1 et soit t le tableau défini par t ∈ 1 .. n → N. 1. Spécifier que pour i et s donnés tels que i ∈ 1 .. n et s ∈ i .. n, le sous-tableau i .. s ✁ t est une succession d’entiers consécutifs. 2. Spécifier l’ensemble des longueurs des sous-tableaux de t ne contenant que des entiers consécutifs. 3. Spécifier l’expression qui délivre la longueur du plus long sous-tableau de t contenant des entiers consécutifs.

Tab(expression) Notation tab(s) Définition Ident. (i, j) ·(i, j ∈ Z × Z | i .. 3) Le cas où la fonction qui définit le tableau est une fonction injective est un cas particulier que nous rencontrons parfois. Un tel tableau est qualifié de « tableau sans doublon ». 1 Démontrer les propriétés répertoriées dans l’annexe D portant sur l’opérateur de décalage de fonction . 2, page ci-contre, avec la restriction v ∈ N. Fournir une définition alternative inductive. Montrer l’équivalence de ces deux définitions.

1. On appelle décalage logique à droite de p positions (p ∈ 1 .. n) du tableau t l’opération aboutissant au tableau débutant par p zéros suivis des éléments du tableau t situés entre les positions 1 et n − p. Spécifier formellement, en utilisant l’opérateur de décalage , la notion de décalage logique à droite. 2. On appelle décalage circulaire à droite de p positions (p ∈ 1 .. n) du tableau t l’opération aboutissant au tableau débutant par les p derniers éléments de t suivis des n−p premiers éléments de t.

Download PDF sample

Rated 4.76 of 5 – based on 25 votes