Aller au contenu principal
photo
Gatineau - Pavillon Lucien-Brault 101, rue Saint-Jean-Bosco C.P. 1250, succursale Hull Gatineau Québec J8X 3X7 Canada

Jamal Abd-Ali

Chargé de cours

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

 

    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