Infos et consignes - COVID-19

Jamal Abd-Ali

Courriel : jamal.abd-ali [at] uqo.ca
Gatineau - Pavillon Lucien-Brault
101, rue Saint-Jean-Bosco
C.P. 1250, succursale Hull
Gatineau
Québec
Canada
J8X 3X7

   

  

 

 

    Modélisation de systèmes de décision

    Spécification formelle de contrôle d'accès

    Validation et vérification

    Combinatorial testing

 

 

  Doctorat en sciences et technologies de l'information

  Maîtrise en informatique

  Diplôme de génie avec une concentration économie

  Mathématiques spéciales et supérieures

  

 

  

  • Technologies du commerce électronique
  • Math. de l’ingénieur I
  • Algèbre vectorielle et matricielle
  • Fondements algébriques
  • Assurance de la qualité logicielle (aut. 2013, 2014 et 2015)
  • Analyse et gestion des exigences (Hiver 2015  - aut. 2020)
  • Génie logiciel I et II
  • Modélisation et conception orientée objet
  • Développement d’applications avec Visual Basic .NET
  • Commutation et routage
  • Télématique
  • Outils informatiques-bureautique

    

 

    

Spécialisations et intérêts de recherche

 

Concrétisation

Algorithmes de manipulation d’immenses volumes de données structurées

 

Concrétisé dans mon enseignement des cours « Abstract Data Types with Algorithms »

et « Algorithmique I »

Spécification formelle des exigences de contrôle d’accès 

Concrétisé dans ma thèse de doctorat.

 

Méta-modélisation et test de logiciels avec une analyse combinatoire

 

Concrétisé dans mon mémoire de maîtrise et mon enseignement de plusieurs cours de génie logiciel.

Liste complète des productions

      

 

 Chargé de cours

Département d'informatique et d'ingénierie

Université du Québec en Outaouais