Publications

Search
Export 7147 results:
[ Author(Asc)] 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, Basili VR, Asgari S, Hochstein L, Hollingsworth J, Nakamura T.  2005.  Measuring productivity on high performance computers. 11th IEEE International Symposium on Software Metric.
Zelkowitz MV, Buckley FJ.  1992.  Standards-are software engineering process standards really necessary? Computer. 25(11):82-84.
Zelkowitz MV.  2006.  PIT: A macro‐implemented implementation language. Software: Practice and Experience. 2(4):337-346.
Zelkowitz MV, Lyle JR.  1981.  Implementation of language enhancements. Computer Languages. 6(3–4):139-153.
Zelkowitz MV, Yeh RT, Hamlet RG, Gannon JD, Basili VR.  1984.  Software Engineering Practices in the US and Japan. Computer. 17(6):57-66.
Zelkowitz MV.  1990.  A functional correctness model of program verification. Computer. 23(11):30-39.
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, Larsen HJ.  1978.  Implementation of a Capability-Based Data Abstraction. Software Engineering, IEEE Transactions on. SE-4(1):56-64.
Zelkowitz MV.  1980.  Selected reprints in software: selected reprints from Computer.
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.

Pages