Harlan D. Mills

According to our database, Harlan D. Mills authored at least 36 papers between 1970 and 1999.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

1999

The Management of Software Engineering, Part I: Principles of Software Engineering.

Harlan D. Mills

IBM Syst. J., 1999

1995

Box-structured requirements determination methods.

Alan R. Hevner, Harlan D. Mills

Decis. Support Syst., 1995

1993

Planning and Certifying Software System Reliability.

Jesse H. Poore, Harlan D. Mills, David Mutchler

IEEE Softw., 1993

Box-Structured Methods for Systems Development with Objects.

Alan R. Hevner, Harlan D. Mills

IBM Syst. J., 1993

Zero Defect Software: Cleanroom Engineering.

Harlan D. Mills

Adv. Comput., 1993

1990

Using Metrics to Quantify Development - Guest Editors' Introduction.

Harlan D. Mills, Peter B. Dyson

IEEE Softw., 1990

Engineering Software under Statistical Quality Control.

Richard H. Cobb, Harlan D. Mills

IEEE Softw., 1990

Ada systems.

Harlan D. Mills

Proceedings of the conference on TRI-ADA 1990, 1990

An Undergraduate Curriculum in Software Engineering.

Harlan D. Mills, J. R. Newman, Charles B. Engle Jr.

Proceedings of the Software Engineering Education, 1990

1989

Mathematical Principles for a First Course in Software Engineering.

Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet

IEEE Trans. Software Eng., 1989

Position Statement - Foundations of Software Engineering.

Harlan D. Mills

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988

Stepwise Refinement and Verification in Box-Structured Systems.

Harlan D. Mills

Computer, 1988

Strategic Imperatives in Software Engineering Education.

Harlan D. Mills

Proceedings of the Software Engineering Education, 1988

Software engineering-retrospect and prospect.

Harlan D. Mills

Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

A case study in cleanroom software engineering: the IBM COBOL Structuring Facility.

Richard C. Linger, Harlan D. Mills

Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

1987

Theory of Modules.

John D. Gannon, Richard G. Hamlet, Harlan D. Mills

IEEE Trans. Software Eng., 1987

Cleanroom Software Engineering.

Harlan D. Mills, Michael G. Dyer, Richard C. Linger

IEEE Softw., 1987

Box Structured Information Systems.

Harlan D. Mills, Richard C. Linger, Alan R. Hevner

IBM Syst. J., 1987

Teaching principles of computer programming.

Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet

Proceedings of the 15th ACM Annual Conference on Computer Science, 1987

1986

Data Structured Programming: Program Design without Arrays and Pointers.

Harlan D. Mills, Richard C. Linger

IEEE Trans. Software Eng., 1986

Certifying the Reliability of Software.

P. Allen Currit, Michael G. Dyer, Harlan D. Mills

IEEE Trans. Software Eng., 1986

Structured Programming: Retrospect and Prospect.

Harlan D. Mills

IEEE Softw., 1986

1985

Functional Semantics of Modules.

John D. Gannon, Richard G. Hamlet, Harlan D. Mills

Proceedings of the Mathematical Foundations of Software Development, 1985

1983

Teaching formal methods for program development and verification (Panel Session).

Susan L. Gerhart, Eric C. R. Hehner, Harlan D. Mills, A. Joe Turner

Proceedings of the 14th SIGCSE Technical Symposium on Computer Science Education, 1983

1982

Understanding and Documenting Programs.

Victor R. Basili, Harlan D. Mills

IEEE Trans. Software Eng., 1982

1980

Function Semantics for Sequential Programs.

Harlan D. Mills

Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980

1979

Structured programming - theory and practice.

Richard C. Linger, Harlan D. Mills, Bernard I. Witt

The systems programming series, Addison-Wesley, ISBN: 978-0-201-14461-1, 1979

1976

Software Development.

Harlan D. Mills

IEEE Trans. Software Eng., 1976

Software Development (Abstract).

Harlan D. Mills

Proceedings of the 2nd International Conference on Software Engineering, 1976

1975

The New Math of Computer Programming.

Harlan D. Mills

Commun. ACM, 1975

How to write correct programs and know it.

Harlan D. Mills

Proceedings of the International Conference on Reliable Software 1975, 1975

1974

On the Development of Systems of Men and Machines.

Harlan D. Mills

Proceedings of the Programming Methodology, 4th Informatik Symposium, 1974

1973

A SIMPL distributed operating system and its formal definition.

Robert E. Noonan, Victor R. Basili, Richard G. Hamlet, M. Lay, Harlan D. Mills, Albert J. Turner, Marvin V. Zelkowitz

Proceedings of the Proceeding of ACM SIGPLAN-SIGOPS Interface Meeting on Programming Languages, 1973

A Kernel System for information system development, evolution, and operation.

Harlan D. Mills, Max L. Wilson

Proceedings of the Proceeding of ACM SIGPLAN-SIGOPS Interface Meeting on Programming Languages, 1973

On the structure of a computing profession.

Harlan D. Mills

Proceedings of the 3rd SIGCSE Technical Symposium on Computer Science Education, 1973

1970

Syntax-directed documentation for PL360.

Harlan D. Mills

Commun. ACM, 1970