Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Bugs de programmation : Compréhension, réparation et prévention

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (47)

Raisonnement du programme d'aide à l'apprentissage Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la recherche de bugs, la vérification et l'utilisation d'approches aidées à l'apprentissage dans le raisonnement de programme, montrant des exemples comme le bug Heartbleed et le raisonnement bayésien différentiel.

Correspondance logicielle: Test et vérification Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'exactitude des logiciels grâce à des tests, à la vérification, au flou de propriété et au contrôle dynamique du flux d'information.

Vérification et validation : essais et gestion des risques Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les méthodologies de test, la gestion des risques et le processus d'examen de la préparation au vol en ingénierie des systèmes.

Héritage : Polymorphisme et moulage Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'héritage, le polymorphisme et le casting dans la programmation orientée objet, en mettant l'accent sur la factorisation du code et la manipulation générique d'objets.

Stratégies informatiques durables : Forum SI 2024 Connectez-vous à Mediaspace pour regarder cette vidéo

Discute des pratiques et stratégies informatiques durables présentées au Forum SI 2024 à l’EPFL.

Programmation scientifique pour les ingénieurs: introduction à GIT Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de la programmation scientifique pour les ingénieurs, en soulignant l'importance de GIT pour le travail collaboratif et en fournissant un aperçu des défis du développement de logiciels scientifiques.

Principes fondamentaux de la sécurité informatique Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de la sécurité informatique, mettant l'accent sur la responsabilité de chacun dans la protection des données et la prévention des cybermenaces.

Page 3 sur 3