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

Харлан Д. Миллс (14 мая 1919 - 8 января 1996) был профессором Информатика на Флоридский технологический институт и основатель Software Engineering Technology, Inc. Vero Beach, Флорида (с момента приобретения 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 он разработал новую учебную программу для первокурсников и второкурсников по разработке программного обеспечения, используя Ада в качестве основного языка с коллегами Энглом и Ньюманом.

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

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

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

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

использованная литература

  1. ^ "Премия Харлана Д. Миллса". IEEE Computer Society. Архивировано из оригинал 10 января 2011 г.. Получено 13 апреля, 2011.
  2. ^ «Предыдущие лауреаты премии Харлана Д. Миллса». IEEE Computer Society. Архивировано из оригинал 10 января 2011 г.. Получено 13 апреля, 2011.

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