Travelled to:1 × China
1 × Germany
1 × Italy
1 × Norway
1 × Republic of China
1 × Singapore
2 × Switzerland
3 × USA
Collaborated with:L.Zhu M.A.Babar V.R.Basili M.J.Lawrence J.Andronick G.Klein M.Staples H.Zhang M.Niazi M.Ruhe I.Wieczorek L.P.W.Land C.Sauer T.C.Murray R.Kolanski B.Kitchenham C.Kutay C.Connaughton D.Houston L.Huang D.Matichuk C.Lewis L.Bass
Talks about:softwar (4) formal (3) architectur (2) program (2) process (2) practic (2) review (2) report (2) verif (2) valid (2)
Person: D. Ross Jeffery
DBLP: Jeffery:D=_Ross
Contributed to:
20152013201220112006
2005
20042003
199719881979Wrote 11 papers:
- ICSE-v1-2015-MatichukMAJKS #empirical #formal method #towards #verification
- Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification (DM, TCM, JA, DRJ, GK, MS), pp. 722–732.
- ICSE-2013-StaplesKKLAMJB #specification
- Formal specifications better than function points for code sizing (MS, RK, GK, CL, JA, TCM, DRJ, LB), pp. 1257–1260.
- ICSE-2012-AndronickJKKSZZ #perspective #process #scalability #verification
- Large-scale formal verification in practice: A process perspective (JA, DRJ, GK, RK, MS, HZ, LZ), pp. 1002–1011.
- ICSE-2011-ZhangJHHZ #process #simulation
- Impact of process simulation on software practice: an initial report (HZ, DRJ, DH, LH, LZ), pp. 1046–1056.
- ICSE-2006-KitchenhamKJC #analysis #database #lessons learnt #scalability
- Lessons learnt from the analysis of large-scale corporate databases (BK, CK, DRJ, CC), pp. 439–444.
- SEKE-2005-BabarNJ #architecture #framework #overview #using
- Assessing a Framework of Comparing Architecture Review Methods Using CMMI (MAB, MN, DRJ), pp. 400–403.
- WICSA-2004-ZhuBJ #architecture #evaluation #mining
- Mining Patterns to Support Software Architecture Evaluation (LZ, MAB, DRJ), pp. 25–36.
- ICSE-2003-RuheJW #estimation #web
- Cost Estimation for Web Applications (MR, DRJ, IW), pp. 285–294.
- ESEC-FSE-1997-LandSJ #design #detection #empirical #fault #performance #using #validation
- Validating the Defect Detection Performance Advantage of Group Designs for Software Reviews: Report of a Laboratory Experiment Using Program Code (LPWL, CS, DRJ), pp. 294–309.
- ICSE-1988-JefferyB #validation
- Validating the TAME Resource Data Model (DRJ, VRB), pp. 187–201.
- ICSE-1979-JefferyL #comparison #programming
- An Inter-Organizational Comparison of Programming Productivity (DRJ, MJL), pp. 369–377.