Professeur Associé Yvan Labiche

Expertise en Génie Logiciel

• Vérification et validation de logiciels, en particulier:
  • les logiciels orientées-objets
  • les logiciels construits à l'aide du language UML (Unified Modeling Language)
  • les logiciels ayant des besoins en sûreté de fonctionement
• Dévelopement logiciel (analise et conception) dirigé par les modèles et analyse et conception de logiciels orientés objets à l'aide de la notation UML (Unified Modeling Language)
• Assurance et control qualité du logiciel basées sur des méthodes de mesure quantitatives, experimentations en génie logiciel
• Utilisations de techniques d'intelligence artificielle et d'algorithmes évolutionnistes au génie logiciel