BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × United Kingdom
Collaborated with:
M.Rangarajan D.D.Cofer H.Rueß B.Dutertre S.Mendenhall Yan Xu 0011 Paul Tillery Joshua Cohen John Sharp B.MacIntyre
Talks about:
decomposit (1) softwar (1) realiti (1) augment (1) report (1) physic (1) induct (1) herder (1) featur (1) experi (1)

Person: Vu Ha


Contributed to:

ICSE 20042004
FDG 20122012

Wrote 2 papers:

ICSE-2004-HaRCRD #case study #composition #experience #induction #proving #realtime
Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report (VH, MR, DDC, HR, BD), pp. 304–313.
FDG-2012-MendenhallHXTCSM #artificial reality #design #game studies #named #physics
NerdHerder: designing for physical actions in an augmented reality puzzle game (SM, VH, YX0, PT, JC, JS, BM), pp. 250–253.

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.