Marv Zelkowitz

Professor Emeritus
2160 Iribe Center
(301) 405-2690
Research Group(s):
Education:
Ph.D., Cornell University (Computer Science)
Special Awards/Honors:
IEEE Fellow
Biography:
Marvin Zelkowitz is a professor emeritus in the Department of Computer Science.
He is a senior research fellow at the Fraunhofer Center for Experimental Software Engineering.
Zelkowitz has received numerous awards for his work, including the ACM Service Award in 1997 and 2004, the ACM SIGSOFT Distinguished Service Award in 2000, the IEEE Computer Society Golden Core member award in 1996, a certificate of appreciation from the National Institute of Standards (NIST) in 1981 and 1995, and a certificate of appreciation from the IEEE Computer Society in 1980, 1992 and 1999. He was also named a IEEE fellow in 1997.
Zelkowitz received his doctorate in computer science from Cornell University.
Go here to view Zelkowitz's academic publications.
Publications
1991
1991. The role for executable specifications in system maintenance. Information Sciences. 57–58:347-359.
1991. A management tool for evaluation of software design. Software Engineering, IEEE Transactions on. 17(9):961-971.
1990
1990. A functional correctness model of program verification. Computer. 23(11):30-39.
1990. Evaluation criteria for functional specifications. Proceedings of the 12th international conference on Software engineering. :26-33.
1989
1989. A support tool for teaching computer programming. Issues in software engineering educationIssues in software engineering education. :139-167.
1989. Experiences building a syntax-directed editor. Software Engineering Journal. 4(6):294-294.
1988
1988. Resource utilization during software development. Journal of Systems and Software. 8(4):331-336.
1988. Program complexity using Hierarchical Abstract Computers. Computer Languages. 13(3–4):109-123.
1987
1987. Two implementation models of abstract data types. Computer Languages. 12(1):21-25.
1985
1985. The Engineering of an Environment on Small Machines. Proceedings of the IEEE 1st International Conference on Computer Workstations. :61-69.
1984
1984. Data collection and evaluation for experimental computer science research. Information Processing & Management. 20(1–2):269-276.
1984. Software Engineering Practices in the US and Japan. Computer. 17(6):57-66.
1984. A taxonomy of prototype designs. ACM SIGSOFT Software Engineering Notes. 9(5):11-12.
1984. Monitoring an Ada software development. ACM SIG Ada Letters. IV(1):32-39.
1983
1983. The Software Industry: A State of the Art Survey. Foundations of Empirical Software Engineering: The Legacy of Victor R. Basili. 1:383-383.
1981
1981. Implementation of language enhancements. Computer Languages. 6(3–4):139-153.
1981. Use of cluster analysis to evaluate software engineering methodologies. Proceedings of the 5th international conference on Software engineering. :117-123.
1980
1980. Advances in software engineering resource estimation. Advances in computer programming management. 1:206-225.
1979
1979. Measuring software development characteristics in the local environment. Computers & Structures. 10(1–2):39-43.
1979. Surveyor's Forum: A Question of Transition. ACM Computing Surveys (CSUR). 11(4):411-412.
1979. Resource estimation for medium-scale software projects. Twelfth Conference on the Interface of Statistics and Computer Science, by IEEE Computer Society. :267-272.
1978
1978. Operation of the Software Engineering Laboratory. Proceedings of the Second US Army/IEEE Software Life Cycle Management Workshop. New York: Computer Societies Press.
1978. Analyzing medium-scale software development. Proceedings of the 3rd international conference on Software engineering. :116-123.
1978. Perspectives in Software Engineering. ACM Comput. Surv.. 10(2):197-216.
1978. Implementation of a Capability-Based Data Abstraction. Software Engineering, IEEE Transactions on. SE-4(1):56-64.
1978. Productivity measurement on software engineering projects. SIGSOFT Softw. Eng. Notes. 3(4):30-31.
1977
1977. The software engineering laboratory: Objectives. Proceedings of the fifteenth annual SIGCPR conference. :256-269.
1977. Effects of structured programming on PL/I programmers. Software: Practice and Experience. 7(6):793-795.
1976
1976. Automatic program analysis and evaluation. Proceedings of the 2nd international conference on Software engineering. :158-163.
1976. PL/I Programming with PLUM.
1976. Error checking with pointer variables. Proceedings of the 1976 annual conference. :391-395.
1975
1975. Third generation compiler design. Proceedings of the 1975 annual conference. :253-258.
1974
1974. Interactive PL/1. SIGPLAN Not.. 9(9):29-32.
1974. It is not time to define "structured programming". SIGOPS Oper. Syst. Rev.. 8(2):7-8.
1973
1973. Reversible execution. Commun. ACM. 16(9):566–-566–.