Stéphane Chatty
YOU?
Author Swipe
View article: A process-oriented approach to the science of human-computer interaction
A process-oriented approach to the science of human-computer interaction Open
Since the birth of the field, HCI has defined itself both as a theory of the
relations between humans and numerical systems and as a practical activity that aims
at building new interactive systems. However, HCI has not yet succeeded in …
View article: A unified framework for control structures in interactive software
A unified framework for control structures in interactive software Open
Control structures such as event passing, state machines and data flows help programmers express the behavior of interactive software. But used alone they cannot describe systems in their totality, and when combined with standard control s…
View article: Djnn/Smala
Djnn/Smala Open
The persistent difficulty to develop and maintain interactive software has unveiled the inadequacy of traditional imperative programming languages. In the recent years, several solutions have been proposed to enrich the existing languages …
View article: Could tangibility improve the safety of touch-based interaction?
Could tangibility improve the safety of touch-based interaction? Open
International audience
View article: Designing, developing and verifying interactive components iteratively with djnn
Designing, developing and verifying interactive components iteratively with djnn Open
Introducing iterative user interface design methods into the development processes of safety-critical software creates technical and methodological challenges. This article describes a new programming paradigm aimed at addressing some of t…
View article: What epistemological framework for a science of human-machine interaction?
What epistemological framework for a science of human-machine interaction? Open
Since the birth of the discipline, human-machine interaction is crossed by a tension between a theory of human-computer systems relations and a practice that aims at developing new interactive systems. Unfortunately, HMI has not yet succee…
View article: What programming languages for interactive systems designers?
What programming languages for interactive systems designers? Open
We highlight the role of programming in the engineering of interactive systems, in the long term perspective of creating general theories of interaction to support engineers. We out-line a research roadmap aimed at both providing designers…
View article: Verification of properties of interactive components from their executable code
Verification of properties of interactive components from their executable code Open
In this paper we describe how an executable model of interactive software can be exploited to allow programmers or specifiers to express properties that will be automatically checked on the components they create or reuse. The djnn framewo…
View article: Towards Support for Verification of Adaptative Systems with Djnn
Towards Support for Verification of Adaptative Systems with Djnn Open
Djnn is a general framework dedicated to the development of complex interactive systems. We describe ongoing work aimed at developing verification mechanisms through the definition of syntax, grammar and semantics for djnn models. The resu…