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
2 × USA
Collaborated with:
T.Menzies B.Cukic
Talks about:
model (2) lightweight (1) procedur (1) testabl (1) manipul (1) reason (1) direct (1) altern (1) state (1) lurch (1)

Person: David Owen

DBLP DBLP: Owen:David

Contributed to:

SEKE 20032003
ASE 20022002
HCI v2 19871987

Wrote 3 papers:

SEKE-2003-OwenM #lightweight #model checking #named
Lurch: a Lightweight Alternative to Model Checking (DO, TM), pp. 158–165.
ASE-2002-OwenMC #finite #modelling #question #what
What Makes Finite-State Models More (or Less) Testable? (DO, TM, BC), pp. 237–240.
HCI-CE-1987-Owen #reasoning
Direct Manipulation and Procedural Reasoning (DO), pp. 349–356.

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.