Cet ouvrage est essentiellement consacré aux aspects concurrents et temps réel de la programmation de systèmes, notamment embarqués. Le langage Ada y est utilisé comme moyen privilégié pour en illustrer les concepts. Il constitue une suite logique à la programmation séquentielle et un prérequis à la programmation d'objets concurrents et distribués.

Cet ouvrage réussit le pari difficile de combiner une présentation classique des concepts de la programmation concurrente avec l'enseignement des notions spécifiques du langage Ada 95. Présentation pédagogique, illustrée d'exemples et d'exercices.

Ce livre s'adresse à des étudiants de deuxième cycle et des ingénieurs désireux de se perfectionner en algorithmique et dans le domaine du temps réel.

Préface - Avant-propos - Introduction - Tâches et types tâches - Mécanismes d'exclusion mutuelle par attente active - Verrous et sémaphores - Producteurs-consommateurs - Lecteurs-rédacteurs - Objets et types protégés - Rendez-vous - Synchronisation reportée - Programmation de systèmes - Programmation temps réel - Transfert de contrôle asynchrone - Bibliographie - Index.

"Un livre excellent et très pédagogique, écrit directement en langue française, qui s'adresse à un public ciblé."
Revue des questions scientifiques. Alain Van Overmeir

Cet ouvrage cible prioritairement les nouveaux domaines des systèmes temps-réel et des applications critiques en procédant par étapes, selon une approche descriptive didactique.

Articulé en trois parties, cet ouvrage a l'originaltié de réunir à la fois les éléments classiques du langage C++ selon la norme ISO, les principes de l'orientation objets appliqués à ce langage, ainsi qu'une introduction à la modélisation objets avec UML pour le développement d'application C++.
Les exemples de l'ouvrage sont disponibles en téléchargement (PDF).

Cet ouvrage a pour objectif d'offrir les connaissances nécessaires à tout apprentissage de la programmation: un cadre permettant au débutant de développer sa pratique sur des cas concrets.

Cet ouvrage didactique décrit le langage Esterel et les Sync-Charts avec de nombreux exemples, ainsi que la compilation vers des cibles logicielles ou matérielles (VHDL).