Publications

Export 7148 results:
[ Author(Desc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Z
Zelkowitz MV.  1990.  A functional correctness model of program verification. Computer. 23(11):30-39.
Zelkowitz MV, Lyle JR.  1981.  Implementation of language enhancements. Computer Languages. 6(3–4):139-153.
Zelkowitz MV.  2012.  What have we learned about software engineering? Communications of the ACM. 55(2):38-39.
Zelkowitz MV, Rus I.  2001.  Understanding IV & V in a safety critical and complex evolutionary environment: the NASA space shuttle program. Proceedings of the 23rd International Conference on Software Engineering. :349-357.
Zelkowitz MV, Wallace D.  1997.  Experimental validation in software engineering. Information and Software Technology. 39(11):735-743.
Zelkowitz MV.  1993.  Role of verification in the software specification process. Advances in computers. 36:43-109.
Zelkowitz MV, Tseng C-W.  2006.  Advances in Computers: Computational Biology and Bioinformatics.
Zelkowitz MV, Tian J.  1994.  Measuring prime program complexity. Information Sciences. 77(3–4):325-350.
Zelkowitz MV, Rus L.  2001.  The role of independent verification and validation in maintaining a safety critical evolutionary software in a complex environment: the NASA Space Shuttle program. Software Maintenance, 2001. Proceedings. IEEE International Conference on. :118-126.
Zelkowitz MV.  1978.  Perspectives in Software Engineering. ACM Comput. Surv.. 10(2):197-216.
Zelkowitz MV, Wallace D.  1998.  Validating the Benefit of New Software Technology. Software Quality Practitioner. 1
Zelkowitz MV, McMullin PR, Merkel KR, Larsen HJ.  1976.  Error checking with pointer variables. Proceedings of the 1976 annual conference. :391-395.
Zelkowitz MV.  1989.  Requirements For a Software Engineering Environment: Proceedings of the University of Maryland Workshop, May 5-8, 1986.
Zelkowitz MV.  1980.  Selected reprints in software: selected reprints from Computer.
Zelkowitz MV, Larsen HJ.  1978.  Implementation of a Capability-Based Data Abstraction. Software Engineering, IEEE Transactions on. SE-4(1):56-64.
Zelkowitz MV, Rus I.  2004.  Defect evolution in a product line environment. Journal of Systems and Software. 70(1–2):143-154.
Zelkowitz MV.  1978.  Productivity measurement on software engineering projects. SIGSOFT Softw. Eng. Notes. 3(4):30-31.
Zelkowitz MV, Wallace DR.  1998.  Experimental models for validating technology. Computer. 31(5):23-31.
Zelkowitz MV.  1973.  Reversible execution. Commun. ACM. 16(9):566–-566–.
Zelkowitz MV.  1984.  A taxonomy of prototype designs. ACM SIGSOFT Software Engineering Notes. 9(5):11-12.
Zelkowitz MV, Cardenas S.  1991.  The role for executable specifications in system maintenance. Information Sciences. 57–58:347-359.
Zelkowitz MV.  1976.  Automatic program analysis and evaluation. Proceedings of the 2nd international conference on Software engineering. :158-163.
Zelkowitz MV.  1987.  Selected reprints in software.
Zelkowitz MV.  2006.  A case study in rapid prototyping. Software: Practice and Experience. 10(12):1037-1042.
Zelkowitz MV, Wallace DR, Binkley DW.  2002.  Impediments to software engineering technology transfer. Journal of Systems and Software. Forthcoming.

Pages