Programmation et Atelier de génie logiciel

  • Aide
  • Recherche
  • Facebook
  • Twitter
Formation

Formation continue et reprise d'études

Formation continue et reprise d'études

Consultez la liste des formations proposées dans le cadre de la formation continue : formations diplômantes, certifications, préparations, formations courtes et formations sur mesure

Lire la suite

Actualités

Vous êtes ici :

Programmation et Atelier de génie logiciel

Présentation

1-Problématique et paradigme de la Méthode Formelle

2-Fonctionnalités et intégration dans un Atelier de Génie Logiciel

3-Atelier B et déploiement de la méthode B (niveau I)

4 -Ateliers Vdm-Tools / Overture Tools et déploiement de la méthode VdmSl

5-Plateforme de simulation Symphony : connexion avec l’atelier Overture Tools

Objectifs

Initier au développement de logiciels garantissant la sûreté de fonctionnement des systèmes critiques en déployant des méthodes formelles supportées par des ateliers de génie logiciel.

Conditions d'admission

Introduction au Génie Logiciel

Volume horaire

  • Travaux Pratique : 19.5h
  • Cours Magistral : 19.5h

Examens

Contrôle continu (50%) - Examen terminal (50%)

En bref

Crédits ECTS 4.0

Nombre d'heures 39.0

Contact(s)

Composante

Responsable(s)

PROFESSEUR DES UNIVERSITES Ouriachi Khadir

Responsable de la Licence

collège STEE
Avenue de l'Université - BP 1155
64013 PAU Cédex
Tél : +33 559407648

Email : khadir.ouriachi @ univ-pau.fr

Lieu(x)

  • Pau