Travelled to:1 × Denmark
1 × USA
Collaborated with:W.Tsukahara ∅
Talks about:constructor (1) calculus (1) respond (1) specif (1) intern (1) subtl (1) state (1) refin (1) fleet (1) chang (1)
Person: Nigel Ward
DBLP: Ward:Nigel
Contributed to:
2001
1993Wrote 2 papers:
- CHI-2001-TsukaharaW
- Responding to subtle, fleeting changes in the user’s internal state (WT, NW), pp. 77–84.
- FME-1993-Ward #calculus #refinement #specification
- Adding Specification Constructors to the Refinement Calculus (NW), pp. 652–670.