NFP210 - Construction rigoureuse des logiciels(2)

AISL - Architecture et Intégration des Systèmes Logiciels - UE - 2014-2015
NFP210 - Construction rigoureuse des
logiciels(2)
Pierre COURTIEU
Informations
extraites de BDO
le 18-11-2014
Public concerné 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' acquérir une pratique dans le domaine des Logiciels Sûrs.
Étudiants visant le diplôme d'ingénieur Cnam option IQL ou le Master STIC MOCS parcours Logiciels
Sûrs.
Finalités de l'unité d'enseignement
Objectifs pédagogiques :
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).
Capacités et compétences visées :
Culture de base dans un large panel de techniques de validation de logiciels.
Organisation
Nombre de crédits enseignements ECTS
6 ECTS
Contenu de la formation
Techniques et outils abordés (en NF209 et/ou 210):
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
2014-11-19T01:30:23
Responsable national
Pierre COURTIEU
Contact à Paris
Accès 37.0.36
Case courrier: 2D4P30
Equipe pédagogique AISL
2 rue Comté
75003 Paris
Tél : 01 40 27 27 02
Fax : 01 58 80 84 93
Emmanuelle BIAR
[email protected]
http://deptinfo.cnam.fr/new/
infos.php?ue=NFP210
Projet, mémoire
Examen + TP
J.F. Monin
Contacts
Informations
complémentaires
Modalités de validation :
Examen
Auteurs
E. Chailloux, P.
Manoury, B. Pagano
http://www.inf.ethz.ch/
~jbook/
C. Morgan.
P. Courtieu
A.Aho, R. Sethi, J.D.
Ullman,
P. Gochet, P. Gribomont
NFP210
Titre
Développement d'applications Développement d'applications en
Objective Caml}, O'Reilly, 2000
Java and the Java Virtual Machine - Definition, Verification,
Validation
Programming from specifications . Prentice Hall
Support de cours.
Compilers: Principles, Techniques, and Tools, Addison-Wesley,
1986
Logique, Méthodes pour l'informatique fondamentale, t.1-2}
Logique, Méthodes pour l'informatique fondamentale, Hermes,
90-91.
Comprendre les méthodes formelles T.S.T Masson 1996
INFO - Informatique
Fiche informative sans valeur contractuelle

Download Report