Publications

Affichage de 4681 à 4690 sur 5390


  • 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⟩

  • Article dans une revue

Relations entre posturologie et score EDSS

Laurent Peyrodie, Samuel Boudet, Antonio Pinti, Fabrice Cavillon, Olivier Agnani, Philippe Gallois

Le but de cette étude est d'établir la corrélation entre le niveau de handicap évalué par l'Expanded Disability Status Scale (EDSS) et les données issues d'une plateforme de mesure d'équilibre pour des sujets atteints de Sclérose En Plaques (SEP).La base de données est…

Sciences et Technologies pour le Handicap, 2010, 4 (1), pp.55-71. ⟨10.3166/sth.4.55-71⟩. ⟨hal-00838839⟩

Lu
Ma
Me
Je
Ve
Sa
Di
28
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Effacer
Lu
Ma
Me
Je
Ve
Sa
Di
28
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
Effacer