Новосибирский государственный университет Факультет информационных технологий Современные проблемы информатики и вычислительной техники

Персоны в коллекции "Современные проблемы информатики"

Харлан Миллс

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

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

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

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

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

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

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

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

Федотова Ольга Анатольевна

НГУ ФИТ НГУ ИВТ СО РАН