mercredi 30 juillet 2008

Ouverture d'un nouveau cours a l'ISAE CNAM Liban

Spécification et Modélisation Informatiques

Le but du cours est de présenter les automates finis à états et les formalismes logiques qui ont de nombreuses applications pour la spécification et la modélisation de systèmes informatiques. Ils interviennent notamment dans les domaines du génie logiciel, des réseaux, de la conception et du développement, des bases de données, des systèmes d'information et des systèmes transactionnels. A ce titre, ils sont utilisés dans de nombreux enseignements du cursus.

Tous les diplômes et cours du département informatique l'ISAE : http://depinfo.isae.edu.lb/

Libellés : cnam, cours, informatique, isae