Kuldeep Kumar (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Martin D. Fraser, Kuldeep Kumar, Vijay K. Vaishnavi: Strategies for Incorporating Formal Specifications in Software Development. Commun. ACM 37(10): 74-86 (1994)

4 Martin D. Fraser, Kuldeep Kumar, Vijay K. Vaishnavi: Informal and Formal Requirements Specification Languages: Bridging the Gap. IEEE Trans. Software Eng. 17(5): 454-466 (1991)

Selection of 2 from 46 records - Kuldeep Kumar has 63 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

6		Martin D. Fraser, Kuldeep Kumar, Vijay K. Vaishnavi: Strategies for Incorporating Formal Specifications in Software Development. Commun. ACM 37(10): 74-86 (1994)
4		Martin D. Fraser, Kuldeep Kumar, Vijay K. Vaishnavi: Informal and Formal Requirements Specification Languages: Bridging the Gap. IEEE Trans. Software Eng. 17(5): 454-466 (1991)