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

Tutoriel en acier inoxydable: Vérification du code Scala

À propos
Confidentialité
Mentions légales

Graph Chatbot

Séances de cours associées (29)

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.

Test basé sur la propriété: QuickChick Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les tests basés sur des propriétés en utilisant QuickChick, en mettant l'accent sur l'exactitude des logiciels, les spécifications et le contrôle dynamique du flux d'information.

Hydroacoustique pour installations hydroélectriques Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les paramètres de simulation hydroacoustique, la modélisation des oscillations de masse et les erreurs de validation dans les installations hydroélectriques.

Hiérarchies de classe: Correspondance des motifs Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les hiérarchies de classe, les classes de cas, les enums, les correspondances de motifs et les valeurs de fonction dans Scala.

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.

Systèmes d'intervalles de correction formels Connectez-vous à Mediaspace pour regarder cette vidéo

Se concentre sur la conception de systèmes intermittents officiellement corrects dans les systèmes sans batterie alimentés par intermittence, en abordant les défis et les stratégies pour assurer l'exactitude.

Hydroacoustique pour installations hydroélectriques Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les lois de fermeture des vannes, les marteaux d'eau et les réservoirs de surtension dans les installations hydroélectriques.

Jeux de formation et de test Connectez-vous à Mediaspace pour regarder cette vidéo

Souligne l'importance de séparer les données de formation et de test pour les modèles d'apprentissage automatique.

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.

Page 2 sur 2