Harlan D. Mills

Publication Activity (10 Years)

Years Active: 1970-1999
Publications (10 Years): 0

Publications

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