Publicaciones

Affichage de 4861 à 4870 sur 5584


  • Communication dans un congrès

First Experimentation of the ErgoPNets Method Using Dynamic Modeling to Communicate Usability Evaluation Results

Stéphanie Bernonville, Christophe Kolski, Nicolas Leroy, Marie-Catherine Beuscart-Zephir

When a computer application is being designed or re-engineered, especially a user-centred application, communication between ergonomists and computer scientists is very important. However, the formalisms used to describe ergonomic problems and recommendations are often based on natural language....

Human Error, Safety and Systems Development, 7th IFIP WG 13.5 Working Conference, HESSD 2009, Sep 2009, Brussels, Belgium. pp.81-95, ⟨10.1007/978-3-642-11750-3_7⟩. ⟨hal-03442620⟩

  • Communication dans un congrès

BRILLANT: an open source platform for B

Samuel Colin, Dorian Petit, Georges Mariano, Vincent Poirriez

This article presents an open-source platform, the BRILLANT project, with a focus on some of its most prominent components.

Workshop on Tool Building in Formal Methods, Feb 2010, Orford, Canada. ⟨inria-00480709⟩

  • Poster de conférence

TangiSense : table interactive RFID pour la manipulation d'objets tangibles et traçables

Jean Caelen, Karine Xue, Valentin Valls, Christian Perrot, Sébastien Kubicki, Yoann Lebrun, Christophe Kolski, Sophie Lepreux, René Mandiau, Emmanuel Adam, Philippe dos Santos, P. Rivier, N. Geraud, Céline Verchère, Miguel Aubouy, Hervé Schultz, F Javier Martin-Campo

2ème Colloque STIC "Quelle recherche pour les STIC de demain ?", Jan 2010, Paris, France. ⟨hal-03325901⟩

  • Article dans une revue

A first attempt to combine SysML requirements diagrams and B

Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, Bruno Tatibouët

This article describes a work-in-progress in the framework of a research project aiming at combining requirements engineering methods with formal methods. The main idea is to extend the SysML language with concepts of existing requirements engineering methods. In this article we present extensions...

Innovations in Systems and Software Engineering, 2010, 1-2 (6), pp.47-54. ⟨10.1007/s11334--009-0119-y⟩. ⟨hal-01224642⟩

  • Communication dans un congrès

Human-centred design approach applied to Medical Dynamic DSS

Hela Ltifi, Christophe Kolski, Mounir Ben Ayed, Adel M. Alimi

this paper presents a new human-centred design approach which derived from conceptual design research and through a critical field research study. The proposed approach is applied to a Medical Dynamic Decision Support System (DSS) supporting the hospital Intensive Care Unit physicians’ decisions in...

The 11th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems, Aug 2010, Valenciennes, France. pp.465-470, ⟨10.3182/20100831-4-FR-2021.00082⟩. ⟨hal-03434741⟩