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

Concept

Abstraction (informatique)

Séances de cours associées (26)

Concevoir des systèmes d'intervalles officiellement corrects Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la conception de systèmes intermittents formellement corrects pour les plates-formes de calcul de bord extrême, mettant l'accent sur la justesse, la fiabilité et la sécurité.

Introduction aux systèmes d'exploitation Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre l'importance et les défis des systèmes d'exploitation, leur omniprésence, leur impact sur les programmes et leur rôle d'illusionnistes et d'arbitres.

Programmation orientée objet: Aperçu du mini-projet Connectez-vous à Mediaspace pour regarder cette vidéo

Présente le mini-projet 2, axé sur la pratique des concepts de programmation orientés objet.

Guide d'examen et d'étude des concepts de programmation Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre un examen des concepts de programmation et fournit des conseils sur les méthodes et les pratiques d'étude efficaces.

Interprétation abstraite et domaine Octagon Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les principes d'interprétation abstraite et le domaine Octagon, en mettant l'accent sur les compromis entre précision et efficacité et l'analyse statique des programmes.

Questions avancées de métaprogrammation: Volume de code et complexité Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les défis dans le volume de code, la complexité et la métaprogrammation des requêtes par rapport au code.