Harlan D. Mills (14 de mayo de 1919 – 8 de enero de 1996) fue profesor de informática en el Instituto de Tecnología de Florida y fundador de Software Engineering Technology, Inc. de Vero Beach , Florida (posteriormente adquirida por Q-Labs). Las contribuciones de Mills a la ingeniería de software han tenido un efecto profundo y duradero en la educación y la práctica industrial. Desde que obtuvo su doctorado en Matemáticas en la Universidad Estatal de Iowa en 1952, Mills llevó a cabo una distinguida carrera.
Como investigador de IBM , Mills adaptó ideas existentes de ingeniería y ciencias de la computación al desarrollo de software. Estas incluían la teoría de autómatas , la teoría de programación estructurada de Edsger Dijkstra , Robert W. Floyd y otros, y las pruebas de software impulsadas por cadenas de Markov . Su proceso de desarrollo de software Cleanroom enfatizaba el diseño de arriba hacia abajo y la especificación formal . Mills aportó sus ideas a la profesión en seis libros y más de cincuenta artículos arbitrados en revistas técnicas.
A Mills se le denominó "superprogramador", término que evolucionaría en IBM hasta convertirse en el concepto de " programador jefe ".
El coloquio afiliado a la ICSE "Ciencia e ingeniería para el desarrollo de software" se está organizando en honor a Harlan D. Mills y como reconocimiento a su perdurable legado a la teoría y la práctica de la ingeniería de software. El coloquio afiliado a la ICSE "Ciencia e ingeniería para el desarrollo de software" se estaba organizando en honor a Harlan D. Mills (1919-1996) y como reconocimiento a su perdurable legado a la teoría y la práctica de la ingeniería de software. El primer premio anual "Harlan Mills Practical Visionary Prize" se entregó en 1996. Este premio se otorga a una persona que haya demostrado una contribución duradera y significativa tanto a la teoría como a la práctica de las ciencias de la información.
Nació en Liberty Center, Iowa . De joven, Mills estudió arte con Grant Wood . Durante la Segunda Guerra Mundial , Mills se convirtió en piloto de bombarderos del Cuerpo Aéreo del Ejército de los EE. UU . Sus habilidades para volar y enseñar eran tales que, en lugar de que volara en misiones, el Ejército lo asignó para entrenar a otros pilotos.
Mills trabajó en las facultades de la Universidad Estatal de Iowa , las universidades de Princeton , Nueva York y Johns Hopkins , las universidades de Maryland y Florida, y el Instituto Tecnológico de Florida (FIT). En Johns Hopkins y Maryland, inició uno de los primeros cursos universitarios estadounidenses en programación estructurada. En Maryland, desarrolló una nueva introducción de dos semestres para estudiantes de primer año a la informática y el libro de texto " Principios de programación informática: un enfoque matemático " con los coautores Basili, Gannon y Hamlet. En FIT, desarrolló un nuevo plan de estudios para estudiantes de primer y segundo año de ingeniería de software utilizando Ada como lenguaje subyacente con sus colegas Engle y Newman.
Mills fue miembro de IBM Fellow y del Comité Técnico Corporativo de IBM, miembro del personal técnico de GE y RCA, y presidente de Mathematica y Software Engineering Technology. En GE, desarrolló un programa de estudios de tres meses sobre ciencias de la gestión al que asistieron cientos de ejecutivos de GE. En IBM, fue el arquitecto principal del Instituto de Ingeniería de Software de IBM, donde miles de empleados de software de IBM recibieron formación sobre los fundamentos matemáticos del software. Más tarde, incorporó los principios matemáticos y estadísticos del software en el proceso de ingeniería de software Cleanroom. Como fundador de Software Engineering Technology, creó una empresa para la transferencia de tecnología Cleanroom.
Mills tenía un interés permanente en fomentar prácticas sólidas de ingeniería de software a través de programas federales. Durante el período de formación del Programa DARPA STARS del Departamento de Defensa en la década de 1980, proporcionó conceptos fundamentales para el desarrollo de software de alta calidad con alta productividad. En 1986, se desempeñó como presidente del Panel de Ciencias de la Computación para el Consejo Asesor Científico de la Fuerza Aérea de los EE. UU. Durante 1974-77, fue presidente del Panel de Investigación de Ciencias de la Computación de la NSF sobre Metodología del Software.
Mills fue miembro del comité de programa y orador invitado en muchas conferencias profesionales, y árbitro de muchas revistas de matemáticas y ciencias de la computación. De 1980 a 1983, fue gobernador de la IEEE Computer Society. En 1981, fue presidente de IEEE Fall CompCon. Durante 1975-81, se desempeñó como editor de IEEE Transactions on Software Engineering. En 1977, fue el representante de software de EE. UU. en el Congreso IFIP. En 1975, fue presidente de la Primera Conferencia Nacional sobre Ingeniería de Software.
Para honrar a Mills, la IEEE Computer Society creó el Premio Harlan D. Mills , el primero otorgado en 1999, por "contribuciones a la teoría y la práctica de las ciencias de la información , [centradas en] la ingeniería de software ". [2] [3] La lista de premiados se mantiene en el sitio web de IEEE. [2]