Harlan D. Mills - Concepedia

Author

Harlan D. Mills

IBM (United States)

Also Known As

H. D. Mills, H.D. Mills, Harlan D. Mills

420

Publications

Citations

H-Index

Concepts

All Affiliations

IBM (United States)University of Maryland, College Park University of Tennessee at Knoxville Florida Institute of Technology University of Florida

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	22	28	2K
2	Management	8	8	373
3	Education	3	3	42
4	Business	2	2	233
5	Language Studies	1	1	11

Harlan D. Mills

Publications

2.1K

Citations

H-Index

Page 1

	Year	Citations
Cleanroom Software Engineering Harlan D. Mills, Michael Dyer, R.C. Linger IEEE Software Software MaintenanceTotal Quality ManagementEngineeringIndustrial EngineeringSoftware Engineering	1987	431
Certifying the reliability of software P. Allen Currit, Michael Dyer, Harlan D. Mills IEEE Transactions on Software Engineering Software MaintenanceSoftware Reliability TestingEngineeringVerificationSoftware Engineering	1986	176
Engineering software under statistical quality control Richard H. Cobb, Harlan D. Mills IEEE Software Software Development PracticeEngineeringSoftware SystemsSoftware StudiesSoftware Engineering	1990	153
Stepwise refinement and verification in box-structured systems Harlan D. Mills Computer EngineeringStepwise RefinementVerificationData AbstractionsComputer-aided Verification	1988	137
Mathematical Foundations for Structured Programming Harlan D. Mills Mathematical ProgrammingProgramming Language TheoryDeclarative ProgrammingEngineeringAutomated Reasoning	1972	115
Planning and certifying software system reliability Jesse H. Poore, Harlan D. Mills, David Mutchler IEEE Software Software MaintenanceSoftware System ReliabilitySoftware Reliability TestingEngineeringVerification	1993	111
Understanding and Documenting Programs Victor R. Basili, Harlan D. Mills IEEE Transactions on Software Engineering Software MaintenanceProgram CheckingEngineeringVerificationSoftware Engineering	1982	88
Reliability: Management, Methods and Mathematics. Harlan D. Mills, David K. Lloyd, M. Lipow American Mathematical Monthly ReliabilityReliability-based DesignReliability EngineeringReliability Management Systems DesignEngineering	1963	85
The management of software engineering, Part I: Principles of software engineering Harlan D. Mills IBM Systems Journal Software MaintenanceEngineeringProject ManagementSoftware SystemsSoftware Studies	1980	80
Correction to 'Certifying the reliability of software' (Jan. 1986 3-11) P. A. Curritt, Michael Dyer, Harlan D. Mills IEEE Transactions on Software Engineering Software MaintenanceSoftware Reliability TestingEngineeringSeveral Typographical ErrorsVerification	1989	60

Page 1