Université Bordeaux 1 - Master S&T Informatique - Spécialité Ingénierie des Systèmes Critiques


Les stages et mémoires 2006-2007

Les mémoires de recherche

MFaresChucri un courrier CEGAR et AltaRica

Les stages en entreprise

MKamalAmri un courrier Clearsy (Aix en Provence) Portage de Composys sous Redinet
MRolandAtoui un courrier Trusted Logics (Paris) Développement d'un outil de cartographie des risques
MCyrilBatailler un courrier Thales (Toulouse) Etude sur les outils de modèles exécutables
MlleNajimaBelkis un courrier Eurogiciel (Bordeaux) Vérification et Validation de logiciel de visualisation SMD88-NG de NH90
MAbdelhamidBelmehdi un courrier
MAnassBerrada Gouzi un courrier Cap Gemini (Paris) Moteur d'orchestration open-source autour d'une implémentation J2EE
MGrégoryBord un courrier Sopra Group (Bordeaux) Mise en place d'un système de TGAO
MFouadBoudali un courrier ATOS Origine (Bordeaux) Projet de tierce maintenance appl mutualisée
MXavierDumas un courrier ONERA (Toulouse) Transformation de modèles AADL en modèles AltaRica
MBrunoHickel un courrier Unilog (Bordeaux) Intégration du progiciel ARTEMIS7
MSébastienJardel un courrier Clearsy (Aix en Provence) Portage d'outils de traduction sous l'environnement cocktail/java
MlleZahraLahlali un courrier
MGhislainMokolomboka un courrier
MOlivierOrtega un courrier Thales (Toulouse) Modélisation comportementale de fonctions avioniques
MLaurentVendredi un courrier Thales (Pessac) Développement outils de dépouillement radar
MMathieuVidalies un courrier CEA (Saclay) Ingénierie des modèles appliquée à la traduction de langage



Veuillez reporter toute erreur ou omission à Alain Griffault.

Dernière mise à jour effectuée le 9 octobre 2007.