1 × Germany
2 × USA
W.Schäfer J.Han W.Emmerich D.A.Carrington D.J.Duke I.J.Hayes J.Niere J.P.Wadsack L.Wendehals
softwar (2) environ (2) formal (2) design (2) recoveri (1) pattern (1) organis (1) modular (1) databas (1) toward (1)
Person: Jim Welsh
Wrote 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.