Abstraction and Specification in Program Development offre aux professionnels de la conception de programmes et du génie logiciel une méthodologie qui leur permettra de construire des programmes fiables et raisonnablement faciles à comprendre, à modifier et à maintenir. Une bonne programmation implique la maîtrise systématique de la complexité, et ce livre fournit le premier traitement unifié des techniques d'abstraction et de spécification, qui, selon les auteurs, sont la clé de voûte de toute approche efficace de la programmation. Ils mettent...
Read the full description
Abstraction and Specification in Program Development offre aux professionnels de la conception de programmes et du génie logiciel une méthodologie qui leur permettra de construire des programmes fiables et raisonnablement faciles à comprendre, à modifier et à maintenir. Une bonne programmation implique la maîtrise systématique de la complexité, et ce livre fournit le premier traitement unifié des techniques d'abstraction et de spécification, qui, selon les auteurs, sont la clé de voûte de toute approche efficace de la programmation. Ils mettent un accent particulier sur l'utilisation de l'abstraction de données pour produire des programmes hautement modulaires.
Les auteurs se concentrent sur le processus de décomposition de grands projets de programmation en modules indépendants pouvant être assignés à des groupes de travail distincts. Ils discutent des méthodes de décomposition, des types de modules les plus utiles dans ce processus, et des techniques permettant d'augmenter la probabilité que les modules produits puissent effectivement être recombinés pour résoudre le problème de programmation initial. Le texte contient de nombreux exemples d'abstractions, et chaque chapitre se termine par des références et des exercices pertinents.
La plupart des implémentations présentées dans le livre sont écrites en CLU, l'un des langages de plus en plus nombreux à prendre en charge l'abstraction de données. Un matériel suffisant est toutefois inclus pour permettre au lecteur de travailler également en Pascal.
Le contenu de ce livre a été développé par les auteurs au cours d'une décennie d'enseignement dans des cursus de premier cycle, de deuxième cycle et de formation professionnelle. Barbara Liskov, créatrice du langage CLU, est professeure et John Guttag est professeur agrégé d'informatique au MIT. Abstraction and Specification in Program Development fait partie de la série MIT Electrical Engineering and Computer Science.
Catégories :
- Informatique et technologie
