Home - Jobs - Stages - Contact - Accès
Logo CETIC
Your Connection to ICT research
A propos
  • Le CETIC en quelques mots
  • Centre de recherche agréé
  • Coordonnées du Personnel
  • Politique Qualité
  • Certification ISO 9001
  • Chiffres
  • Valeurs du CETIC
  • Partenaires du CETIC
  • Eléments constitutifs
Expertise
  • Software and System Engineering
  • Software and Services Technologies
  • Embedded and Communication Systems
Services
  • Comment travailler avec le CETIC
  • Bénéficiez des Chèques Technologiques
Projets
  • Europe
  • Wallonie
Point infos
  • Évènements
  • Publications
  • Publications scientifiques
  • Contacts et infos presse
Blog
FR - EN
Accueil du site > FR > Informations générales > Stages > Exemples de stages terminés

Mots-clés

  • Sécurité et confiance
  • Interfaces Utilisateurs
  • Software and System Engineering
  • Sûreté de fonctionnement
  • Accessibilité
  • eID

Exemples de stages terminés

Cette section détaille les résultats de quelques stages passés réalisés au sein du CETIC qui ont abouti à des résultats sous forme de prototype avancé et/ou de publication à caractère technique ou scientifique.


  • Generating High-Level Event-B System Models from KAOS Requirements Models (Contact: Christophe Ponsard)

  • Conception orientée-but d’un logiciel e-mail pour Cérébro-lésés. (Interfaces Utilisateurs - Accessibilité - Contact: Christophe Ponsard)

  • VICS - un outil de vérification de raffinements B - avril-septembre 2003 (Sûreté de fonctionnement - )

  • Réalisation d’un outil de composition de panneaux de contrôle d’animation. (Software and System Engineering - Contact: Christophe Ponsard)

  • Réalisation d’un chat sécurisé par eID (Sécurité et confiance - eID - Contact: Christophe Ponsard)

  • CETIC Bâtiment Éole • Rue des Frères Wright, 29/3 • B-6041 Charleroi • Belgique • info@cetic.be