Harlan Mills

Harlan D. Mills (14 maj 1919 – 8 januari 1996) var professor i datavetenskap vid Florida Institute of Technology och grundare av Software Engineering Technology, Inc. i Vero Beach, Florida (sedan förvärvad av Q-Labs). Mills bidrag till mjukvaruutveckling har haft en djupgående och bestående effekt på utbildning och industriell praktik. Sedan han tog sin doktorsexamen. i matematik vid Iowa State University 1952 ledde Mills en framstående karriär.

Som IBM- forskare anpassade Mills befintliga idéer från teknik och datavetenskap till mjukvaruutveckling. Dessa inkluderade automatteorin , den strukturerade programmeringsteorin av Edsger Dijkstra , Robert W. Floyd och andra, och Markovs kedjedrivna mjukvarutestning. Hans mjukvaruutvecklingsprocess för Cleanroom betonade top-down design och formell specifikation . Mills bidrog med sina idéer till yrket i sex böcker och över femtio refererade artiklar i tekniska tidskrifter.

Mills kallades en "superprogrammerare", en term som skulle utvecklas till konceptet i IBM om en " chefsprogrammerare" .

Prestationer

  • Ph.D.: Iowa State University , 1952
  • Gästprofessor (deltid) 1975-1987
  • Adjungerad professor, 1987-1995
  • Ordförande, NSF Computer Science Research Panel on Software Methodology, 1974–77
  • ordförande för den första nationella konferensen om mjukvaruteknik, 1975
  • Redaktör för IEEE Transactions on Software Engineering, 1975–81
  • USA:s representant för programvara vid IFIP-kongressen, 1977
  • Guvernör för IEEE Computer Society, 1980–83
  • Ordförande för IEEE Fall CompCon, 1981
  • Ordförande för datavetenskapspanelen, US Air Force Scientific Advisory Board, 1986
  • Awardee, Distinguished Information Sciences Award, DPMA 1985
  • Designer av initial NFL-schemaläggningsalgoritm ( http://trace.tennessee.edu/utk_harlan/407/ )

Det ICSE-anslutna kollokviet "Science and Engineering for Software Development" organiseras för att hedra Harlan D. Mills, och som ett erkännande av hans bestående arv till teorin och praktiken inom mjukvaruteknik. Det ICSE-anslutna kollokviet "Science and Engineering for Software Development" organiserades för att hedra Harlan D. Mills (1919–1996), och som ett erkännande av hans bestående arv till teorin och praktiken inom mjukvaruteknik. Det första årliga priset "Harlan Mills Practical Visionary Prize" delades ut 1996. Detta pris ges till en person som har visat ett långvarigt och meningsfullt bidrag till både teori och praktik inom informationsvetenskap.

Karriär

Tidigt liv

Född i Liberty Center, Iowa . Som ung studerade Mills konst med Grant Wood . Under andra världskriget blev Mills bombplanpilot i US Army Air Corps . Hans färdigheter i flygning och undervisning var sådana att i stället för att låta honom flyga uppdrag, gav armén honom i uppdrag att utbilda andra piloter.

Utbildning

Mills tjänstgjorde vid fakulteterna vid Iowa State University , Princeton , New York och Johns Hopkins University, University of Maryland och Florida, och Florida Institute of Technology (FIT). På Johns Hopkins och Maryland initierade han en av de första amerikanska universitetskurserna i strukturerad programmering. I Maryland utvecklade han en ny tvåterminers förstaårsintroduktion till datavetenskap och läroboken " Principles of Computer Programming: A Mathematical Approach " med medförfattarna Basili, Gannon och Hamlet. På FIT utvecklade han en ny kursplan för förstaårsstudenter och andra år för programvaruteknik med Ada som det underliggande språket tillsammans med kollegorna Engle och Newman.

Industri

Mills var en IBM Fellow och medlem av Corporate Technical Committee på IBM, en Technical Staff Member på GE och RCA och VD för Mathematica and Software Engineering Technology. På GE utvecklade han en tremånaders läroplan i managementvetenskap där hundratals GE-chefer deltog. På IBM var han den primära arkitekten för IBM Software Engineering Institute där tusentals IBM-programvarupersonal utbildades i de matematiska grunderna för programvara. Han förkroppsligade senare de matematiska och statistiska principerna för programvara i Cleanroom-programvaruutvecklingsprocessen. Som grundare av Software Engineering Technology skapade han ett företag för renrumstekniköverföring.

Nation

Mills hade ett fortlöpande intresse av att främja sund mjukvaruteknik genom federala program. Under den formativa perioden av DoD DARPA STARS-programmet på 1980-talet tillhandahöll han grundläggande koncept för utveckling av högkvalitativ mjukvara med hög produktivitet. 1986 var han ordförande för datavetenskapspanelen för US Air Force Scientific Advisory Board. Under 1974-77 var han ordförande för NSF Computer Science Research Panel on Software Methodology.

Yrke

Mills var medlem i programkommittén och inbjöd talare för många professionella konferenser, och referent för många matematik- och datavetenskapliga tidskrifter. Från 1980-83 var han guvernör för IEEE Computer Society. 1981 var han ordförande för IEEE Fall CompCon. Under 1975-81 var han redaktör för IEEE Transactions on Software Engineering. 1977 var han USA:s representant för programvara vid IFIP-kongressen. 1975 var han ordförande för den första nationella konferensen om mjukvaruteknik.

Harlan D. Mills Award

För att hedra Mills skapade IEEE Computer Society Harlan D. Mills Award , den första som delades ut 1999, för "bidrag till teorin och praktiken inom informationsvetenskap, [ fokuserad på] mjukvaruteknik ".

Vidare läsning

  • Linger och Witt (1979), Structured Programming: Theory and Practice , presenterar Mills funktionsteoretiska syn på programverifiering
  • Software Productivity (1983), inkluderar en samling av hans framstående artiklar om chefsprogrammerarteam, top-down design, strukturerad programmering, programkorrekthet och andra grundläggande idéer inom mjukvaruteknik
  • Linger och Hevner (1986), Principles of Information System Analysis and Design , inkluderar Mills reduktion av matematiken för specifikation och design till praktiken

externa länkar

Hämtad från " https://en.wikipedia.org/w/index.php?title=Harlan_Mills&oldid=1053389313 "