Construction rigoureuse des logiciels(2)
Formation
À Paris Cédex 03
Avez-vous besoin d'un coach de formation?
Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.
Description
-
Typologie
Formation
-
Lieu
Paris cédex 03
-
Dates de début
Dates au choix
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' 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.
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).
Compétences visées
Connaissance approfondie d'un des domaines d'applications liés à la sureté logicielle. Mise en pratique de ces connaissances.
Mots-clés
Qualité du logiciel
Méthode de test
Développement logiciel
Sémantique des programmes
Construction de modèle
Les sites et dates disponibles
Lieu
Date de début
Date de début
À propos de cette formation
Connaissance approfondie d'un des domaines d'applications liés à la sureté logicielle. Mise en pratique de ces connaissances.
Les Avis
Le programme
Contenu
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
- P. Courtieu : Support de cours.
- C. Morgan. : Programming from specifications . Prentice Hall
- : 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
Avez-vous besoin d'un coach de formation?
Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.
Construction rigoureuse des logiciels(2)