Publications

Export 577 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is Z  [Clear All Filters]
1996
Zelkowitz MV.  1996.  Software engineering technology infusion within NASA. Engineering Management, IEEE Transactions on. 43(3):250-261.
1995
Zelkowitz MV.  1995.  Algebra and models (and reality). SIGSOFT Softw. Eng. Notes. 20(2):55-57.
Elman H, Zhang X.  1995.  Algebraic Analysis of the Hierarchical Basis Preconditioner. SIAM Journal on Matrix Analysis and ApplicationsSIAM. J. Matrix Anal. & Appl.. 16(1):192-192.
Tian J, Zelkowitz MV.  1995.  Complexity measure evaluation and selection. Software Engineering, IEEE Transactions on. 21(8):641-650.
Basili VR, Zelkowitz MV, McGarry F, Page J, Waligora S, Pajerski R.  1995.  SEL's software process improvement program. Software, IEEE. 12(6):83-87.
Abrams MD, Zelkowitz MV.  1995.  Striving for correctness. Computers & Security. 14(8):719-738.
1994
Zelkowitz MV.  1994.  Algebra and models (and reality). SIGSOFT Softw. Eng. Notes. 19(4):79-81.
Gupta SK, Kramer TR, Nau DS, Regli WC, Zhang G.  1994.  Building MRSEV models for CAM applications. Advances in Engineering Software. 20(2–3):121-139.
Srinivasan A, Zuckerman D.  1994.  Computing with very weak random sources. , 35th Annual Symposium on Foundations of Computer Science, 1994 Proceedings. :264-275.
Nau DS, Ball MO, Gupta SK, Minis IE, Zhang G.  1994.  Design for manufacture in multi-enterprise partnerships: current status and future directions. :117-125.
Zelkowitz MV, Tian J.  1994.  Measuring prime program complexity. Information Sciences. 77(3–4):325-350.
Gannon JD, Purtilo J, Zelkowitz MV.  1994.  Software Specification: A Comparison of Formal Methods.
Chang Y, Raschid L, Dorr BJ.  1994.  Transforming queries from a relational schema to an object schema: A prototype based on F-logic. Methodologies for Intelligent SystemsMethodologies for Intelligent Systems. 869:154-163.
1993
Gupta SK, Nau DS, Zhang G.  1993.  Concurrent evaluation of machinability during product design. Computer. 26(1):61-63.
Nau DS, Gupta SK, Kramer TR, Regli WC, Zhang G.  1993.  Development of machining alternatives, based on MRSEVs. Computers in Engineering. :47-47.
Gupta SK, Nau DS, Zhang GM.  1993.  Estimation of Achievable Tolerances. ISR; TR 1993-44
Nau DS, Zhang G, Gupta SK, Karinthi RR.  1993.  Evaluating product machinability for concurrent engineering. Concurrent Engineering: Contemporary Issues and Modern Design Tools. :264-279.
Gupta SK, Nau DS, Zhang GM.  1993.  Interpreting Product Designs for Manufacturability Evaluation. ISR; TR 1993-45
Zelkowitz MV.  1993.  Role of verification in the software specification process. Advances in computers. 36:43-109.
Zelkowitz MV.  1993.  Use of an environment classification model. Proceedings of the 15th international conference on Software Engineering. :348-357.
Nau DS, Gupta SK, Kramer TR, Regli WC, Zhang G.  1993.  Using MRSEVs to develop machining alternatives.
1992
Cárdenas SR, Tian J, Zelkowitz MV.  1992.  An application of decision theory for the evaluation of software prototypes. Journal of Systems and Software. 19(1):27-39.
Tian J, Zelkowitz MV.  1992.  A formal program complexity model and its application. Journal of Systems and Software. 17(3):253-266.
Gupta SK, Nau DS, Zhang GM.  1992.  General of Machining Alternatives for Machinability Evaluation. ISR; TR 1992-106
Nau DS, Zhang GM, Gupta SK.  1992.  Generation and Evaluation of Alternative Operation. ISR; TR 1992-20

Pages