Measuring the comprehensibility of Z specifications

Rank Correlation Methods.

M. G. Kendall · Biometrika · 1957 · 6.4K citations

Rank Correlation, Ranking Algorithm, Rank Correlation Methods +9

Case studies for method and tool evaluation

Barbara Kitchenham, Lesley M. Pickard, Shari Lawrence Pfleeger · IEEE Software · 1995 · 597 citations

Software Maintenance, Empirical Case Study, Quantitative Methods +24

Seven myths of formal methods

Anthony Hall · IEEE Software · 1990 · 584 citations

Engineering, Verification, Software Engineering +17

Software measurement: a necessary scientific basis

Norman Fenton · IEEE Transactions on Software Engineering · 1994 · 505 citations

Software Maintenance, Measurement Theory, Engineering +18

Science and substance: a challenge to software engineers

Norman Fenton, Shari Lawrence Pfleeger, Robert L. Glass · IEEE Software · 1994 · 269 citations

Software Maintenance, Software Development Practice, Engineering +22