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

Concept

Emacs

Séances de cours associées (28)

Tests basés sur la propriété: techniques avancées

Explore les techniques de test logiciel avancées, y compris les tests basés sur les propriétés, pour assurer l'exactitude du code et améliorer la qualité du logiciel.

Débogage des logiciels: Techniques et meilleures pratiques

Couvre les techniques de débogage des logiciels, mettant l'accent sur le diagnostic efficace des problèmes, la collecte d'information et les processus de débogage structurés.

Structures de données abstraites en C++

Couvre la programmation procédurale et orientée objet, les structures de données abstraites, les modèles et la bibliothèque standard C++.

Contrôle de version distribué avec Git

Explore le contrôle de version distribué de Git, couvrant la résolution des conflits, la gestion de la collaboration et la fusion dans des projets logiciels.

Tests logiciels : éviter et corriger les bugs

Souligne le rôle essentiel des tests logiciels dans la prévention et la résolution des bogues pendant le développement.

C++ Bibliothèque standard: Conteneurs et Algorithmes

Couvre les bases des conteneurs de bibliothèque standard C++, des algorithmes et des itérateurs.

Programmation orientée objet : fondamentaux et exemples

Couvre les fondamentaux de la programmation orientée objet en C++, y compris l'encapsulation, l'héritage et le polymorphisme, avec des exemples en différentes langues OOP.

Héritage multiple : concepts et mise en œuvre

Couvre les concepts fondamentaux et les défis de l'héritage multiple dans la programmation orientée objet, fournissant des exemples pratiques et des explications.

Guide de survie OpenShift

Fournit un guide de survie pour OpenShift, couvrant la configuration des nœuds, la gestion des services, la gestion de la configuration et le dépannage des problèmes.

Programmation orientée objet : Héritage et polymorphisme

Introduit l'héritage, le polymorphisme et les concepts de programmation orientés objet en Java à travers des exemples pratiques.

Contrôle de version distribué avec Git Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les fonctionnalités de contrôle de version distribuée de Git, en se concentrant sur la résolution des conflits et la gestion de la collaboration.

Tests basés sur les propriétés: techniques et applications avancées Connectez-vous à Mediaspace pour regarder cette vidéo

Explore des techniques de test logiciel avancées, y compris les tests basés sur les propriétés et diverses formes de fuzzing, pour tester efficacement des systèmes complexes.

Introduction à Coq: Expressions arithmétiques et évaluateurs Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de Coq, en se concentrant sur les expressions arithmétiques, l'évaluation et les techniques de preuve.

Sans titre Connectez-vous à Mediaspace pour regarder cette vidéo

Visite des services d'hébergement Web Legacy Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre une visite des anciens services d'hébergement Web et des discussions sur le stockage futur des services.

Techniques de programmation logique: Recherche et unification automatisées de preuves Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les concepts de programmation logique, en se concentrant sur la recherche de preuve automatisée et les techniques d'unification dans Coq.

Sans titre Connectez-vous à Mediaspace pour regarder cette vidéo

Introduction aux scripts de preuve: bases de Ltac Connectez-vous à Mediaspace pour regarder cette vidéo

Présente les bases du script de preuve en Coq, en se concentrant sur le langage Ltac et ses tactiques pour gérer efficacement les preuves.

Sans titre Connectez-vous à Mediaspace pour regarder cette vidéo