BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Jeffery:D=_Ross

Contributed to:

ICSE 20152015
ICSE 20132013
ICSE 20122012
ICSE 20112011
ICSE 20062006
SEKE 20052005
WICSA 20042004
ICSE 20032003
ESEC/FSE 19971997
ICSE 19881988
ICSE 19791979

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.