Projets

Projets par an 2011 2011 2015

• 3 Terminé

Projets par an

Résultats de recherche

• Terminé

  Thesis-M-Cordy: Modélisation et vérification modulaires de lignes de produits logiciels temps réel.

  CORDY, M. (Chercheur), Heymans, P. (Co-investigateur) & Schobbens, P. Y. (Co-investigateur)

  1/10/11 → 30/09/15

  Projet: Projet de thèse

  • computer codes 100%
  • Software Product Line 46%
  • algorithms 34%
  • verification 33%
  • environment 30%

• VLPL: Vérification de Lignes de Produits Logiciels

  Heymans, P. (Responsable du Projet), Schobbens, P. Y. (Responsable du Projet), Classen, A. (Chercheur), CORDY, M. (Chercheur), KANG, E.-Y. (Chercheur) & Legay, A. (Chercheur)

  1/01/11 → 1/01/13

  Projet: Recherche

  • computer codes 100%
  • verification 53%
  • Software Product Line 47%
  • algorithms 35%
  • modeling 30%

• TPA: Théorie et Pratique des Automates et des Logiques

  Schobbens, P. Y. (Responsable du Projet), CORDY, M. (Chercheur), KANG, E.-Y. (Chercheur) & Ortiz Vega, J. J. (Chercheur)

  1/01/11 → 31/12/14

  Projet: Recherche

  • computer codes 100%
  • environment 50%
  • adaptive systems 50%
  • Environment-Adaptive Software 50%
  • Verifier 50%