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

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

Современные проблемы информатики и вычислительной техники

ICT SBRAS
А.М.Федотов

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

Харлан Миллс
14 мая 1919 — 8 января 1996

[Миллс]

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

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

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

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

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

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

Ключевые термины:  структурное программирование;   история ИТ;   теория автоматов;   цепи Маркова;


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

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

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