Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 326
Conférences

le (1h8m54s)

Theoretical Foundations for Runtime Monitoring

Runtime monitoring/verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel questions to software engineers: it is not easy to see which specifications are amenable to runtime monitoring, and it is not clear which monitors perform the required runtime analysis correctly. In this talk, I will present a theoretical framework that can be used to provide answers to those questions. I will view monitorability as a spectrum: the fewer monitor guarantees are required, the more properties become monitorable. I will then present a monitorability hierarchy ...
Voir la vidéo
Entretiens

le (1h18m28s)

JEAN-ROBERT GUICHARD, CHEF DU SERVICE DOCUMENTATION DU MATERIEL AU CETIH, PUIS DIRIGEANT DU CENTRE DE LA MODE ET DE LA TECHNOLOGIE DE LA CONFECTION (CMTC) AU MUSÉE DE LA CHEMISERIE A ARGENTON-SUR-CREUSE (PARTIE 1)

... Boulogne-Billancourt et Argenton-sur-Creuse. Un stage de 8 mois dans l'entreprise argentonaise lui permet de se familiariser à l'ensemble des tâches relatives à la fabrication d'une chemise. S'ensuit une formation d'un an à Paris au sein de l'Ecole supérieure du...
Voir la vidéo
Entretiens

le (1h45m47s)

JEAN-ROBERT GUICHARD, CHEF DU SERVICE DOCUMENTATION DU MATERIEL AU CETIH, PUIS DIRIGEANT DU CENTRE DE LA MODE ET DE LA TECHNOLOGIE DE LA CONFECTION (CMTC) AU MUSÉE DE LA CHEMISERIE A ARGENTON-SUR-CREUSE (PARTIE 2)

... Boulogne-Billancourt et Argenton-sur-Creuse. Un stage de 8 mois dans l'entreprise argentonaise lui permet de se familiariser à l'ensemble des tâches relatives à la fabrication d'une chemise. S'ensuit une formation d'un an à Paris au sein de l'Ecole supérieure du...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte