Publications

Export 7148 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.  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, Tian J.  1994.  Measuring prime program complexity. Information Sciences. 77(3–4):325-350.
Zelkowitz MV, Tseng C-W.  2006.  Advances in Computers: Computational Biology and Bioinformatics.
Zelkowitz MV.  1978.  Perspectives in Software Engineering. ACM Comput. Surv.. 10(2):197-216.
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.  1989.  Requirements For a Software Engineering Environment: Proceedings of the University of Maryland Workshop, May 5-8, 1986.
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, 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.
Zazworka N, Basili VR, Shull F.  2009.  Tool supported detection and judgment of nonconformance in process execution. Empirical Software Engineering and Measurement, 2009. ESEM 2009. 3rd International Symposium on. :312-323.
Zazworka N, Stapel K, Knauss E, Shull F, Basili VR, Schneider K.  2010.  Are developers complying with the process: an XP study. Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement. :14:1–14:10-14:1–14:10.
Zavorin I, O’Leary DP, Elman H.  2003.  Complete stagnation of GMRES. Linear Algebra and its Applications. 367:165-183.
Zavorin I, O'Leary DP, Elman H.  2003.  Complete stagnation of. Linear Algebra and its Applications. 367:165-183.
Zaphiris P, Shneiderman B, Norman KL.  2002.  Expandable indexes vs. sequential menus for searching hierarchies on the World Wide Web. Behaviour & Information Technology. 21(3):201-207.
Zandifar A, Duraiswami R, Davis LS.  2005.  A video-based framework for the analysis of presentations/posters. International Journal on Document Analysis and Recognition. 7(2):178-187.
Zandifar A, Lim S, Duraiswami R, Gumerov NA, Davis LS.  2004.  Multi-level fast multipole method for thin plate spline evaluation. Image Processing, 2004. ICIP '04. 2004 International Conference on. 3:1683-1686Vol.3-1683-1686Vol.3.
Zaki GF, Plishker W, Bhattacharyya SS, Clancy C, Kuykendall J.  2011.  Vectorization and mapping of software defined radio applications on heterogeneous multi-processor platforms. 2011 IEEE Workshop on Signal Processing Systems (SiPS). :31-36.

Pages