Travelled to:1 × Canada
Collaborated with:T.Menzies M.E.Houle K.Abernethy J.C.Kelly A.E.K.Sobel J.D.Kiper
Talks about:formal (2) technolog (1) transfer (1) softwar (1) diagram (1) analysi (1) specif (1) requir (1) method (1) topoi (1)
Person: John D. Powell
DBLP: Powell:John_D=
Contributed to:
2001
2000Wrote 2 papers:
- ICSE-2001-MenziesPH #analysis #diagrams #formal method #performance #requirements
- Fast Formal Analysis of Requirements via “Topoi Diagrams” (TM, JDP, MEH), pp. 391–400.
- CSEET-2000-AbernethyKSKP #formal method #specification
- Technology Transfer Issues for Formal Methods of Software Specification (KA, JCK, AEKS, JDK, JDP), pp. 23–31.