Passer au contenu principal

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

Graph
Search

Recherche

Afficher tous les résultats pour

Accueil

Séance de cours

Tests basés sur les propriétés: techniques et applications avancées

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (26)

Bibliothèques externes et Doxygen Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la compilation, la liaison, les bibliothèques externes, la documentation Doxygen et Google Test pour les tests unitaires C ++.

Sélection des concepts et exploration de l'espace commercial Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la sélection des concepts, la méthode Pugh Matrix, les examens préliminaires de conception, l'intégration des systèmes et la vérification dans l'ingénierie des systèmes.

Des tests à la preuve Connectez-vous à Mediaspace pour regarder cette vidéo

Explore le passage des tests logiciels aux spécifications formelles, en soulignant l'importance d'exigences claires en génie logiciel.

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.

Optimisation des requêtes : Exécution et essais distribués Connectez-vous à Mediaspace pour regarder cette vidéo

Explore l'optimisation des requêtes, l'exécution distribuée et les tests dans un projet SmartDataLake.

Test des systèmes VLSI Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les défauts, les erreurs et les modèles de défauts dans les systèmes VLSI, en mettant l'accent sur l'effondrement des défauts et la domination.

Page 2 sur 2