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.  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.  1993.  Role of verification in the software specification process. Advances in computers. 36:43-109.
Zelkowitz MV, Wallace D.  1997.  Experimental validation in software engineering. Information and Software Technology. 39(11):735-743.
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.  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.  1978.  Productivity measurement on software engineering projects. SIGSOFT Softw. Eng. Notes. 3(4):30-31.
Zelkowitz MV, Rus I.  2004.  Defect evolution in a product line environment. Journal of Systems and Software. 70(1–2):143-154.
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.
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.
Zavorin I, O'Leary DP, Elman H.  2003.  Complete stagnation of. Linear Algebra and its Applications. 367:165-183.
Zavorin I, O’Leary DP, Elman H.  2003.  Complete stagnation of GMRES. 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