Travelled to:1 × France
1 × Portugal
4 × USA
Collaborated with:P.A.Palanque O.Sy L.Dourte ∅ M.Pedrali Jing Guo 0001 Nicolas Singer D.Navarre C.Sibertin-Blanc
Talks about:formal (3) specif (2) design (2) corba (2) use (2) interview (1) prototyp (1) interfac (1) contextu (1) communic (1)
Person: Rémi Bastide
DBLP: Bastide:R=eacute=mi
Contributed to:
2009
2000
19991997
19931993
2014Wrote 7 papers:
- HCI-NT-2009-Bastide #integration #metamodelling
- An Integration of Task and Use-Case Meta-models (RB), pp. 579–586.
- OOPSLA-2000-BastidePSN #corba #experience #lessons learnt #specification
- Formal specification of CORBA services: experience and lessons learned (RB, PAP, OS, DN), pp. 105–117.
- ECOOP-1999-BastideSP #corba #prototype #specification
- Formal Specification and Prototyping of CORBA Systems (RB, OS, PAP), pp. 474–494.
- HCI-SEC-1997-PedraliB #analysis #process #question
- Can We Trace Back Cognitive Processes in Root Cause Analysis? (MP, RB), pp. 59–62.
- CAiSE-1993-PalanqueBDS #design #interface #petri net #using
- Design of User-Driven Interfaces Using Petri Nets and Objects (PAP, RB, LD, CSB), pp. 569–585.
- HCI-SHI-1993-PalanqueBD #design #for free
- Contextual Help for Free with Formal Dialogue Design (PAP, RB, LD), pp. 615–620.
- VS-Games-2014-GuoSB #communication #development #game studies #simulation
- A Serious Game Engine for Interview Simulation: Application to the Development of Doctor-Patient Communication Skills (JG0, NS, RB), pp. 1–6.