Vous êtes ici : Portail Cnam> Portail de la formation> École SITI> Département INFO> Architecture et Intégration des Systèmes Logiciels> UE>
Construction rigoureuse des logiciels(2)
L'objectif de cet enseignement est d'aborder différents outils et techniques de validation de logiciel en faisant suite au contenu présenté dans la valeur "Construction rigoureuse des Logiciels 1"(CRL1) (code NFP 209).
Public et conditions d'accès
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.
Public et conditions d'accès
L'objectif de cet enseignement est d'aborder différents outils et techniques de validation de logiciel en faisant suite au contenu présenté dans la valeur "Construction rigoureuse des Logiciels 1"(CRL1) (code NFP 209).Compétences visées
Culture de base dans un large panel de techniques de validation de logiciels.Voir aussi toutes les formations en
Contenu
Techniques et outils abordés:1. Outil d'analyse statique (Spark)
2. Model Checking
3. Techniques de validation par le test,
4. Sûreté de fonctionnement, exemples de normes de certification de logiciel.
Bibliographie
- P. Courtieu : Support de cours.
- C. Morgan. : Programming from specifications . Prentice Hall
- http://www.inf.ethz.ch/~jbook/ : Java and the Java Virtual Machine - Definition, Verification, Validation
- E. Chailloux, P. Manoury, B. Pagano : Développement d'applications Développement d'applications en Objective Caml}, O'Reilly, 2000
- J.F. Monin : Comprendre les méthodes formelles T.S.T Masson 1996
- P. Gochet, P. Gribomont : Logique, Méthodes pour l'informatique fondamentale, t.1-2} Logique, Méthodes pour l'informatique fondamentale, Hermes, 90-91.
- A.Aho, R. Sethi, J.D. Ullman, : Compilers: Principles, Techniques, and Tools, Addison-Wesley, 1986
Cette UE apparaît dans les diplômes et certificats suivants :
- Entrée
CYC14p-1Ingénieur diplômé de l'école d'ingénieurs du Cnam spécialité informatique option réseaux, systèmes et multimédia (IRSM)
Centres d'enseignement - EntréeCYC45p-1Ingénieur diplômé de l'école d'ingénieurs du Cnam spécialité informatique option architecture et ingénierie des systèmes et des logiciels (AISL) Centres d'enseignement
Contact national
Secrétariat Equipe pédagogique AISLCase 2D4P30, Accés 37.0.36, 2 rue Comté
Paris
Tél : 01 40 27 27 02
Fax : 01 58 80 84 93
Emmanuelle BIAR
Voir le site
Pour les dates et horaires, les lieux d’enseignement et les modes d’inscription, consulter le(s) centre(s) qui propose(nt) cette formation
Information non disponible pour le moment.
