Харлан Миллс

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

Будучи IBM научным сотрудником , Миллс адаптировал существующие идеи из области инженерии и информатики к разработке программного обеспечения. К ним относятся теория автоматов , структурного программирования теория Эдсгера Дейкстры , Роберта Флойда и других, а также тестирование программного обеспечения, управляемое цепями Маркова . В процессе для чистых помещений разработки программного обеспечения особое внимание уделялось нисходящему проектированию и формальным спецификациям . Миллс изложил свои идеи в шести книгах и более пятидесяти рецензируемых статьях в технических журналах.

Миллса называли «суперпрограммистом» — термин, который в IBM превратился в концепцию « главного программиста ».

Достижения

• Доктор философии: Университет штата Айова , 1952 г.
• Приглашенный профессор (неполный рабочий день), 1975–1987 годы.
• Адъюнкт-профессор, 1987–1995 годы.
• Председатель группы компьютерных исследований NSF по методологии программного обеспечения, 1974–77 гг.
• Председатель Первой национальной конференции по разработке программного обеспечения, 1975 г.
• Редактор журнала IEEE Transactions по разработке программного обеспечения, 1975–81 гг.
• Представитель США по программному обеспечению на Конгрессе ИФИП, 1977 г.
• Губернатор Компьютерного общества IEEE, 1980–83 гг.
• Председатель осеннего CompCon IEEE, 1981 г.
• Председатель группы компьютерных наук ВВС США , 1986 г. Научно-консультативного совета
• Лауреат премии «Выдающиеся достижения в области информационных наук», DPMA, 1985 г.
• Разработчик первоначального алгоритма планирования НФЛ ( http://trace.tennessee.edu/utk_harlan/407/ )
• Лауреат премии ACM SIGSOFT за выдающиеся исследования, 1999.

Коллоквиум ICSE «Наука и техника для разработки программного обеспечения» организуется в честь Харлана Д. Миллса и в знак признания его непреходящего наследия в теории и практике разработки программного обеспечения. Коллоквиум «Наука и техника для разработки программного обеспечения», связанный с ICSE, был организован в честь Харлана Д. Миллса (1919–1996) и в знак признания его непреходящего наследия в теории и практике разработки программного обеспечения. Первая ежегодная награда «Практическая премия Харлана Миллса» была вручена в 1996 году. Эта награда вручается человеку, продемонстрировавшему многолетний и значимый вклад как в теорию, так и в практику информационных наук.

Карьера

Ранний период жизни

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

Образование

Миллс работал на факультетах Университета штата Айова , Принстонского , Нью-Йоркского и Университета Джонса Хопкинса , университетов Мэриленда и Флориды.и Технологический институт Флориды (FIT). В Университете Джонса Хопкинса и Мэриленде он инициировал один из первых американских университетских курсов по структурированному программированию. В Мэриленде он разработал новое двухсеместровое введение в информатику для первокурсников и учебник « Принципы компьютерного программирования: математический подход » вместе с соавторами Бэзили, Гэнноном и Гамлетом. В FIT он вместе с коллегами Энглом и Ньюманом разработал новую учебную программу по разработке программного обеспечения для первокурсников и второкурсников, используя Ada в качестве основного языка.

Промышленность

Миллс был научным сотрудником IBM и членом корпоративного технического комитета IBM, техническим сотрудником GE.и RCA, а также президент Mathematica и Software Engineering Technology. В 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 году, за «вклад в теорию и практику информационных наук , [сосредоточенную на] разработке программного обеспечения ». Список награжденных хранится на сайте IEEE.

• 1999 Дэвид Парнас
• 2000 Барри Бём
• 2001 Мэнни Леман
• 2002 Джесси Х. Пур
• 2003 Виктор Базили
• 2004 Элейн Вейкер
• 2006 Джон К. Найт
• 2007 Бев Литтлвуд
• 2009 Бертран Мейер
• 2011 Джон Рашби
• 2012 Лионель Бриан
• 2014 Патрик Кузо и Радия Кузо
• 2015 Джерард Дж. Хольцманн
• 2016 Вольфрам Шульте
• 2017 Памела Заве
• 2018 Гейл К. Мерфи
• 2019 Марк Харман
• 2020 Начиаппан Нагаппан
• 2021 Дитер Ромбах
• 2022 Мэтью Б. Дуайер
• 2023 Дэвид Харел

Дальнейшее чтение

• Лингер и Витт (1979), «Структурное программирование: теория и практика» , представляют теоретико-функциональный подход Миллса к верификации программ.
• Продуктивность программного обеспечения (1983) включает сборник его основополагающих статей о командах главных программистов, нисходящем проектировании, структурном программировании, корректности программ и других фундаментальных идеях разработки программного обеспечения.
• Лингер и Хевнер (1986), «Принципы анализа и проектирования информационных систем» , включают в себя приведение Миллсом математики спецификации и проектирования к практике.

Внешние ссылки

• IP: Харлан Миллс скончался на этой неделе - сообщение в списке рассылки с подробностями
• Харлан Д. Миллс Список публикаций с библиографического сервера DBLP