Harlan D. Mills

37 papers A* 1A 2B 2Journal 20Unranked 11
YearRankTypeTitle / Venue / Authors
1999 J jnl
The Management of Software Engineering, Part I: Principles of Software Engineering.
IBM Syst. J.
Harlan D. Mills
1995 J jnl
Box-structured requirements determination methods.
Decis. Support Syst.
Alan R. Hevner, Harlan D. Mills
1993 J jnl
Box-Structured Methods for Systems Development with Objects.
IBM Syst. J.
Alan R. Hevner, Harlan D. Mills
1993 J jnl
Planning and Certifying Software System Reliability.
IEEE Softw.
Jesse H. Poore, Harlan D. Mills, David Mutchler
1993 J jnl
Zero Defect Software: Cleanroom Engineering.
Adv. Comput.
Harlan D. Mills
1990 — conf
Ada systems.
TRI-Ada
Harlan D. Mills
1990 — conf
An Undergraduate Curriculum in Software Engineering.
CSEE
Harlan D. Mills, J. R. Newman, Charles B. Engle Jr.
1990 J jnl
Engineering Software under Statistical Quality Control.
IEEE Softw.
Richard H. Cobb, Harlan D. Mills
1990 J jnl
Using Metrics to Quantify Development - Guest Editors' Introduction.
IEEE Softw.
Harlan D. Mills, Peter B. Dyson
1989 J jnl
Mathematical Principles for a First Course in Software Engineering.
IEEE Trans. Software Eng.
Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet
1989 — conf
Position Statement - Foundations of Software Engineering.
IFIP Congress
Harlan D. Mills
1988 B conf
A case study in cleanroom software engineering: the IBM COBOL Structuring Facility.
COMPSAC
Richard C. Linger, Harlan D. Mills
1988 B conf
Software engineering-retrospect and prospect.
COMPSAC
Harlan D. Mills
1988 J jnl
Stepwise Refinement and Verification in Box-Structured Systems.
Computer
Harlan D. Mills
1988 — conf
Strategic Imperatives in Software Engineering Education.
CSEE
Harlan D. Mills
1987 J jnl
Box Structured Information Systems.
IBM Syst. J.
Harlan D. Mills, Richard C. Linger, Alan R. Hevner
1987 J jnl
Cleanroom Software Engineering.
IEEE Softw.
Harlan D. Mills, Michael G. Dyer, Richard C. Linger
1987 — conf
Teaching principles of computer programming.
ACM Conference on Computer Science
Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet
1987 J jnl
Theory of Modules.
IEEE Trans. Software Eng.
John D. Gannon, Richard G. Hamlet, Harlan D. Mills
1986 J jnl
Certifying the Reliability of Software.
IEEE Trans. Software Eng.
P. Allen Currit, Michael G. Dyer, Harlan D. Mills
1986 J jnl
Data Structured Programming: Program Design without Arrays and Pointers.
IEEE Trans. Software Eng.
Harlan D. Mills, Richard C. Linger
1986 J jnl
Structured Programming: Retrospect and Prospect.
IEEE Softw.
Harlan D. Mills
1985 — conf
Functional Semantics of Modules.
TAPSOFT, Vol.2
John D. Gannon, Richard G. Hamlet, Harlan D. Mills
1983 A conf
Teaching formal methods for program development and verification (Panel Session).
SIGCSE
Susan L. Gerhart, Eric C. R. Hehner, Harlan D. Mills, A. Joe Turner
1982 J jnl
Understanding and Documenting Programs.
IEEE Trans. Software Eng.
Victor R. Basili, Harlan D. Mills
1980 — conf
Function Semantics for Sequential Programs.
IFIP Congress
Harlan D. Mills
1980 J jnl
The Management of Software Engineering. Part I: Principles of Software Engineering.
IBM Syst. J.
Harlan D. Mills
1979 — book
Structured programming - theory and practice.
Richard C. Linger, Harlan D. Mills, Bernard I. Witt
1976 A* conf
Software Development (Abstract).
ICSE
Harlan D. Mills
1976 J jnl
Software Development.
IEEE Trans. Software Eng.
Harlan D. Mills
1975 — conf
How to write correct programs and know it.
Reliable Software
Harlan D. Mills
1975 J jnl
The New Math of Computer Programming.
Commun. ACM
Harlan D. Mills
1974 — conf
On the Development of Systems of Men and Machines.
Programming Methodology
Harlan D. Mills
1973 — conf
A Kernel System for information system development, evolution, and operation.
SIGPLAN-SIGOPS Interface Meeting
Harlan D. Mills, Max L. Wilson
1973 — conf
A SIMPL distributed operating system and its formal definition.
SIGPLAN-SIGOPS Interface Meeting
Robert E. Noonan, Victor R. Basili, Richard G. Hamlet, M. Lay, Harlan D. Mills, Albert J. Turner, Marvin V. Zelkowitz
1973 A conf
On the structure of a computing profession.
SIGCSE
Harlan D. Mills
1970 J jnl
Syntax-directed documentation for PL360.
Commun. ACM
Harlan D. Mills