Cet ouvrage tente de répondre à trois défis: un défi pédagogique, l'introduction d'un enseignement de niveau universitaire conduisant le lecteur de la théorie classique des systèmes logiques à celle de l'architecture des processeurs, y compris leur microprogrammation; un défi scientifique, une tentative de synthèse de la théorie des systèmes logiques et de celle de la programmation séquentielle; un défi technique, la mise en oeuvre d'automatismes microprogrammés (commandes de machine, horloges, par exemple) en lieu et place des systèmes logiques câblés ou des microprocesseurs classiques. Ces trois défis sont relevés en basant l'ensemble du volume sur la notion d'équivalence entre système logique câblé (matériel) et microprogrammé (logiciel); ce texte constitue à la fois un exposé rigoureux sur la microprogrammation, une introduction originale aux concepts fondamentaux de la programmation séquentielle et un traitement exhaustif du magiciel, défini comme la théorie des transformations et des équivalences entre le matériel et le logiciel.

Ce livre constitue à la fois un exposé rigoureux sur la microprogrammation, une introduction originale aux concepts fondamentaux de la programmation séquentielle et un traitement exhaustif du magiciel, défini comme la théorie des transformations et des équivalences entre le matériel et le logiciel.

Etudiants des 1er et 2e cycles, chercheurs, ingénieurs.

Introduction - Remerciements - Opérateurs logiques et mémoires - Arbres et diagrammes de décision binaire - Sous-programmes et procédures - Programmes incrémentés - Programmation structurée - Programmation descendante - Microprogrammation d'un processeur universel - Annexes -Bibliographie - Index analytique.

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).