With society’s growing reliance on IT systems, the ability to write high-quality software is ever more critical. While a posteriori verification techniques have their role, there is no substitute for

Cette intervention porte sur les enjeux de design relatifs aux formats de publication universitaire dans les sciences humaines et sociales. Il s’agit de décrire les intersections pouvant survenir

La Collaborative knowledge foundation (coko) développe depuis 3 ans un panel d’outils pour l’édition dont un, Editoria, spécialement conçu pour la production de monographies et de livres dans le

Rétro-Design de l’attention : qu’avons-nous appris ? / Hubert Guillaud, in Journée d'étude "Vox Machines" organisée sous la responsabilité scientifique de Julien Drochon et Anthony Masure par le Pôle

Enjeux critiques des assistants vocaux, création et assistants vocaux / Anthony Masure et Julien Drochon, in Journée d'étude "Vox Machines" organisée sous la responsabilité scientifique de Julien

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

« La conceptualisation : l’essor des concepts et méthodes en ergonomie » constitue la deuxième partie de la Grande Leçon Histoire(s) de l’ergonomie. Elle nous permet de comprendre comment l

Bonvalet Perrine Diffusing Medical Knowledge to Developing Countries : The Role of a Medical Network in the AIDS Care Policy in Benin. The prevailing role played by international organizations in

Cette quatrième partie « La démultiplication des domaines de l’ergonomie » représente une partie importante de la Grande Leçon Histoire(s) de l’ergonomie car elle parcourt plus d’une dizaine de