Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Харлан Д. Миллс (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 году, за «вклад в теорию и практику информационных наук , [ориентированный на] разработку программного обеспечения ». [1] [2]

Дальнейшее чтение [ править ]

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

Ссылки [ править ]

  1. ^ "Премия Харлана Д. Миллса" . Компьютерное общество IEEE . Архивировано из оригинального 10 января 2011 года . Проверено 13 апреля 2011 года .
  2. ^ "Прошлые получатели премии Харлана Д. Миллса" . Компьютерное общество IEEE . Архивировано из оригинального 10 января 2011 года . Проверено 13 апреля 2011 года .

Внешние ссылки [ править ]

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