Marv Zelkowitz
Professor Emeritus
2160 Iribe Center
(301) 405-2690
Education:
Ph.D., Cornell University (Computer Science)
Special Awards/Honors:
IEEE Fellow
Biography:
Marvin Zelkowitz is a professor emeritus of computer science in the University of Maryland Institute for Advanced Computer Studies.
He studies technology transfer, examining how organizations like NASA develop and adopt new technologies. Zelkowitz’s research in cybersecurity highlights the importance of correctly implementing standard algorithms and addressing security issues arising from poor programming practices.
Go here to view Zelkowitz's academic publications.
Publications
1991
1991. A management tool for evaluation of software design. Software Engineering, IEEE Transactions on. 17(9):961-971.
1991. The role for executable specifications in system maintenance. Information Sciences. 57–58:347-359.
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. Program complexity using Hierarchical Abstract Computers. Computer Languages. 13(3–4):109-123.
1988. Resource utilization during software development. Journal of Systems and Software. 8(4):331-336.
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. 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.
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.
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–.