Введение

Профессор компьютерных наук Харлан Д. Миллс (14 мая 1919 – 8 января 1996) был профессором компьютерных наук в Технологическом институте Флориды и основателем компании Software Engineering Technology, Inc. в Веро-Бич, штат Флорида (позднее приобретенной Q Labs). Вклад Миллса в разработку программного обеспечения оказал глубокое и продолжительное влияние на образование и практику в промышленности. Получив степень доктора философии по математике в Университете штата Айова в 1952 году, Миллс сделал выдающуюся карьеру. Работая научным сотрудником IBM, Миллс адаптировал существующие идеи из инженерии и компьютерных наук для разработки программного обеспечения, включая теорию автоматов, теорию структурированного программирования Эдсгера Дейкстры, Роберта Флойда и других, а также тестирование программного обеспечения на основе марковских цепей. Его методология разработки программного обеспечения Cleanroom делала акцент на проектировании сверху вниз и формальных спецификациях. Миллс представил свои идеи профессиональному сообществу в шести книгах и более чем в пятидесяти рецензируемых статьях в технических журналах. Миллса называли "суперпрограммистом", термин, который впоследствии в IBM трансформировался в концепцию "ведущего программиста".

Ранние годы

Родился в Либерти-центре, штат Айова. В юности Миллс изучал живопись у Гранта Вуда. Во время Второй мировой войны Миллс служил пилотом бомбардировщика в Военно-воздушных силах армии США. Его умение летать и обучать было настолько велико, что вместо участия в боевых вылетах армия назначила его инструктором пилотов.

Страна

Миллс проявлял постоянный интерес к развитию надежных практик разработки программного обеспечения посредством федеральных программ. В период становления программы DARPA STARS Министерства обороны в 1980-х годах он предложил основополагающие концепции для разработки высококачественного программного обеспечения с высокой производительностью. В 1986 году он возглавлял группу по компьютерным наукам Научно-консультативного совета ВВС США. В 1974–1977 годах он был председателем исследовательской группы NSF по компьютерным наукам в области методологии программного обеспечения.

Премия Харлана Д. Миллса

В честь Миллса IEEE Computer Society учредила премию имени Харлана Д. Миллса, впервые врученную в 1999 году за "вклад в теорию и практику информатики, [ориентированный на] разработку программного обеспечения". Список лауреатов премии размещен на сайте IEEE.