La ejecución reversible como herramienta de diagnóstico (1971)
Marvin Victor Zelkowitz (nacido el 7 de agosto de 1945) es un científico informático e ingeniero estadounidense.
Zelkowitz obtuvo una licenciatura en matemáticas en el Instituto Politécnico Rensselaer en 1967 y una maestría y un doctorado [3] en informática en la Universidad de Cornell en 1969 y 1971, respectivamente. Luego enseñó en la Universidad de Maryland, College Park . Mientras ocupaba una cátedra en el Departamento de Informática [4] y en el Instituto de Estudios Informáticos Avanzados de la Universidad de Maryland (UMIACS), [1] también estuvo afiliado al Centro Fraunhofer de Ingeniería de Software Experimental, que desde entonces pasó a llamarse Centro Fraunhofer USA Mid-Atlantic (CMA). [2] Actualmente es profesor emérito, tras jubilarse en 2007.
Sus primeras investigaciones (1968-principios de los años 1980) se centraron en los lenguajes de programación. Trabajó en la implementación de características de los lenguajes de programación para ayudar en el desarrollo y la depuración de programas, así como en formas de implementar pruebas para la corrección en tiempo de ejecución del código ejecutable. [3] [5] [6]
Sus investigaciones posteriores se centraron en las prácticas de ingeniería de software, buscando desarrollar métodos para mejorar el proceso de desarrollo de software. [7] [8]
Los años 2003-2009 se dedicaron a aplicar estos resultados de pruebas experimentales al campo de la computación de alto rendimiento . [9]
Zelkowitz trabajó como editor de la serie Advances in Computers para Academic Press (vols. 41-56; 1995-2002) y posteriormente para Elsevier (vols. 57-74; 2003-2008) [10].
Desde 1994, Zelkowitz ha participado activamente en el escepticismo científico como miembro de la Junta Directiva y, en ocasiones, como Secretario, Tesorero y Presidente de la Asociación Nacional de Escépticos del Área de la Capital. La Asociación Nacional de Escépticos del Área de la Capital se fundó en 1987 en el área de Washington, DC, Maryland y Virginia y es un defensor de la ciencia y la razón, promoviendo activamente el método científico, la investigación racional y la educación. [11]
Miembro de la IEEE Computer Society, [13] por sus contribuciones al desarrollo de un entorno de programación práctico para el desarrollo eficaz de software (1997)
Premio al Servicio Distinguido, ACM SigSoft [14] (2000)
Libros
Programación PL/I con PLUM [15] (1976)
Especificaciones de software: una comparación de métodos formales [16] (1979)
Lenguajes de programación: diseño e implementación (tercera edición) [17] (1996)
Fundamentos de la ingeniería de software empírica: el legado de Victor R. Basili [18] (2005)
La edad de oro de la tecnología informática: a través de los ojos de un geek envejecido [19] (2020)
Publicaciones seleccionadas
Programación basada en interrupciones [20] (1971)
Ejecución reversible [5] (1973)
Optimización de programas estructurados [21] (1974)
Perspectivas sobre la ingeniería de software [22] (1978)
Un estudio de caso sobre creación rápida de prototipos [23] (1980)
Implementación de mejoras del lenguaje [6] (1981)
Prácticas de ingeniería de software en Estados Unidos y Japón [7] (1984)
Un modelo de corrección funcional de la verificación de programas [24] (1990)
El papel de las especificaciones ejecutables en el mantenimiento del sistema [25] (1991)
Programa de mejora de procesos de software de SEL [26] (1995)
Infusión de tecnología de ingeniería de software dentro de la NASA [27] (1996)
Modelos experimentales para validar la tecnología informática [28] (1998)
Una herramienta basada en la web para el análisis y presentación de datos [29] (1998)
Mejora de procesos de software en pequeñas organizaciones: un estudio de caso [30] (2005)
Comprender la comunidad de computación de alto rendimiento: la perspectiva de un ingeniero de software [9] (2008)
Referencias
^ ab "Marv Zelkowitz". UMIACS . Consultado el 18 de septiembre de 2022 .
^ ab "Centro Fraunhofer USA CMA del Atlántico Medio". Fraunhofer USA.
^ ab "Ph.D. Alumni". Ciencias de la Computación, Universidad de Cornell . 1971. Consultado el 17 de septiembre de 2022 .
^ "Marvin Zelkowitz". Departamento de Ciencias de la Computación de la Universidad de Maryland . Consultado el 13 de mayo de 2022 .
^ ab — (septiembre de 1973). "Ejecución reversible". CACM . 16 (9): 566–566. doi : 10.1145/362342.362360 .
^ ab — (enero de 1981). "Implementación de mejoras del lenguaje". Lenguajes informáticos . 6 (3–4): 139–153. doi :10.1016/0096-0551(81)90026-6.
^ ab —; Yeh, RT; Hamlet, RG; Gannon, JD; Basili, VR (junio de 1984). "Prácticas de ingeniería de software en los EE. UU. y Japón". Computadora . 17 (6): 57–66. doi :10.1109/MC.1984.1659162. S2CID 1557487 . Consultado el 18 de septiembre de 2022 .
^ Basili, VR; —; McGarry, F.; Page, J.; Waligora, S.; Pajerski, R. (noviembre de 1995). "Programa de mejora de procesos de software de SEL". IEEE Software . 12 (6): 83–87. doi :10.1109/52.469763 . Consultado el 18 de septiembre de 2022 .
^ ab Basili, VR; Carver, JC; Cruzes, D.; Hochstein, L.; Hollingsworth, JK.; Shull, F.; — (julio de 2008). "Entender la comunidad de computación de alto rendimiento: la perspectiva de un ingeniero de software" (PDF) . IEEE Software . 25 (4): 29–36. doi :10.1109/MS.2008.103. S2CID 3731515 . Consultado el 18 de septiembre de 2022 .
^ Zelkowitz, Marvin V. (ed.). "Avances en informática". Elsevier . Consultado el 19 de septiembre de 2022 .
^ "Escépticos del Área de la Capital Nacional" . Consultado el 17 de septiembre de 2022 .
^ "Reconocimiento Golden Core". IEEE Computer Society . 4 de abril de 2018. Consultado el 17 de septiembre de 2022 .
^ "Directorio de becarios del IEEE". IEEE . Consultado el 17 de septiembre de 2022 .
^ "Premio al Servicio Distinguido". ACM SIGSOFT . Consultado el 17 de septiembre de 2022 .
^ — (1976). Programación PL/I con PLUM. Paladin House Publishers, Ginebra, Ill.
^ Gannon, JD; Purtilo, JM; — (1994). Especificaciones de software: una comparación de métodos formales. Ablex Publishing Co., Norwood, NJ. p. 249. Consultado el 19 de septiembre de 2022 .
^ Pratt, T.; — (1996). Lenguajes de programación: diseño e implementación. Prentice Hall, Upper Saddle River, NJ. p. 669. ISBN978-0-13-678012-0. Consultado el 19 de septiembre de 2022 .
^ Boehm, B.; Rombach, HD; —, eds. (2005). Fundamentos de la ingeniería de software empírica: el legado de Victor R. Basili. Springer Berlin Heidelberg Nueva York . Consultado el 19 de septiembre de 2022 .
^ — (2020). La era dorada de la tecnología informática: a través de los ojos de un geek que envejece. p. 324. Consultado el 19 de septiembre de 2022 .
^ — (junio de 1971). "Programación basada en interrupciones". CACM . 14 (6): 417–418. doi : 10.1145/362604.362618 . hdl : 1813/5936 .
^ —; Bail, William G. (enero de 1974). "Optimización de programas estructurados". Software: práctica y experiencia . 4 (1): 51–57. doi :10.1002/spe.4380040106. S2CID 43233171.
^ — (junio de 1978). "Perspectivas sobre ingeniería de software". ACM Computing Surveys . 10 (12): 197–216. doi : 10.1145/356725.356731 .
^ — (Diciembre de 1980). "Un estudio de caso sobre prototipado rápido". Software: práctica y experiencia . 10 (12): 1037–1042. doi :10.1002/spe.4380101209. S2CID 206507919.
^ — (noviembre de 1990). "Un modelo de corrección funcional de la verificación de programas". IEEE Computer . 23 (11): 30–39. doi :10.1109/2.60878. S2CID 8408684.
^ —; Cárdenas, Sergio (septiembre de 1991). "El papel de las especificaciones ejecutables en el mantenimiento de sistemas". Information Science . 57 : 347–359. doi :10.1016/0020-0255(91)90086-A.
^ Basili, V.; —; McGarry, F.; Page, J.; Waligora, S.; Pajerski, R. (agosto de 1996). "Programa de mejora de procesos de software de SEL". IEEE Software . 12 (6): 83–87. doi :10.1109/52.469763.
^ — (Agosto de 1996). "Infusión de tecnología de ingeniería de software en la NASA". IEEE Transactions on Engineering Management . 43 (3): 250–261. doi :10.1109/17.511836.
^ —; Wallace, D. (mayo de 1998). "Modelos experimentales para validar tecnología informática". IEEE Computer . 31 (5): 23–31. doi :10.1109/2.675630.
^ —; Tesoriero, R. (septiembre de 1998). "Una herramienta basada en la web para el análisis y presentación de datos". IEEE Internet Computing . 2 (5): 63–69. doi :10.1109/4236.722232.
^ Dangle, KC; Larsen, P.; Shaw, M.; — (noviembre de 2005). "Mejora de procesos de software en pequeñas organizaciones: un estudio de caso". IEEE Software . 22 (6): 68–75. doi :10.1109/MS.2005.162. S2CID 8736088.
Este artículo biográfico sobre un especialista en informática de los Estados Unidos es un esbozo . Puedes ayudar a Wikipedia expandiéndolo.