Харлан Миллс - Harlan Mills

Харлан Д. Миллс (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
  • Представитель США по программному обеспечению на Конгрессе IFIP, 1977 г.
  • Губернатор компьютерного общества IEEE, 1980–83 гг.
  • Председатель IEEE Fall CompCon, 1981 г.
  • Председатель группы компьютерных наук Научно-консультативного совета ВВС США , 1986 г.
  • Лауреат премии "Выдающиеся информационные науки", DPMA 1985
  • Конструктор исходного алгоритма планирования NFL ( http://trace.tennessee.edu/utk_harlan/407/ )

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

Карьера

Ранние годы

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

Образование

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

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

Миллс был научным сотрудником IBM и членом корпоративного технического комитета IBM, техническим сотрудником GE и RCA и президентом компаний Mathematica и Software Engineering Technology. В GE он разработал трехмесячный курс обучения менеджменту, в котором приняли участие сотни руководителей GE. В IBM он был главным архитектором Института программной инженерии IBM, где тысячи сотрудников IBM, занимающихся программным обеспечением, прошли обучение математическим основам программного обеспечения. Позже он воплотил математические и статистические принципы программного обеспечения в процессе разработки программного обеспечения для чистых помещений. Как основатель компании Software Engineering Technology, он создал предприятие по передаче технологий для чистых помещений.

Нация

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

Профессия

Миллс был членом программного комитета и приглашенным докладчиком на многие профессиональные конференции, а также рецензентом многих математических и компьютерных журналов. С 1980 по 1983 год он был губернатором компьютерного общества IEEE. В 1981 году он был председателем IEEE Fall CompCon. В 1975-81 годах он работал редактором журнала IEEE Transactions по разработке программного обеспечения. В 1977 году он был представителем США по программному обеспечению на Конгрессе IFIP. В 1975 году он был председателем Первой национальной конференции по разработке программного обеспечения.

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

В честь Миллса Компьютерное общество IEEE учредило Премию Харлана Д. Миллса , первую в 1999 году, за «вклад в теорию и практику информационных наук , [ориентированный на] разработку программного обеспечения ».

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

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

Рекомендации

внешняя ссылка