Ce cours met l'accent sur la vérification dans un environnement informatique. Les sujets traités incluent la révision, l'évaluation et la vérification des dispositifs de contrôle dans des systèmes informatisés complexes, les procédures de vérification lors d'un transfert à un système informatisé complexe et le choix, l'élaboration et la mise en application de techniques complexes de vérification informatisée. Préalable: COMM 4127 (min. 60 %). (3 h) 3 cr.