Concepedia

Harlan D. Mills

HD

32

Publications

2.1K

Citations

22

H-Index

1963

Active since

Affiliations

IBM (United States)(Current)

University of Maryland, College Park

University of Tennessee at Knoxville

Florida Institute of Technology

University of Florida

Harlan D. Mills is an author at IBM (United States) specializing in engineering, software engineering, and software design.

Top concepts

Publications per year

1963–2003

32

Publications

32

Cleanroom Software Engineering

Harlan D. Mills, Michael Dyer, R.C. Linger · IEEE Software · 1987 · 431 citations

, , +20

Certifying the reliability of software

P. Allen Currit, Michael Dyer, Harlan D. Mills · IEEE Transactions on Software Engineering · 1986 · 176 citations

, , +18

Engineering software under statistical quality control

Richard H. Cobb, Harlan D. Mills · IEEE Software · 1990 · 153 citations

, , +20

Stepwise refinement and verification in box-structured systems

Harlan D. Mills · Computer · 1988 · 137 citations

, , +20

Mathematical Foundations for Structured Programming

Harlan D. Mills · 1972 · 115 citations

, , +6

Rows per page

1–5 of 32