Ecrit par deux professeurs du célèbre MIT (Massachusetts Institute of technology), cet ouvrage est unique en son genre. Il a un double objectif : - mettre à la disposition des étudiants un corps de connaissances leur permettant de comprendre et de maîtriser les éléments fondamentaux de la science informatique ; - donner aux professeurs les moyens scientifiques et pédagogiques pour un enseignement efficace de son contenu. Ce livre constitue une introduction, à dominante conceptuelle, aux techniques menant au développement de systèmes logiciels de grande taille. Il permet au lecteur de se familiariser avec les méthodes et les outils grâce auxquels il maîtrisera la complexité de ces logiciels. Les principaux thèmes abordés sont relatifs à la conception des programmes, ainsi qu'à l'étude de leur structure et à leur interprétation. La notion d'abstraction, tant au niveau des procédures que des données, est étudiée ; les principes de modularité sont analysés ; tous les éléments constitutifs de la science informatique sont illustrés. Les exemples de programmes utilisent Scheme, un dialecte de lisp développé au MIT. Ce livre sera le compagnon de tout étudiant, enseignant et professionnel de l'informatique. Le regard qu'il posera sur cette discipline ne sera plus le même après la lecture de cet ouvrage.
