Marvin Victor Zelkowitz (born 7 August 1945) is an American computer scientist and engineer.
Marvin Zelkowitz | |
---|---|
Born | 7 August 1945 |
Nationality | American |
Alma mater | Cornell University |
Known for | programming languages, software engineering |
Scientific career | |
Fields | computer science |
Institutions | U. of Maryland, College Park UMIACS[1] Fraunhofer Mid-Atlantic[2] |
Thesis | Reversible Execution as a Diagnostic Tool (1971) |
Zelkowitz earned a degree in mathematics from Rensselaer Polytechnic Institute in 1967 and a master's degree and doctorate[3] in computer science at Cornell University in 1969 and 1971, respectively. He then taught at the University of Maryland, College Park. While holding a professorship within the Department of Computer Science[4] and the University of Maryland Institute for Advanced Computer Studies (UMIACS),[1] he was also affiliated with the Fraunhofer Center for Experimental Software Engineering, since renamed The Fraunhofer USA Center Mid-Atlantic (CMA).[2] He is now Professor Emeritus, having retired in 2007.
His early research (1968-early 1980s) was in programming languages. He worked on implementation of programming language features to aid in program development and debugging as well as ways to implement tests for runtime correctness of executable code.[3][5][6]
His later research dealt with software engineering practices by looking at developing methods for improving the process of software development.[7] [8]
The years 2003-2009 were devoted to applying these experimental testing results to the field of High-performance computing.[9]
Zelkowitz served as editor of the series Advances in Computers for Academic Press (vols 41-56; 1995-2002) and later Elsevier (vols. 57-74; 2003-2008)[10]
Since 1994, Zelkowitz has been active in scientific skepticism as Board member and at times Secretary, Treasurer, and President of the National Capital Area Skeptics. NCAS was founded in 1987 in the Washington, D.C., Maryland and Virginia area and is an advocate for science and reason, actively promoting the scientific method, rational inquiry, and education.[11]
Awards
edit- Charter Member, IEEE Computer Society Golden Core[12] (1996)
- Fellow, IEEE Computer Society,[13] for contributions towards the development of practical programming environment for effective software development (1997)
- Distinguished Service Award, ACM SigSoft[14] (2000)
Books
edit- PL/I Programming with PLUM[15] (1976)
- Software Specifications: A comparison of formal methods[16] (1979)
- Programming Languages: Design and Implementation (Third Edition)[17] (1996)
- Foundations of Empirical Software Engineering: The Legacy of Victor R .Basili[18] (2005)
- The Golden Age of Computer Technology: Through the Eyes of an Aging Geek[19] (2020)
Selected publications
edit- Interrupt Driven Programming[20] (1971)
- Reversible Execution[5] (1973)
- Optimization of Structured Programs[21] (1974)
- Perspectives on software engineering[22] (1978)
- A case study in rapid prototyping[23] (1980)
- Implementation of language enhancements[6] (1981)
- Software engineering practices in the United States and Japan[7] (1984)
- A functional correctness model of program verification[24] (1990)
- The role for executable specifications in system maintenance[25] (1991)
- SEL's software process-improvement program[26] (1995)
- Software Engineering technology infusion within NASA[27] (1996)
- Experimental models for validating computer technology[28] (1998)
- A web-based tool for data analysis and presentation[29] (1998)
- Software process improvement in small organizations: A case study[30] (2005)
- Understanding the high-performance computing community: A software engineer’s perspective[9] (2008)
References
edit- ^ a b "Marv Zelkowitz". UMIACS. Retrieved 2022-09-18.
- ^ a b "Fraunhofer USA Center Mid-Atlantic CMA". Fraunhofer USA.
- ^ a b "Ph.D. Alumni". Computer Science, Cornell University. 1971. Retrieved 2022-09-17.
- ^ "Marvin Zelkowitz". University of Maryland Department of Computer Science. Retrieved 13 May 2022.
- ^ a b — (September 1973). "Reversible execution". CACM. 16 (9): 566–566. doi:10.1145/362342.362360.
- ^ a b — (January 1981). "Implementation of language enhancements". Computer Languages. 6 (3–4): 139–153. doi:10.1016/0096-0551(81)90026-6.
- ^ a b —; Yeh, R.T.; Hamlet, R.G.; Gannon, J.D.; Basili, V.R. (June 1984). "Software Engineering Practices in the US and Japan". Computer. 17 (6): 57–66. doi:10.1109/MC.1984.1659162. S2CID 1557487. Retrieved 2022-09-18.
- ^ Basili, V.R.; —; McGarry, F.; Page, J.; Waligora, S.; Pajerski, R. (November 1995). "SEL's software process improvement program". IEEE Software. 12 (6): 83–87. doi:10.1109/52.469763. Retrieved 2022-09-18.
- ^ a b Basili, V.R.; Carver, J.C.; Cruzes, D.; Hochstein, L.; Hollingsworth, J.K..; Shull, F.; — (July 2008). "Understanding the High-Performance-Computing Community: A Software Engineer's Perspective" (PDF). IEEE Software. 25 (4): 29–36. doi:10.1109/MS.2008.103. S2CID 3731515. Retrieved 2022-09-18.
- ^ Zelkowitz, Marvin V. (ed.). "Advances in Computers". Elsevier. Retrieved 2022-09-19.
- ^ "National Capital Area Skeptics". Retrieved 2022-09-17.
- ^ "Golden Core Recognition". IEEE Computer Society. 4 April 2018. Retrieved 2022-09-17.
- ^ "IEEE Fellows Directory". IEEE. Retrieved 2022-09-17.
- ^ "Distinguished Service Award". ACM SIGSOFT. Retrieved 2022-09-17.
- ^ — (1976). PL/I Programming with PLUM. Paladin House Publishers, Geneva, Ill.
- ^ Gannon, J.D.; Purtilo, J.M.; — (1994). Software Specifications: A comparison of formal methods. Ablex Publishing Co., Norwood, NJ. p. 249. Retrieved 2022-09-19.
- ^ Pratt, T.; — (1996). Programming Languages: Design and Implementation. Prentice Hall, Upper Saddle River, NJ. p. 669. ISBN 978-0-13-678012-0. Retrieved 2022-09-19.
- ^ Boehm, B.; Rombach, H.D.; —, eds. (2005). Foundations of Empirical Software Engineering: The Legacy of Victor R .Basili. Springer Berlin Heidelberg New York. Retrieved 2022-09-19.
- ^ — (2020). The Golden Age of Computer Technology: Through the Eyes of an Aging Geek. p. 324. Retrieved 2022-09-19.
- ^ — (June 1971). "Interrupt Driven Programming". CACM. 14 (6): 417–418. doi:10.1145/362604.362618. hdl:1813/5936.
- ^ —; Bail, William G. (January 1974). "Optimization of Structured Programs". Software: Practice and Experience. 4 (1): 51–57. doi:10.1002/spe.4380040106. S2CID 43233171.
- ^ — (June 1978). "Perspectives on software engineering". ACM Computing Surveys. 10 (12): 197–216. doi:10.1145/356725.356731.
- ^ — (December 1980). "A case study in rapid prototyping". Software: Practice and Experience. 10 (12): 1037–1042. doi:10.1002/spe.4380101209. S2CID 206507919.
- ^ — (November 1990). "A functional correctness model of program verification". IEEE Computer. 23 (11): 30–39. doi:10.1109/2.60878. S2CID 8408684.
- ^ —; Cárdenas, Sergio (September 1991). "The role for executable specifications in system maintenance". Information Science. 57: 347–359. doi:10.1016/0020-0255(91)90086-A.
- ^ Basili, V.; —; McGarry, F.; Page, J.; Waligora, S.; Pajerski, R. (August 1996). "SEL's software process-improvement program". IEEE Software. 12 (6): 83–87. doi:10.1109/52.469763.
- ^ — (August 1996). "Software engineering technology infusion within NASA". IEEE Transactions on Engineering Management. 43 (3): 250–261. doi:10.1109/17.511836.
- ^ —; Wallace, D. (May 1998). "Experimental models for validating computer technology". IEEE Computer. 31 (5): 23–31. doi:10.1109/2.675630.
- ^ —; Tesoriero, R. (September 1998). "A web-based tool for data analysis and presentation". IEEE Internet Computing. 2 (5): 63–69. doi:10.1109/4236.722232.
- ^ Dangle, K.C.; Larsen, P.; Shaw, M.; — (November 2005). "Software process improvement in small organizations: A case study". IEEE Software. 22 (6): 68–75. doi:10.1109/MS.2005.162. S2CID 8736088.