On étudie les grammaires algébriques d'arbres, c'est-à-dire les schémas de programmes non déterministes, leurs transformations et leurs réductions. On...

Etude des spécifications fonctionnelles puis opérationnelles du cahier des charges. Représentation du cahier des charges à l'aide du GRAFCET. Concepti...

Introduction sur les mémoires. Les bulles magnétiques et leurs fonctions logiques. Réalisations et applications des mémoires à bulles magnétiques. Les...

Description des principales methodes connues pour la mesure des performances d'un systeme informatique centralise. Application du concept d'evenements...

Principes généraux : classification, étude des différents composants d'un algorithme de visibilité. Réalisation : présentation des algorithmes choisis...