Harlan D. Mills - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 37 from 37

1999

The Management of Software Engineering, Part I: Principles of Software EngineeringHarlan D. Mills. IBMSJ, 38(2/3):289-295, 1999. [doi]

1995

Box-structured requirements determination methodsAlan R. Hevner, Harlan D. Mills. dss, 13(3-4):223-239, 1995. [doi]

1993

Box-Structured Methods for Systems Development with ObjectsAlan R. Hevner, Harlan D. Mills. IBMSJ, 32(2):232-251, 1993.

Zero Defect Software: Cleanroom EngineeringHarlan D. Mills. ac, 36:1-41, 1993.

Planning and Certifying Software System ReliabilityJesse H. Poore, Harlan D. Mills, David Mutchler. IEEE Software, 10(1):88-99, 1993.

1990

Engineering Software under Statistical Quality ControlRichard H. Cobb, Harlan D. Mills. IEEE Software, 7(6):44-54, 1990.

Using Metrics to Quantify Development - Guest Editors IntroductionHarlan D. Mills, Peter B. Dyson. IEEE Software, 7(2):14-16, 1990.

An Undergraduate Curriculum in Software EngineeringHarlan D. Mills, J. R. Newman, Charles B. Engle Jr.. csee 1990: 24-37

Ada systemsHarlan D. Mills. sigada 1990: 124-128 [doi]

1989

Position Statement - Foundations of Software EngineeringHarlan D. Mills. ifip 1989: 956

Mathematical Principles for a First Course in Software EngineeringHarlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet. TSE, 15(5):550-559, 1989. [doi]

1988

A case study in cleanroom software engineering: the IBM COBOL Structuring FacilityRichard C. Linger, Harlan D. Mills. compsac 1988: 10-17 [doi]

Stepwise Refinement and Verification in Box-Structured SystemsHarlan D. Mills. Computer, 21(6):23-36, 1988.

Strategic Imperatives in Software Engineering EducationHarlan D. Mills. csee 1988: 9-19

Software engineering-retrospect and prospectHarlan D. Mills. compsac 1988: 89-96 [doi]

1987

Theory of ModulesJohn D. Gannon, Richard G. Hamlet, Harlan D. Mills. TSE, 13(7):820-829, 1987.

Box Structured Information SystemsHarlan D. Mills, Richard C. Linger, Alan R. Hevner. IBMSJ, 26(4):395-413, 1987.

Cleanroom Software EngineeringHarlan D. Mills, Michael G. Dyer, Richard C. Linger. IEEE Software, 4(5):19-25, 1987. [doi]

Teaching principles of computer programmingHarlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet. acm 1987: 336-341 [doi]

1986

Certifying the Reliability of SoftwareP. Allen Currit, Michael G. Dyer, Harlan D. Mills. TSE, 12(1):3-11, 1986.

Data Structured Programming: Program Design without Arrays and PointersHarlan D. Mills, Richard C. Linger. TSE, 12(2):192-197, 1986.

Structured Programming: Retrospect and ProspectHarlan D. Mills. IEEE Software, 3(6):58-66, 1986. [doi]

1985

Functional Semantics of ModulesJohn D. Gannon, Richard G. Hamlet, Harlan D. Mills. tapsoft 1985: 42-59

1983

Teaching formal methods for program development and verification (Panel Session)Susan L. Gerhart, Eric C. R. Hehner, Harlan D. Mills, A. Joe Turner. sigcse 1983: 50 [doi]

1982

Understanding and Documenting ProgramsVictor R. Basili, Harlan D. Mills. TSE, 8(3):270-283, 1982.

1980

The Management of Software Engineering. Part I: Principles of Software EngineeringHarlan D. Mills. IBMSJ, 19(4):414-420, 1980.

Function Semantics for Sequential ProgramsHarlan D. Mills. ifip 1980: 241-250

1979

Structured programming - theory and practiceRichard C. Linger, Harlan D. Mills, Bernard I. Witt. The systems programming series, Addison-Wesley, 1979.

1976

Software DevelopmentHarlan D. Mills. TSE, 2(4):265-273, 1976.

Software Development (Abstract)Harlan D. Mills. ICSE 1976: 388

1975

The New Math of Computer ProgrammingHarlan D. Mills. CACM, 18(1):43-48, 1975.

How to write correct programs and know itHarlan D. Mills. relsoft 1975: 363-370 [doi]

1974

On the Development of Systems of Men and MachinesHarlan D. Mills. ibm 1975: 1-10

1973

On the structure of a computing professionHarlan D. Mills. sigcse 1973: 97-101 [doi]

A Kernel System for information system development, evolution, and operationHarlan D. Mills, Max L. Wilson 0002. sigplan 1973: 117-119 [doi]

A SIMPL distributed operating system and its formal definitionRobert E. Noonan, Victor R. Basili, Richard G. Hamlet, M. Lay, Harlan D. Mills, Albert J. Turner, Marvin V. Zelkowitz. sigplan 1973: 127-128 [doi]

1970

Syntax-directed documentation for PL360Harlan D. Mills. CACM, 13(4):216-222, 1970. [doi]

Sign in or sign up to see more results.

runs on WebDSL