Travelled to:2 × USA
Collaborated with:T.Menzies M.S.Feather K.Abernethy J.C.Kelly A.E.K.Sobel J.D.Powell
Talks about:softwar (3) engin (2) technolog (1) transfer (1) argument (1) support (1) automat (1) specif (1) reduct (1) reason (1)
Person: James D. Kiper
DBLP: Kiper:James_D=
Contributed to:
2003
2001
2000Wrote 3 papers:
- SEKE-2003-MenziesKF #automation #re-engineering #reduction #tool support
- Improved Software Engineering Decision Support Through Automatic Argument Reduction Tools (TM, JDK, MSF), pp. 655–662.
- ASE-2001-MenziesK #process #re-engineering #reasoning
- Better Reasoning About Software Engineering Activities (TM, JDK), pp. 391–394.
- CSEET-2000-AbernethyKSKP #formal method #specification
- Technology Transfer Issues for Formal Methods of Software Specification (KA, JCK, AEKS, JDK, JDP), pp. 23–31.