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: Owen:David
Contributed to:
2003
2002
1987Wrote 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.