Cnam Liban : Valeur C1 informatique

Annonce: Demander votre compte à "ISAE Apps" sur le domaine "@isae.edu.lb" (envoyez un mail de demande à demande@isae.edu.lb). par la suite rejoignez le groupe ValeurC (clickez ici) (ce groupe servira poutr le valeur C1 et C2)

Dans de nombreuses applications comme les télécommunications, les transports terrestre et aérien, le nucléaire, les banques, les soins médicaux etc, un logiciel défectueux peut conduire à des défaillances aux conséquences irréversibles, voire dramatiques.
En dehors de ces domaines critiques, l'essor d'internet, la généralisation de l'utilisation d'un langage comme JAVA permettant la mobilité du code, accroit et généralise le besoin de sécurité et par là même la nécessité de la vérification. D'où la profusion actuelle de projets et d'outils tant industriels qu'universitaires autour de la vérification de code ou de machines virtuelles JAVA.
De nombreuses entreprises travaillant sur ces sujets nous ont fait part de leurs difficultés à recruter des ingénieurs ayant une formation adaptée. C'est pour répondre aux besoins exprimés par ces entreprises, que nous avons mis en place, en collaboration avec elles, un enseignement dans ce domaine. Cette valeur fait partie de cette formation car elle fournit les techniques de description et d'analyse utilisées dans les méthodes visant à accroitre la robustesse, la sureté et la performance des langages et des logiciels.
Cette valeur constitue la première partie d'une valeur C du diplôme d'ingénieur Cnam. La seconde partie est une mise en application par la réalisation d'un projet sur un sujet prolongeant l'un des exemples d'applications traités en cours et pouvant nécessiter la prise en main d'outils spécialisés.
Ce premier travail constitue naturellement un travail préparatoire au mémoire d'ingénieur proprement dit.
Capacités et compétences visées :
Maitrise de la signification et du comportement des langages.
Capacité d'analyse et de raisonnement sur ces objets.

Annonce: Demander votre compte à "ÏSAE Apps" sur le domaine "isae.edu.lb" (envoyez un mail de demande à demande@isae.edu.lb). par la suite rejoignez le groupe ValeurC (clickez ici) (ce groupe servira poutr le valeur C1 et C2)