Харлан Миллс

редактировать
Профессор информатики

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

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

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

Содержание

  • 1 Достижения
  • 2 Карьера
    • 2.1 Ранние годы
    • 2.2 Образование
    • 2.3 Промышленность
    • 2.4 Нация
    • 2.5 Профессия
  • 3 Премия Харлана Д. Миллса
  • 4 Дополнительная литература
  • 5 Ссылки
  • 6 Внешние ссылки

Достижения

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

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

Карьера

Ранние годы

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

Образование

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

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

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

Nation

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

Профессия

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

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

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

Дополнительная литература

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

Ссылки

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

Последняя правка сделана 2021-05-22 13:46:32
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте