dblp.uni-trier.dewww.uni-trier.de

Harlan D. Mills

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1999
24EEHarlan D. Mills: The Management of Software Engineering, Part I: Principles of Software Engineering. IBM Systems Journal 38(2/3): 289-295 (1999)
1993
23 Harlan D. Mills: Zero Defect Software: Cleanroom Engineering. Advances in Computers 36: 1-41 (1993)
22 Alan R. Hevner, Harlan D. Mills: Box-Structured Methods for Systems Development with Objects. IBM Systems Journal 32(2): 232-251 (1993)
21 Jesse H. Poore, Harlan D. Mills, David Mutchler: Planning and Certifying Software System Reliability. IEEE Software 10(1): 88-99 (1993)
1990
20 Harlan D. Mills, J. R. Newman, Charles B. Engle Jr.: An Undergraduate Curriculum in Software Engineering. CSEE 1990: 24-37
19 Harlan D. Mills, Peter B. Dyson: Using Metrics to Quantify Development - Guest Editors' Introduction. IEEE Software 7(2): 14-16 (1990)
18 Richard H. Cobb, Harlan D. Mills: Engineering Software under Statistical Quality Control. IEEE Software 7(6): 44-54 (1990)
1989
17 Harlan D. Mills: Position Statement - Foundations of Software Engineering. IFIP Congress 1989: 956
16EEHarlan 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): 550-559 (1989)
1988
15 Harlan D. Mills: Strategic Imperatives in Software Engineering Education. CSEE 1988: 9-19
14 Harlan D. Mills: Stepwise Refinement and Verification in Box-Structured Systems. IEEE Computer 21(6): 23-36 (1988)
1987
13EEHarlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet: Teaching principles of computer programming. ACM Conference on Computer Science 1987: 336-341
12 Harlan D. Mills, Richard C. Linger, Alan R. Hevner: Box Structured Information Systems. IBM Systems Journal 26(4): 395-413 (1987)
11 John D. Gannon, Richard G. Hamlet, Harlan D. Mills: Theory of Modules. IEEE Trans. Software Eng. 13(7): 820-829 (1987)
1986
10 P. Allen Currit, Michael G. Dyer, Harlan D. Mills: Certifying the Reliability of Software. IEEE Trans. Software Eng. 12(1): 3-11 (1986)
9 Harlan D. Mills, Richard C. Linger: Data Structured Programming: Program Design without Arrays and Pointers. IEEE Trans. Software Eng. 12(2): 192-197 (1986)
1985
8 John D. Gannon, Richard G. Hamlet, Harlan D. Mills: Functional Semantics of Modules. TAPSOFT, Vol.2 1985: 42-59
1982
7 Victor R. Basili, Harlan D. Mills: Understanding and Documenting Programs. IEEE Trans. Software Eng. 8(3): 270-283 (1982)
1980
6 Harlan D. Mills: Function Semantics for Sequential Programs. IFIP Congress 1980: 241-250
5 Harlan D. Mills: The Management of Software Engineering. Part I: Principles of Software Engineering. IBM Systems Journal 19(4): 414-420 (1980)
1976
4 Harlan D. Mills: Software Development (Abstract). ICSE 1976: 388
3 Harlan D. Mills: Software Development. IEEE Trans. Software Eng. 2(4): 265-273 (1976)
1975
2 Harlan D. Mills: The New Math of Computer Programming. Commun. ACM 18(1): 43-48 (1975)
1974
1 Harlan D. Mills: On the Development of Systems of Men and Machines. Programming Methodology 1974: 1-10

Coauthor Index

1Victor R. Basili [7] [13] [16]
2Richard H. Cobb [18]
3P. Allen Currit [10]
4Michael G. Dyer [10]
5Peter B. Dyson [19]
6Charles B. Engle Jr. [20]
7John D. Gannon [8] [11] [13] [16]
8Richard G. Hamlet [8] [11] [13] [16]
9Alan R. Hevner [12] [22]
10Richard C. Linger [9] [12]
11David Mutchler [21]
12J. R. Newman [20]
13Jesse H. Poore [21]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)