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

Cours

CS-214: Software construction

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de ce cours (40)

Stratégies de recherche d'emploi : Créer votre profil et votre réseau

Couvre les stratégies pour trouver un emploi en informatique, y compris l'établissement d'un profil solide, le réseautage et la candidature à des postes.

Hiérarchies de classe: correspondance des motifs

Couvre les hiérarchies de classe, l'appariement des motifs, les valeurs de fonction et les appels de fonction dans Scala.

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.

Polymorphisme et preuves

Couvre le polymorphisme paramétrique, énumère la construction, les tuples, les méthodes génériques, le tri de fusion et les propriétés du programme.

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.

Variance et recherche combinée

Couvre le sous-typage, les génériques, la variance, les limites de type, la covariance, la contravariance et la recherche combinatoire.

Recherche combinatoire: Pour-Expressions

Explore l'utilisation de for-expressions dans Scala pour simplifier les calculs et résoudre des problèmes comme la recherche combinatoire et N-Queens.

Des tests à la preuve

Explore les concepts d'ingénierie logicielle, en soulignant l'importance des tests et des spécifications claires pour assurer l'exactitude du logiciel.

Sans titre

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

Page 2 sur 2