Новосибирский государственный университет

Факультет информационных технологий

ICT SBRAS

История информатики в лицах

Харлан Миллс

14 мая 1919 — 8 января 1996

[Миллс]

Основные достижения:

Харлан Миллс (Harlan D. Mills) - один из авторов структурного подхода к программированию.

Основные работы по теории автоматов, теории структурного программирования Дейкстры (Edsger Dijkstra) и Флойда (Robert W. Floyd), исследование цепей А. А. Маркова .

Краткая биография:

Харлан Д. Миллс получил широкое признание за вклад в качестве математика, занимающегося разработкой программного обеспечения. На момент его смерти в 1996 году он был директором Института информационных систем в Веро-Бич, штат Флорида. Ранее он работал в IBM с 1964 по 1987 год. В IBM он занимал должность директора по разработке программного обеспечения и технологий и был членом Корпоративного технического комитета IBM. Харлан Миллс преподавал в Университетах штата Мэриленд, штата Айова, Принстон, Джона Хопкинса и Нью-Йорк.

Миллс считал, что программы это правила для работы с математическими функциями. Он применил поэтапную разработку и статистическую теорию к тестированию программного обеспечения, что привело к технологии статистических испытаний их использования и обоснованию сертификации качества программ. Он создал интеграцию математических и статистических принципов и инженерных технологий, что привело к созданию безошибочного программного обеспечения.
Ключевые слова:  структурное программирование;   история ИТ;   теория автоматов;   цепи Маркова;


Контекстный поиск: Задайте образец для поиска:
    

|А.М.Федотов| |Преподавание| |Современные проблемы информатики| |Информатика| |Ключевые термины| |Персоны|

Федотова Ольга Анатольевна
[SBRAS]
НГУ
ФИТ НГУ
ИВТ СО РАН
© 2007-2024, Новосибирский государственный университет, Новосибирск
© 1998-2024, Институт вычислительных технологий СО РАН, Новосибирск
© 1998-2024, Федотов А.М.
    Дата последней модификации: 02.02.2014