Dre. Diane Kelly

Dr. Diane Kelly
Dre. Diane Kelly
Bureau:
Édifice Girouard, local 310
Téléphone:
(613) 541-6000 poste 6171
Télécopieur:
(613) 541-6584
Courriel:
Département de Mathématiques et informatique

Adresse du collège

Collège militaire royal du Canada
CP 17000, Succursale Forces
Kingston (Ontario) CANADA
K7K 7B4

Intérêts de recherche

  • Les tests logiciels :
    • L'identification de techniques de tests efficaces pour les logiciels scientifiques.
    • Explorer les effets de l'oracle et les problèmes de tolérance.
    • Créer des stratégies de test efficaces pour les scientifiques.
  • La compréhension de programmes :
    • Identifier et valider les pratiques pour améliorer la compréhensibilité des logiciels scientifiques.
    • Explorer le rôle du support externe (i.e., documentation, expertise humaine, instruction formelle) dans la compréhension des logiciels.
  • La revue de logiciels :
    • Raffiner et valider les inspections à base de tâches pour les logiciels scientifiques.
    • Explorer l'étendue et les bénéfices des revues de logiciels informelles.
  • Le développement de logiciels :
    • Utiliser les concepts de connaissances du domaine, d'acquisition de connaissances, et de transfert de connaissances pour guider le développement de logiciels scientifiques.
    • Adapter le modèle d'acquisition des connaissances pour le développement et la maintenance de logiciels scientifiques. 
    • Conseiller sur la création de standards de qualité pour le développement et la maintenance de logiciels scientifiques.

Courte biographie

Diane a plus de vingt ans d'expérience en développement de logiciel et d'assurance qualité dans l'industrie, principalement dans le domaine de la génération d'énergie nucléaire et la transmission de puissance en vrac. La majorité de ses travaux ont porté sur logiciel de simulation lié à la sécurité, mais elle a aussi de l'expérience avec la conception de base de données, la conception d'interface utilisateur, l'ingénierie des exigences, et le développement de technologies vertes. Ses travaux de recherche, informés par son expérience industrielle, cherchent des façons d'assurer la fiabilité dans les logiciels liés à la science et l'ingénierie.

Éducation

  • B.Sc. en mathématiques pures de l'Université de Toronto
  • B.Ed. en mathématiques et informatique de l'Université de Toronto
  • M.Eng. en génie informatique du Collège militaire royal du Canada
  • PhD. en génie informatique du Collège militaire royal du Canada
Date de modification