Domaine : Informatique-Maths applis
Etablissement principal: Univ. BORDEAUX 1
Programme :
Cours : mi-octobre - fin février
- Génie Logiciel (63h) : modèle et outils de développement basés sur la conception et la programmation avancée, étude de logiciels existants.
- Protocoles et Réseaux (63h) : architecture OSI, grands réseaux, réseaux locaux.
- Spécifications formelles et vérifications de logiciels (63h) : types abstraits de données, systèmes de transition, preuves de programmes.
- Programmation symbolique et fonctionnelle (63h) : Prolog, Scheme.Développement sous Unix (36h) : environnements multi-fenêtres, programmation réseaux.
- Langage Ada (36h) : généricité, parallélisme.
- Systèmes experts (36h) : étude fonctionnelle et structurelle, conception et implantation de bases de connaissance.
Projet : Décembre-fin Mars -
Stage en entreprise : Avril-fin Juillet.
Mots-clés:
Responsable de la formation: M. André RASPAUD
Adresse:
351 Cours de la Libération -
33405 TALENCE CEDEX
Tél: 56 84 60 46 - Fax: 56 84 66 69
Fax : 56 84 66 69
Numéro du DESS : 179