Travelled to:1 × Germany
2 × USA
Collaborated with:W.Schäfer J.Han W.Emmerich D.A.Carrington D.J.Duke I.J.Hayes J.Niere J.P.Wadsack L.Wendehals
Talks about:softwar (2) environ (2) formal (2) design (2) recoveri (1) pattern (1) organis (1) modular (1) databas (1) toward (1)
Person: Jim Welsh
DBLP: Welsh:Jim
Contributed to:
2002
1993
1993
1993Wrote 4 papers:
- ICSE-2002-NiereSWWW #design #towards
- Towards pattern-based design recovery (JN, WS, JPW, LW, JW), pp. 338–348.
- ESEC-1993-EmmerichSW #database #re-engineering
- Databases for Software Engineering Environments — The Goal has not yet been attained (WE, WS, JW), pp. 145–162.
- FSE-1993-CarringtonDHW #composition #design #specification
- Deriving Modular Designs from Formal Specifications (DAC, DJD, IJH, JW), pp. 89–98.
- TAPSOFT-1993-HanW #formal method
- Object Organisation in Software Environments for Formal Methods (JH, JW), pp. 299–313.