| Public Concerné |
Pré requis : avoir suivi ou suivre conjointement
- Spécification et Modélisation Informatiques (SMI) (code NFP 108) et
- Construction rigoureuse des Logiciels 21CRL1) (code NFP 209)
Public concerné : Informaticiens désireux d' aquérir une pratique dans le domaine des Logiciels Surs. Etudiants visant le diplôme d'ingénieur Cnam option IQL ou le Master STIC MOCS parcours Logiciels Sûrs.
|
Finalité de l'unité d'enseignement |
| Objectifs pédagogiques |
L'objectif de cet enseignement est de mettre en application le contenu présenté dans la valeur "Construction rigoureuse des Logiciels 1"(CRL1) (code NFP 209) par la rédaction d'un mémoire sur un sujet prolongeant l'un des exemples d'applications traités en cours. Ce travail pourra nécessiter la prise en main d'outils spécialisés.
Ce premier mémoire constitue naturellement un travail préparatoire au mémoire d'ingénieur proprement dit, si l'étudiant se destine au diplôme d'ingénieur, et constitue la valeur de projet obligatoire en première année de Master si l'étudiant vise l'aquisition du Master STIC MOCS.
|
| Capacité et compétences acquises |
| Connaissance aprofondie d'un des domaines d'applications liés à la sureté logicielle. Mise en pratique de ces connaissances. |
| Organisation |
| 6Crédits |
| Contenu de la formation |
Cours : supports theoriques nécéssaires dans le domaine d'application choisi
TP : aide à la prise en main des outils
|
|
|
