Structures de données et méthodes formelles

موضوع اصلی این کتاب بررسی ساختارهای داده است. اینها اجزای نرم افزاری هستند که کیفیت آنها عملکرد و کارایی مناسب اکثر برنامه های کامپیوتری را تعیین می کند. اصالت کتاب در پیوندی است که با رشته روش های رسمی مهندسی نرم افزار برقرار می کند. با نشان دادن اینکه چگونه می توان عملیاتی را که با این ساختارها همراهی می کند از یک مشخصات دقیق محاسبه کرد، نگاهی تازه به این زمینه می اندازد.

در قسمت اول، نویسنده مبانی این رشته را ارائه می دهد: مجموعه: تئوری (که توسط نمادها و اصول روش B پشتیبانی می شود)، مطالعه ساختارهای میانی (لیست ها، درختان، کیسه ها) و تجزیه و تحلیل (کلاسیک اما همچنین مستهلک شده) الگوریتم ها. بخش دوم بر مطالعه عمیق پنج ساختار داده معمولی متمرکز است: مجموعه های ساده، مجموعه های ترکیبی، صف های ساده، صف های اولویت و آرایه های انعطاف پذیر. کل ارائه به یک منطق دوگانه پاسخ می دهد: یک دیدگاه تاریخی (هر دوره با ساختارهای داده مشخصه مطابقت دارد) و یک رویکرد عملکردی (عملیات توابعی هستند که ارزش ارائه می دهند). تمرین‌های زیادی هر فصل را همراهی می‌کنند.

این کتاب برای دانشمندان کامپیوتر، متخصصان، دانش‌آموزان یا معلمانی است که می‌خواهند دانش و عملکرد خود را در مورد ساختارهای داده و همچنین پیوندهایشان با روش‌های رسمی توسعه دهند.

Ce livre a pour thème principal l'étude des structures de données. Il s'agit de 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.

Dans une première partie, l'auteur présente les bases de la discipline : la théorie des ensembles (avec comme support les notations et principes de la méthode B), l'étude de structures intermédiaires (listes, arbres, sacs) et l'analyse (classique mais aussi amortie) 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. 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). 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 structures de données ainsi que de leurs liens avec les méthodes formelles.