Harlan Mills
Harlan D. Mills (14 de mayo de 1919 - 8 de enero de 1996) fue profesor de Ciencias de la Computación en el Instituto de Tecnología de Florida y fundador de Software Engineering Technology, Inc. de Vero Beach, Florida. (desde adquirido por Q-Labs). Molinos' Las contribuciones 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. Mills obtuvo su doctorado en Matemáticas en la Universidad Estatal de Iowa en 1952 y tuvo una carrera distinguida.
Como investigador de IBM, Mills adaptó ideas existentes de ingeniería e informática al desarrollo de software. Estos incluían la teoría de los autómatas, la teoría de la 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 para salas blancas hacía hincapié en el diseño de arriba hacia abajo y las especificaciones formales. Mills aportó sus ideas a la profesión en seis libros y más de cincuenta artículos arbitrados en revistas técnicas.
Mills fue denominado "superprogramador", término que evolucionaría hasta convertirse en IBM en el concepto de "programador jefe".
Logros
- Doctorado: Universidad Estatal de Iowa, 1952
- Profesor visitante (Tiempo parcial) 1975-1987
- Profesor adjunto, 1987-1995
- Chairman, NSF Computer Science Research Panel on Software Methodology, 1974–77
- Presidente de la Primera Conferencia Nacional de Ingeniería de Software, 1975
- Editor para transacciones de IEEE en ingeniería de software, 1975–81
- U.S. Representative for Software at the IFIP Congress, 1977
- Gobernador de la Sociedad de Computación IEEE, 1980–83
- Presidente de IEEE Fall CompCon, 1981
- Chairman, Computer Science Panel, U.S. Air Force Scientific Advisory Board, 1986
- Awardee, Distinguished Information Sciences Award, DPMA 1985
- Designer of initial NFL scheduling algoritmo (http://trace.tennessee.edu/utk_harlan/407/)
- Recipiente of ACM SIGSOFT Outstanding Research Award, 1999.
El coloquio afiliado a ICSE "Ciencia e ingeniería para el desarrollo de software" se organiza en honor a Harlan D. Mills y como reconocimiento a su legado duradero en la teoría y la práctica de la ingeniería de software. El coloquio afiliado a ICSE "Ciencia e ingeniería para el desarrollo de software" se organizó en honor a Harlan D. Mills (1919-1996) y como reconocimiento a su legado duradero en la teoría y la práctica de la ingeniería de software. El primer "Premio Visionario Práctico Harlan Mills" El premio se presentó en 1996. Este premio se otorga a una persona que ha demostrado una contribución significativa y duradera tanto a la teoría como a la práctica de las ciencias de la información.
Carrera
Vida temprana
Nació en Liberty Center, Iowa. Cuando era joven, Mills estudió arte con Grant Wood. Durante la Segunda Guerra Mundial, Mills se convirtió en piloto de bombarderos en el Cuerpo Aéreo del Ejército de EE. UU. Sus habilidades para volar y enseñar eran tales que, en lugar de enviarlo a volar misiones, el Ejército lo asignó para entrenar a otros pilotos.
Educación
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 de Tecnología de Florida (FIT). En Johns Hopkins y Maryland, inició uno de los primeros cursos universitarios estadounidenses sobre programación estructurada. En Maryland, desarrolló una nueva introducción a las ciencias de la computación para estudiantes de primer año de dos semestres y un 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.
Industria
Mills fue miembro de IBM y miembro del Comité Técnico Corporativo de IBM, miembro del personal técnico de GE y RCA, y presidente de Mathematica y Tecnología de Ingeniería de Software. En GE, desarrolló un plan de estudios de tres meses en ciencias de la gestión al que asistieron cientos de ejecutivos de GE. En IBM, fue el arquitecto principal del IBM Software Engineering Institute, donde miles de empleados de software de IBM recibieron capacitación en 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 de sala limpia. Como fundador de Software Engineering Technology, creó una empresa para la transferencia de tecnología de Salas Limpias.
Nación
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 de la Junta Asesora Científica de la Fuerza Aérea de EE. UU. Durante 1974-77, fue presidente del Panel de Investigación en Ciencias de la Computación de la NSF sobre Metodología de Software.
Profesión
Mills fue miembro del comité de programa y orador invitado en muchas conferencias profesionales, y árbitro en muchas matemáticas y revistas de informática. 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 Representante de Software de Estados Unidos en el Congreso IFIP. En 1975, fue presidente de la Primera Conferencia Nacional de Ingeniería de Software.
Premio Harlan D. Mills
Para honrar a Mills, la IEEE Computer Society creó el Premio Harlan D. Mills, el primero presentado en 1999, por "contribuciones a la teoría y la práctica de las ciencias de la información, [centradas en] ingeniería de software". La lista de premiados se mantiene en el sitio web del IEEE.
- 1999 David Parnas
- 2000 Barry Boehm
- 2001 Manny Lehman
- 2002 Jesse H. Poore
- 2003 Victor Basili
- 2004 Elaine Weyuker
- 2006 John C. Knight
- 2007 Bev Littlewood
- 2009 Bertrand Meyer
- 2011 John Rushby
- 2012 Lionel Briand
- 2014 Patrick Cousot y Radhia Cousot
- 2015 Gerard J. Holzmann
- 2016 Wolfram Schulte
- 2017 Pamela Zave
- 2018 Gail C. Murphy
- 2019 Mark Harman
- 2020 Nachiappan Nagappan
- 2021 Dieter Rombach
- 2022 Matthew B. Dwyer
- 2023 David Harel