Mickaël Baron

Learn More
Task analysis is a critical step in the design process of interactive systems. The large set of task models available today may lead to the assumption that this step is well supported. However, very few task models are tool-supported. And in this latter category, few of them are based on a clear semantics (in this article, the word semantics is used with(More)
This demo concerns K-MADe, a tool for contributing to the incorporation of ergonomics into the interactive systems design process, through task and activity analysis. The originality of the tool is to be based on a model whose expressive power lies on a formal semantic. This facilitates task description and analysis, but also querying the model and(More)
Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design and validation activities. This paper shows how the B formal technique can be used for user tasks modelling and validation. A trace based semantics is used to describe either the HCI(More)
The development of user interfaces (UI) needs validation and verification of a set of required properties. Different kinds of properties are relevant to the human computer interaction (HCI) area. Not all of them may be checked using classical software engineering validation and verification tools. Indeed, a large part of properties is related to the user(More)
This paper presents the use of the B technique in its event based definition. We show that it is possible to encode, using Event B, the models (i.e., transition systems) associated to a process algebra with asynchronous semantics. The obtained Event B models consider that the Event B model associated to the left hand side of a BNF rule defining the algebra(More)
User interface design tools use different approaches. Interface builders are easy to use. They elect “presentation” aspects but are not interested in user task analysis. Model Based Systems describe models for building applications but they are often difficult to use. The approach presented in this contribution is the collaboration of these two points of(More)
This paper addresses the problem of failing RDF queries. Query relaxation is one of the cooperative techniques that allows providing users with alternative answers instead of an empty result. While previous works on query relaxation over RDF data have focused on defining new relaxation operators, we investigate in this paper techniques to find the parts of(More)
In some cases, end-user programming allows the design of stand-alone applications. But none of the existing approaches is concerned by safety aspects of programming. Heavy techniques exist to develop safe applications, particularly in non-interactive domains. They involve software engineering techniques, and sometimes, formal methods. All these techniques(More)