WorldCat Identities

Mills, Harlan D. (Harlan Duncan) 1919-1996

Overview
Works: 32 works in 99 publications in 3 languages and 1,981 library holdings
Genres: Laboratory manuals  Conference papers and proceedings  Records (Sports) 
Roles: Author
Classifications: QA76.6, 658.4038
Publication Timeline
.
Most widely held works by Harlan D Mills
Structured programming, theory and practice by Richard C Linger( Book )

15 editions published between 1979 and 1995 in English and held by 529 WorldCat member libraries worldwide

Precision programming. Elements of logical expression. Elements of program expression. Structured programs. Reading structured programs. The correctness of structured programs. Writing structured programs
Principles of information systems analysis and design by Harlan D Mills( Book )

14 editions published between 1986 and 1989 in English and held by 344 WorldCat member libraries worldwide

Computer information systems development : analysis and design by Michael J Powers( Book )

8 editions published between 1984 and 1985 in English and held by 337 WorldCat member libraries worldwide

Software productivity by Harlan D Mills( Book )

12 editions published between 1983 and 1988 in English and held by 264 WorldCat member libraries worldwide

In retrospect. Search for an easier, simpler way (1968). The iterative IF as a primitive instruction (1967). Programmer productivity through individual responsibility (1968). The case against GO TO statements in PL/I (1969). The New York Times Thesaurus of Descriptors (1969). A structural description of the New York Times Thesaurus of Descriptors (1969). Measurements of program complexity (1969). Chief programmer teams: techniques and procedures (1970). On the statistical validation of computer programs (1970). OS/360 programming. Top down programming in large systems (1970). Programming techniques: from private art to public practice (1970). Mathematical foundations for structured programming (1972). Reading programs as a managerial activity (1972). How to buy quality software (1974). How to write correct programs and know it (1975). The new math of computer programming (1975). Software development (1976). Software engineering education (1980). Software productivity in the enterprise (1981). Index
Principles of computer programming : a mathematical approach( Book )

8 editions published between 1987 and 1988 in English and held by 175 WorldCat member libraries worldwide

The pig manual; photographed dissection of the fetal pig by Harlan D Mills( Book )

5 editions published in 1963 in English and held by 80 WorldCat member libraries worldwide

Player win averages; a computer guide to winning baseball players by Eldon G Mills( Book )

3 editions published in 1970 in English and held by 20 WorldCat member libraries worldwide

Het groot Pascal spreuken boek by Henry F Ledgard( Book )

1 edition published in 1982 in Dutch and held by 9 WorldCat member libraries worldwide

Regels voor het maken van zorgvuldig geconstrueerde, leesbare programma's
Teorija i praktika strukturnogo programmirovanija. (Theorie et pratique de la programmation structuree) by Richard C Linger( Book )

5 editions published in 1982 in Russian and held by 8 WorldCat member libraries worldwide

Mathematical foundations for structured programming by Harlan D Mills( Book )

3 editions published between 1971 and 1972 in English and held by 7 WorldCat member libraries worldwide

Stochastic properties of elementary logistic components by Harlan D Mills( Book )

2 editions published in 1959 in English and held by 5 WorldCat member libraries worldwide

Understanding and documenting programs by Victor R Basili( Book )

3 editions published in 1980 in English and held by 4 WorldCat member libraries worldwide

This paper reports on an experiment in trying to understand an unfamiliar program of some complexity and to record the authors' understanding of it. The goal was to simulate a practicing programmer in a program maintenance environment using the techniques of program design adapted to program understanding and documentation; that is, given a program, a specification and correctness proof were developed for the program. The approach points out the value of correctness proof ideas in guiding the discovery process. Toward this end, a variety of techniques were used: direct cognition for smaller parts, and functions determined by additional analysis for larger program parts. An indeterminate bounded variable was introduced into the program to summarize the effect of several program variables and simplify the proof of correctness. (Author)
Equivalent functions of strategies in the theory of games ... by Harlan D Mills( )

1 edition published in 1952 in English and held by 2 WorldCat member libraries worldwide

Engineering software under statiscal quality control by Richard H Cobb( )

1 edition published in 1990 in English and held by 1 WorldCat member library worldwide

Chief programmers teams by F. Terry Baker( )

1 edition published in 1973 in English and held by 1 WorldCat member library worldwide

Software, Programmiersprache, Betriessystem (EDV)
A study in promotional competition by Harlan D Mills( Book )

1 edition published in 1959 in English and held by 1 WorldCat member library worldwide

Mathematical principles for a first course in sofware engineering by Harlan D Mills( )

1 edition published in 1989 in English and held by 1 WorldCat member library worldwide

Using metrics to quantify development by Harlan D Mills( )

1 edition published in 1990 in English and held by 1 WorldCat member library worldwide

The Calculus of computer programming( Book )

1 edition published in 1982 in English and held by 1 WorldCat member library worldwide

Proceedings, science and engineering for software development : a recognition of Harlan D. Mills' legacy, Los Angeles, California, May 18, 1999 by Science and Engineering for Software Development( )

1 edition published in 1999 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.49 (from 0.34 for Computer i ... to 0.99 for Chief prog ...)

Software productivity
Alternative Names
Harlan Mills Amerikaans ingenieur (1919-1996)

Harlan Mills amerikanischer Informatiker

Harlan Mills amerikansk ingeniør

Harlan Mills amerikansk ingenjör

Mills, Ch.

Mills, Ch. 1919-1996

Mills, H. D.

Mills, H. D. 1919-1996

Mills, H. D. (Harlan Duncan), 1919-1996

Миллс, Х 1919-

هارلان ميلز، 1919-

هارلن میلز مهندس آمریکایی

ハーラン・ミルズ

哈伦·米尔斯

Languages
English (81)

Russian (5)

Dutch (1)

Covers