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