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

Харлан Д. Миллс (1919 ж. 14 мамыр - 1996 ж. 8 қаңтар) профессоры Информатика кезінде Флорида технологиялық институты және Software Engineering Technology, Inc негізін қалаушы Веро жағажайы, Флорида (бастап сатып алынған Q-зертханалары ). Миллстің жарналары бағдарламалық жасақтама білім беру мен өндірістік тәжірибеге терең және тұрақты әсер етті. Оның тапқанынан бастап Ph.D. математика бойынша Айова штатының университеті 1952 жылы Миллс ерекше мансапты басқарды.

Ретінде IBM ғылыми қызметкер, Миллс қолданыстағы идеяларды бейімдеді инженерлік және Информатика бағдарламалық қамтамасыздандыруды дамытуға. Оларға кіреді автоматтар теориясы, құрылымдық бағдарламалау теориясы Edsger Dijkstra, Роберт В. Флойд және басқалары, және Марков тізбегі - басқарылатын бағдарламалық жасақтама сынағы. Оның Таза бөлме бағдарламалық жасақтама жасау процесі атап өтті жоғарыдан төмен дизайн және ресми спецификация. Миллз өзінің идеяларын мамандыққа алты кітапта және техникалық журналдарда елуден астам реферат мақалаларымен қосқан.

Миллс «супер-бағдарламашы» деп аталды, бұл термин IBM а тұжырымдамасына қарай дамиды «Бас бағдарламашы."

Жетістіктер

  • Ph.D .: Айова штатының университеті, 1952
  • Қонаққа келген профессор (толық емес уақыт) 1975-1987 жж
  • Адъюнкт-профессор, 1987-1995 жж
  • Бағдарламалық қамтамасыз ету әдістемесі бойынша NSF информатика ғылыми-зерттеу панелінің төрағасы, 1974–77
  • Бағдарламалық жасақтама жасау бойынша бірінші ұлттық конференцияның төрағасы, 1975 ж
  • Бағдарламалық жасақтама бойынша IEEE транзакцияларының редакторы, 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) құрметіне және оның бағдарламалық жасақтама теориясы мен практикасына қалдырған мұрасын тану ретінде ұйымдастырылды. Жыл сайынғы «Harlan Mills Practical Visionary Prize» сыйлығы 1996 жылы табысталды. Бұл сыйлық ақпарат ғылымдарының теориясы мен практикасына көптен бері маңызды және үлес қосқан тұлғаға беріледі.

Мансап

Ерте өмір

Жылы туылған Liberty Center, Айова. Миллс жас кезінде өнерді бірге оқыды Грант Вуд. Кезінде Екінші дүниежүзілік соғыс, Миллс бомбалаушы ұшқыш болды АҚШ армиясының әуе корпусы. Оның ұшу мен сабақ берудегі шеберлігі сондай, ұшу миссиясын орындаудан гөрі, армия оған басқа ұшқыштарды дайындауды тапсырды.

Білім

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

Өнеркәсіп

Миллс ан IBM стипендиаты және IBM корпоративтік техникалық комитетінің мүшесі, GEand RCA техникалық персоналы және математика және бағдарламалық жасақтама технологиясының президенті. GE-де ол менеджмент ғылымының үш айлық оқу жоспарын жүздеген GE басшыларының қатысуымен жасады. IBM-де ол IBM бағдарламалық жасақтама институтының негізгі сәулетшісі болды, онда IBM бағдарламалық жасақтамасының мыңдаған қызметкерлері бағдарламалық жасақтаманың математикалық негіздеріне оқытылды. Кейінірек ол Cleanroom бағдарламалық жасақтамасының инженерлік процесінде бағдарламалық жасақтаманың математикалық және статистикалық принциптерін жүзеге асырды. Бағдарламалық жасақтама технологиясының негізін қалаушы ретінде ол Cleanroom технология трансферті кәсіпорнын құрды.

Ұлт

Миллс федералды бағдарламалар арқылы бағдарламалық жасақтаманың инженерлік тәжірибесін дамытуға тұрақты қызығушылық танытты. 1980 жылдардағы DoD DARPA STARS бағдарламасының қалыптасу кезеңінде ол жоғары өнімділік кезінде жоғары сапалы бағдарламалық жасақтама жасау үшін іргелі тұжырымдамаларды ұсынды. 1986 жылы ол АҚШ Әскери-әуе күштері ғылыми консультативтік кеңесінің компьютерлік ғылымдар панелінің төрағасы қызметін атқарды. 1974-77 жылдары ол бағдарламалық қамтамасыз ету әдістемесі бойынша NSF информатика ғылыми-зерттеу панелінің төрағасы болды.

Мамандық

Миллс бағдарлама комитетінің мүшесі болды және көптеген кәсіби конференцияларға спикер және көптеген математика мен компьютерлік ғылыми журналдардың төрешісі болды. 1980-83 жылдары ол IEEE компьютерлік қоғамының губернаторы болды. 1981 жылы ол IEEE Fall CompCon төрағасы болды. 1975-81 жылдары ол IEEE Transaction бағдарламалық жасақтамасында редактор қызметін атқарды. 1977 жылы ол IFIP конгресінде бағдарламалық қамтамасыз ету бойынша АҚШ өкілі болды. 1975 жылы ол бағдарламалық жасақтама жасау бойынша бірінші ұлттық конференцияның төрағасы болды.

Миллан сыйлығы

Миллс құрметіне IEEE Computer Society құрды Миллан сыйлығы, біріншісі 1999 жылы «теория мен практикаға қосқан үлесі үшін» ұсынылды ақпараттық ғылымдар, [бағытталған] бағдарламалық жасақтама ".[1][2]

Әрі қарай оқу

  • Лингер және Витт (1979), Құрылымдық бағдарламалау: теория және практика, бағдарламаны тексеруге Миллстің функционалды-теориялық тәсілін ұсынады
  • Бағдарламалық жасақтама өнімділігі (1983), бағдарламашылардың бас командалары, жоғарыдан төмен қарай жобалау, құрылымдық бағдарламалау, бағдарламаның дұрыстығы және бағдарламалық жасақтама саласындағы басқа да негізгі идеялар туралы негізгі құжаттар жинағын қамтиды.
  • Лингер және Хевнер (1986), Ақпараттық жүйені талдау және жобалау принциптері, Миллс практикаға спецификация және дизайн математикасын қысқартуды қамтиды

Әдебиеттер тізімі

  1. ^ «Харлан Д. Миллс сыйлығы». IEEE Computer Society. Архивтелген түпнұсқа 2011 жылдың 10 қаңтарында. Алынған 13 сәуір, 2011.
  2. ^ «Харлан Д. Миллс сыйлығының бұрынғы алушылары». IEEE Computer Society. Архивтелген түпнұсқа 2011 жылдың 10 қаңтарында. Алынған 13 сәуір, 2011.

Сыртқы сілтемелер