Publications

Export 577 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Last Name is Z  [Clear All Filters]
1992
Gupta SK, Nau DS, Zhang GM.  1992.  Generation of Machining Alternatives for Machinability Evaluation. ISR; TR 1992-106
Tian J, Porter A, Zelkowitz MV.  1992.  An improved classification tree analysis of high cost modules based upon an axiomatic definition of complexity. Software Reliability Engineering, 1992. Proceedings., Third International Symposium on. :164-172.
Straub P, Zelkowitz MV.  1992.  On the nature of bias and defects in the software specification process. Computer Software and Applications Conference, 1992. COMPSAC '92. Proceedings., Sixteenth Annual International. :17-24.
Zhang G, Elman H.  1992.  Parallel sparse Cholesky factorization on a shared memory multiprocessor. Parallel Computing. 18(9):1009-1022.
Zelkowitz MV, Buckley FJ.  1992.  Standards-are software engineering process standards really necessary? Computer. 25(11):82-84.
Cleaveland R, Smolka S, Zwarico A.  1992.  Testing preorders for probabilistic processes. Automata, Languages and Programming. :708-719.
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.
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.
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.

Pages