Travelled to:1 × Finland
Collaborated with:C.MacNish J.A.McDermid P.Morris
Talks about:framework (1) analysi (1) requir (1) reason (1) autom (1) use (1)
Person: David A. Duffy
DBLP: Duffy:David_A=
Contributed to:
1995Wrote 1 papers:
- CAiSE-1995-DuffyMMM #analysis #automation #framework #reasoning #requirements #using
- A Framework for Requirements Analysis Using Automated Reasoning (DAD, CM, JAM, PM), pp. 68–81.