Francis Jambon

Learn More
This paper introduces a new technique for the verification of interactive systems. It first presents the use of a model oriented formal method for specifying interactive systems, i.e. the B method. Then, it suggests formally based solutions which allow solving difficulties that are inherent to interactive systems specification, like reachability,(More)
This article details experience feedback resulting from a user experience study in the wild (i.e. in-situ). The system under test was a mobile device for skiers, which aimed at improving their users' experience. The skiers were equipped with a mini-camera, an accelerometer and a geo-localization system. Thanks to a smartphone, they could replay, on trails,(More)
This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show in this paper how formal B specifications can be derived from informal requirements in the informal notation UAN. Then, these B specifications are validated using the data oriented(More)
This paper describes an approach for the participatory design. After describing the trends in the domain, a formalization of the design process is expressed based on «phase», «moment» and «primitive». The phases articulate the design moments as nodes and transitions in a dynamic graph. The moments are built on reusable(More)
My doctoral research is concerned with the formal modelling of task interruptions. Although interruptions are significant events in human activities, current models and notations do not support their expression appropriately. My contribution to this problem is twofold: the ISAU model which makes explicit the general structure of an interruption, and a(More)