BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Navarre:David

Contributed to:

HCI p1 20092009
OOPSLA 20002000

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.