Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 6553
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
Conférences

le (1h38m14s)

Table ronde : Éduquer, demain ?

Table ronde "Eduquer, demain ?"animée par Sylvain BORDIEC, MCF à l'Université de Bordeaux (Faculté Sciences de l'éducation/Collège Sciences de l'homme)>> Voulons-nous encore d'une éducation commune ?Bernard DELVAUX, Sociologue, chercheur à l’UCL (Université catholique de Louvain) où il travaille au Girsef (Groupe de recherche interdisciplinaire sur la socialisation, l’éducation et la formation)>> L'école et des acteurs.trices sous la terreur de la performativitéStéphanie DEMERS, PhD, Université du Québec en Outaouais>> Eduquer demain, innovations et pratiques pédagogiquesLaurent LESCOUARCH, MCF HDR, CIRNEF, Université de Rouen Normandie>> Formation / intégration / citoyenneté dans un pays quadrilingue : l'éducation en Suisse ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte