Authors: VAISHNAVI VK BUCHANAN GC KUECHLER WL

Citation: Vk. Vaishnavi et al., A DATA KNOWLEDGE PARADIGM FOR THE MODELING AND DESIGN OF OPERATIONS SUPPORT SYSTEMS/, IEEE transactions on knowledge and data engineering, 9(2), 1997, pp. 275-291

Authors: FRASER MD VAISHNAVI VK

Citation: Md. Fraser et Vk. Vaishnavi, A FORMAL SPECIFICATIONS MATURITY MODEL, Communications of the ACM, 40(12), 1997, pp. 95-103

Authors: VAISHNAVI VK

Citation: Vk. Vaishnavi, ON K-DIMENSIONAL BALANCED BINARY-TREES, Journal of computer and system sciences, 52(2), 1996, pp. 328-348

Authors: FRASER MD KUMAR K VAISHNAVI VK

Citation: Md. Fraser et al., STRATEGIES FOR INCORPORATING FORMAL SPECIFICATIONS IN SOFTWARE-DEVELOPMENT, Communications of the ACM, 37(10), 1994, pp. 74-85