Харлан Д. Миллс (14 мая 1919 г. – 8 января 1996 г.) был профессором компьютерных наук в Технологическом институте Флориды и основателем Software Engineering Technology, Inc. в Веро-Бич , Флорида (с тех пор приобретена Q-Labs). Вклад Миллса в программную инженерию оказал глубокое и устойчивое влияние на образование и промышленную практику. После получения докторской степени по математике в Университете штата Айова в 1952 г. Миллс вел выдающуюся карьеру.
Будучи научным сотрудником IBM , Миллс адаптировал существующие идеи из области инженерии и компьютерных наук к разработке программного обеспечения. К ним относятся теория автоматов , теория структурного программирования Эдсгера Дейкстры , Роберта В. Флойда и других, а также тестирование программного обеспечения на основе цепей Маркова . Его процесс разработки программного обеспечения Cleanroom подчеркивал нисходящее проектирование и формальную спецификацию . Миллс внес свои идеи в профессию в шести книгах и более чем пятидесяти рецензируемых статьях в технических журналах.
Миллса называли «суперпрограммистом», термин, который впоследствии трансформировался в концепцию IBM « главного программиста ».
Коллоквиум ICSE "Наука и инженерия для разработки программного обеспечения" организован в честь Харлана Д. Миллса и в знак признания его непреходящего наследия в теории и практике разработки программного обеспечения. Коллоквиум ICSE "Наука и инженерия для разработки программного обеспечения" организован в честь Харлана Д. Миллса (1919–1996) и в знак признания его непреходящего наследия в теории и практике разработки программного обеспечения. Первая ежегодная премия "Harlan Mills Practical Visionary Prize" была вручена в 1996 году. Эта премия вручается человеку, который продемонстрировал многолетний и значимый вклад как в теорию, так и в практику информационных наук.
Родился в Либерти-Сентере, штат Айова . В молодости Миллс изучал искусство у Гранта Вуда . Во время Второй мировой войны Миллс стал пилотом бомбардировщика в Воздушном корпусе армии США . Его навыки в полете и преподавании были таковы, что вместо того, чтобы отправлять его на задания, армия поручила ему обучать других пилотов.
Миллс работал на факультетах Университета штата Айова , Принстонского , Нью-Йоркского и Университета Джонса Хопкинса , Университетов Мэриленда и Флориды, а также Флоридского технологического института (FIT). В Университете Джонса Хопкинса и Мэриленде он инициировал один из первых американских университетских курсов по структурному программированию. В Мэриленде он разработал новое двухсеместровое введение для первокурсников в информатику и учебник « Принципы компьютерного программирования: математический подход » с соавторами Базили, Ганноном и Гамлетом. В FIT он разработал новую учебную программу для первокурсников и второкурсников по программной инженерии, используя Ada в качестве базового языка с коллегами Энглом и Ньюманом.
Миллс был членом IBM и членом корпоративного технического комитета в IBM, техническим сотрудником в GE и RCA, а также президентом Mathematica и Software Engineering Technology. В GE он разработал трехмесячную учебную программу по науке управления, которую посещали сотни руководителей GE. В IBM он был главным архитектором Института программного обеспечения IBM, где тысячи сотрудников IBM по программному обеспечению прошли обучение по математическим основам программного обеспечения. Позже он воплотил математические и статистические принципы для программного обеспечения в процессе разработки программного обеспечения Cleanroom. Как основатель Software Engineering Technology, он создал предприятие по передаче технологий Cleanroom.
Миллс был постоянно заинтересован в содействии внедрению надежных методов разработки программного обеспечения через федеральные программы. В период формирования программы DoD DARPA STARS в 1980-х годах он представил фундаментальные концепции для разработки высококачественного программного обеспечения с высокой производительностью. В 1986 году он занимал должность председателя группы по компьютерным наукам Научно-консультативного совета ВВС США. В 1974-77 годах он был председателем группы по компьютерным наукам NSF по методологии программного обеспечения.
Миллс был членом программного комитета и приглашенным докладчиком на многих профессиональных конференциях, а также рецензентом многих журналов по математике и информатике. С 1980 по 1983 год он был губернатором IEEE Computer Society. В 1981 году он был председателем IEEE Fall CompCon. В 1975-1981 годах он был редактором IEEE Transactions on Software Engineering. В 1977 году он был представителем США по программному обеспечению на Конгрессе IFIP. В 1975 году он был председателем Первой национальной конференции по программной инженерии.
В честь Миллса Компьютерное общество IEEE учредило премию имени Харлана Д. Миллса , первая из которых была вручена в 1999 году за «вклад в теорию и практику информационных наук , [сосредоточенных] на программной инженерии ». [2] [3] Список лауреатов поддерживается на веб-сайте IEEE. [2]