Travelled to:2 × USA
Collaborated with:P.A.Palanque J.Ladry E.Barboni R.Bastide O.Sy
Talks about:formal (2) prototyp (1) interact (1) system (1) specif (1) servic (1) lesson (1) experi (1) learn (1) fidel (1)
Person: David Navarre
DBLP: Navarre:David
Contributed to:
2009
2000Wrote 2 papers:
- HCI-NT-2009-PalanqueLNB #interactive #prototype
- High-Fidelity Prototyping of Interactive Systems Can Be Formal Too (PAP, JFL, DN, EB), pp. 667–676.
- OOPSLA-2000-BastidePSN #corba #experience #lessons learnt #specification
- Formal specification of CORBA services: experience and lessons learned (RB, PAP, OS, DN), pp. 105–117.