Travelled to:
1 × Germany
1 × The Netherlands
1 × USA
Collaborated with:
J.Hook F.Bellegarde R.B.Kieburtz J.Lewis D.Oliva T.Sheard L.Walton T.Zhou L.McKinney A.Kotov I.Smith L.Tong
Talks about:
softwar (4) generat (2) defunction (1) demonstr (1) reliabl (1) concept (1) specif (1) experi (1) driven (1) design (1)
Person: Jeffrey M. Bell
DBLP: Bell:Jeffrey_M=
Contributed to:
Wrote 4 papers:
- ICFP-1997-BellBH
- Type-Driven Defunctionalization (JMB, FB, JH), pp. 25–37.
- ICSE-1996-KieburtzMBHKLOSSW #component #empirical #generative #re-engineering
- A Software Engineering Experiment in Software Component Generation (RBK, LM, JMB, JH, AK, JL, DO, TS, IS, LW), pp. 542–552.
- TRI-Ada-1994-BellBHKKLMOSTWZ #concept #design #reliability #reuse
- Software design for reliability and reuse: a proof-of-concept demonstration (JMB, FB, JH, RBK, AK, JL, LM, DO, TS, LT, LW, TZ), pp. 396–404.
- TAPSOFT-1995-KieburtzBBHLOSWZ #generative #specification
- Calculating Software Generators from Solution Specifications (RBK, FB, JMB, JH, JL, DO, TS, LW, TZ), pp. 546–560.