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

Concept

Langage de spécification

Séances de cours associées (28)

Machines à états finis (FSM)Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les machines d'état fini (FSM) dans la conception de systèmes numériques, couvrant les FSM Mealy et Moore, les diagrammes d'état, l'implémentation VHDL et l'encodage d'état.

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.

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.

Méthode de tarification hédoniste : Logement et biens environnementaux Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la méthode de tarification hédoniste pour l'évaluation des prix implicites des marchandises et introduit la méthode d'évaluation éventuelle pour l'estimation de la valeur des marchandises environnementales.

Gestion des erreurs dans LabVIEW Connectez-vous à Mediaspace pour regarder cette vidéo

Met l'accent sur la gestion des erreurs dans LabVIEW, l'analyse des fichiers sources et l'exécution de programmes avec Xcode.

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.

Régression linéaire: Multicolinéarité, Outliers, Spécification du modèle Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la multicolinéarité, les valeurs aberrantes, la spécification du modèle et les stratégies pratiques en régression linéaire.

Abstraction de données : modules et spécifications dans Coq Connectez-vous à Mediaspace pour regarder cette vidéo

Discute de l'abstraction des données dans la programmation, en se concentrant sur les modules et les spécifications dans Coq.