Il est des systèmes qui exhibent une caractéristique majeure constituée par une interaction forte et soutenue avec leur environnement. Ils sont très diffus voire insoupçonnés, dans des domaines d’application aussi divers que le transport et l’automobile (automotive), la communication (y compris le Web), le monitorage médical, le contrôle/commande de procédés industriels, les systèmes mobiles (assistants et téléphones portables), les interfaces homme-machine, les circuits VLSI ou encore l’électronique de loisirs. De tels systèmes sont dits réactifs. Des outils et des formalismes basés sur des approches asynchrones et synchrones permettent de développer et de vérifier de tels systèmes. L’approche synchrone, basée sur une hypothèse de temps de traitement nul, est plus récente et présente divers avantages. Mathématiquement fondée, elle est notamment utilisée dans le développement du logiciel des nouveaux avions Airbus.

Ouvrage tout particulièrement destiné aux débutants en programmation synchrone. - Thématique actuelle, constituant un domaine en pleine expansion.

Le contenu de cet ouvrage est destiné à des étudiants avancés, il nécessite la maîtrise préalable de la programmation. Il peut être utilisé comme support de cours de programmation de systèmes réactifs ou comme ouvrage de référence pour des professionnels souhaitant élargir leurs connaissances, qu’ils évoluent dans les domaines du logiciel ou des systèmes numériques.

Préface - Avant-propos - Introduction à la programmation réactive synchrone - Exemples introductifs - Premier approfondissement - Outils d'abstraction - Tâches externes - Causalité constructive - Implémentation logicielle - Implémentation matérielle - Vérification formelle - Esterel version 7 - Bibliographie - Index.

L’intelligence artificielle constitue l’un des fondements de l’informatique contemporaine et joue un rôle fondamental dans de très nombreuses applications. Cet ouvrage présente l’ensemble des bases du domaine, comme la représentation de connaissances et l’inférence logique, le traitement d’informations incertaines, les méthodes de recherche, ainsi que les techniques d’apprentissage automatique.

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.