iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/pid/95/5254.xml
Harlan D. Mills https://en.wikipedia.org/wiki/Harlan_Mills https://www.wikidata.org/entity/Q5658364 https://id.loc.gov/authorities/names/n79021717 https://d-nb.info/gnd/17225969X
Harlan D. Mills The Management of Software Engineering, Part I: Principles of Software Engineering. 289-295 1999 38 IBM Syst. J. 2/3 db/journals/ibmsj/ibmsj38.html#Mills99 https://doi.org/10.1147/sj.382.0289
Alan R. Hevner Harlan D. Mills Box-structured requirements determination methods. 223-239 1995 13 Decis. Support Syst. 3-4 https://doi.org/10.1016/0167-9236(94)E0044-R db/journals/dss/dss13.html#HevnerM95
Harlan D. Mills Zero Defect Software: Cleanroom Engineering. 1-41 1993 36 Adv. Comput. db/journals/ac/ac36.html#Mills93 https://doi.org/10.1016/S0065-2458(08)60269-7
Alan R. Hevner Harlan D. Mills Box-Structured Methods for Systems Development with Objects. 232-251 1993 32 IBM Syst. J. 2 db/journals/ibmsj/ibmsj32.html#HevnerM93 https://doi.org/10.1147/sj.322.0232
Jesse H. Poore Harlan D. Mills David Mutchler Planning and Certifying Software System Reliability. 88-99 1993 10 IEEE Softw. 1 db/journals/software/software10.html#PooreMM93 https://doi.org/10.1109/52.207234 http://doi.ieeecomputersociety.org/10.1109/52.207234
Harlan D. Mills Peter B. Dyson Using Metrics to Quantify Development - Guest Editors' Introduction. 14-16 1990 7 IEEE Softw. 2 http://doi.ieeecomputersociety.org/10.1109/MS.1990.10016 db/journals/software/software7.html#MillsD90
Richard H. Cobb Harlan D. Mills Engineering Software under Statistical Quality Control. 44-54 1990 7 IEEE Softw. 6 db/journals/software/software7.html#CobbM90 https://doi.org/10.1109/52.60601 http://doi.ieeecomputersociety.org/10.1109/52.60601 https://www.wikidata.org/entity/Q122927655
Harlan D. Mills J. R. Newman Charles B. Engle Jr. An Undergraduate Curriculum in Software Engineering. 24-37 1990 conf/csee/1990 CSEE db/conf/csee/csee1990.html#MillsNE90 https://doi.org/10.1007/BFb0040438 Harlan D. Mills Ada systems. 124-128 1990 TRI-Ada https://doi.org/10.1145/255471.255516 conf/sigada/1990 db/conf/sigada/triada1990.html#Mills90
Harlan D. Mills Victor R. Basili John D. Gannon Richard G. Hamlet Mathematical Principles for a First Course in Software Engineering. 550-559 https://doi.org/10.1109/32.24704 http://doi.ieeecomputersociety.org/10.1109/32.24704 1989 15 IEEE Trans. Software Eng. 5 db/journals/tse/tse15.html#MillsBGH89
Harlan D. Mills Position Statement - Foundations of Software Engineering. 956 1989 conf/ifip/1989 IFIP Congress db/conf/ifip/ifip89.html#Mills89
Harlan D. Mills Stepwise Refinement and Verification in Box-Structured Systems. 23-36 1988 21 Computer 6 db/journals/computer/computer21.html#Mills88 https://doi.org/10.1109/2.948 http://doi.ieeecomputersociety.org/10.1109/2.948
Richard C. Linger Harlan D. Mills A case study in cleanroom software engineering: the IBM COBOL Structuring Facility. 10-17 1988 COMPSAC https://doi.org/10.1109/CMPSAC.1988.17141 conf/compsac/1988 db/conf/compsac/compsac1988.html#LingerM88 Harlan D. Mills Software engineering-retrospect and prospect. 89-96 1988 COMPSAC https://doi.org/10.1109/CMPSAC.1988.17155 conf/compsac/1988 db/conf/compsac/compsac1988.html#Mills88 Harlan D. Mills Strategic Imperatives in Software Engineering Education. 9-19 1988 conf/csee/1988 CSEE db/conf/csee/csee1988.html#Mills88 https://doi.org/10.1007/BFb0043584
Harlan D. Mills Richard C. Linger Alan R. Hevner Box Structured Information Systems. 395-413 1987 26 IBM Syst. J. 4 db/journals/ibmsj/ibmsj26.html#MillsLH87 https://doi.org/10.1147/sj.264.0395
Harlan D. Mills Michael G. Dyer Richard C. Linger Cleanroom Software Engineering. 19-25 1987 4 IEEE Softw. 5 https://doi.org/10.1109/MS.1987.231413 http://doi.ieeecomputersociety.org/10.1109/MS.1987.231413 https://www.wikidata.org/entity/Q54262517 db/journals/software/software4.html#MillsDL87
John D. Gannon Richard G. Hamlet Harlan D. Mills Theory of Modules. 820-829 1987 13 IEEE Trans. Software Eng. 7 db/journals/tse/tse13.html#GannonHM87 https://doi.org/10.1109/TSE.1987.233493 http://doi.ieeecomputersociety.org/10.1109/TSE.1987.233493
Harlan D. Mills Victor R. Basili John D. Gannon Richard G. Hamlet Teaching principles of computer programming. 336-341 1987 conf/acm/1987 ACM Conference on Computer Science https://doi.org/10.1145/322917.322972 db/conf/acm/csc1987.html#MillsBGH87
Harlan D. Mills Structured Programming: Retrospect and Prospect. 58-66 1986 3 IEEE Softw. 6 https://doi.org/10.1109/MS.1986.229478 http://doi.ieeecomputersociety.org/10.1109/MS.1986.229478 db/journals/software/software3.html#Mills86
P. Allen Currit Michael G. Dyer Harlan D. Mills Certifying the Reliability of Software. 3-11 1986 12 IEEE Trans. Software Eng. 1 db/journals/tse/tse12.html#CurritDM86 https://doi.org/10.1109/TSE.1986.6312914 http://doi.ieeecomputersociety.org/10.1109/TSE.1986.6312914
Harlan D. Mills Richard C. Linger Data Structured Programming: Program Design without Arrays and Pointers. 192-197 1986 12 IEEE Trans. Software Eng. 2 db/journals/tse/tse12.html#MillsL86 https://doi.org/10.1109/TSE.1986.6312935 http://doi.ieeecomputersociety.org/10.1109/TSE.1986.6312935 https://www.wikidata.org/entity/Q111900992
John D. Gannon Richard G. Hamlet Harlan D. Mills Functional Semantics of Modules. 42-59 1985 conf/tapsoft/1985-2 TAPSOFT, Vol.2 db/conf/tapsoft/tapsoft85-2.html#GannonHM85 https://doi.org/10.1007/3-540-15199-0_4 Susan L. Gerhart Eric C. R. Hehner Harlan D. Mills A. Joe Turner Teaching formal methods for program development and verification (Panel Session). 50 1983 SIGCSE https://doi.org/10.1145/800038.801011 https://doi.org/10.1145/952978.801011 conf/sigcse/1983 db/conf/sigcse/sigcse1983.html#GerhartHMT83
Victor R. Basili Harlan D. Mills Understanding and Documenting Programs. 270-283 1982 8 IEEE Trans. Software Eng. 3 db/journals/tse/tse8.html#BasiliM82 https://doi.org/10.1109/TSE.1982.235255 http://doi.ieeecomputersociety.org/10.1109/TSE.1982.235255
Harlan D. Mills The Management of Software Engineering. Part I: Principles of Software Engineering. 414-420 1980 19 IBM Syst. J. 4 db/journals/ibmsj/ibmsj19.html#Mills80 https://doi.org/10.1147/sj.194.0414
Harlan D. Mills Function Semantics for Sequential Programs. 241-250 1980 conf/ifip/1980 IFIP Congress db/conf/ifip/ifip80.html#Mills80 Richard C. Linger Harlan D. Mills Bernard I. Witt Structured programming - theory and practice. I-XIV, 1-402 Addison-Wesley 1979 The systems programming series 978-0-201-14461-1
Harlan D. Mills Software Development. 265-273 1976 2 IEEE Trans. Software Eng. 4 db/journals/tse/tse2.html#Mills76 https://doi.org/10.1109/TSE.1976.233831 http://doi.ieeecomputersociety.org/10.1109/TSE.1976.233831
Harlan D. Mills Software Development (Abstract). 388 1976 conf/icse/1976 ICSE db/conf/icse/icse76.html#Mills76 http://dl.acm.org/citation.cfm?id=807706
Harlan D. Mills The New Math of Computer Programming. 43-48 1975 18 Commun. ACM 1 db/journals/cacm/cacm18.html#Mills75 https://doi.org/10.1145/360569.360659 Corrigemdum: CACM 18(5): 280 (1975)
Harlan D. Mills How to write correct programs and know it. 363-370 1975 Reliable Software https://doi.org/10.1145/800027.808459 https://doi.org/10.1145/390016.808459 conf/relsoft/1975 db/conf/relsoft/relsoft1975.html#Mills75 Harlan D. Mills On the Development of Systems of Men and Machines. 1-10 1974 conf/ibm/1974 Programming Methodology db/conf/ibm/pm1974.html#Mills74 https://doi.org/10.1007/3-540-07131-8_20 Harlan D. Mills On the structure of a computing profession. 97-101 1973 SIGCSE https://doi.org/10.1145/800010.808087 https://doi.org/10.1145/953053.808087 conf/sigcse/1973 db/conf/sigcse/sigcse1973.html#Mills73 Harlan D. Mills Max L. Wilson 0002 A Kernel System for information system development, evolution, and operation. 117-119 1973 SIGPLAN-SIGOPS Interface Meeting https://doi.org/10.1145/800021.808297 https://doi.org/10.1145/390014.808297 conf/sigplan/1973sigops db/conf/sigplan/sigplan-sigops1973.html#Mills073 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. 127-128 1973 SIGPLAN-SIGOPS Interface Meeting https://doi.org/10.1145/800021.808300 https://doi.org/10.1145/390014.808300 conf/sigplan/1973sigops db/conf/sigplan/sigplan-sigops1973.html#NoonanBHLMTZ73
Harlan D. Mills Syntax-directed documentation for PL360. 216-222 1970 13 Commun. ACM 4 https://doi.org/10.1145/362258.362271 db/journals/cacm/cacm13.html#Mills70
Victor R. Basili Richard H. Cobb P. Allen Currit Michael G. Dyer Peter B. Dyson Charles B. Engle Jr. John D. Gannon Susan L. Gerhart Richard G. Hamlet Eric C. R. Hehner Alan R. Hevner M. Lay Richard C. Linger David Mutchler J. R. Newman Robert E. Noonan Jesse H. Poore A. Joe Turner Albert J. Turner Max L. Wilson 0002 Bernard I. Witt Marvin V. Zelkowitz