Concept
Sémantique axiomatique
Séances de cours associées (4)
Sémantique opérationnelle : Amyli Language
Explore la sémantique opérationnelle et les relations inductives dans le langage Amyli.
Hoare Logic: Fondements et applications
Couvre Hoare Logic, ses fondements, ses applications et son importance dans la vérification des programmes.
Interaction homme-ordinateur: Synthèse
Couvre la perception visuelle, la cognition, les tests d'utilisabilité, l'interaction homme-robot, les principes de conception, et plus encore.
Interaction homme-ordinateur: Synthèse
Explore la pertinence des styles dans l'interaction homme-ordinateur, la perception visuelle, la cognition, les tests d'utilisabilité, les jeux, la visualisation des données, l'accessibilité, la réalité étendue, et plus encore.