1997 | ||
---|---|---|
5 | EE | Prasun Dewan, Philip Johnson, Kanth Miriyala, Remo Pareschi: Panel on Collaborative Software Engineering. ICSE 1997: 586 |
1994 | ||
4 | Junhui Luo, Kanth Miriyala: A Practical Approach to Static Node Positioning. Graph Drawing 1994: 436-443 | |
1993 | ||
3 | Sudin Bha, Kanth Miriyala: Operations for Evolving Specifications. SEKE 1993: 343-345 | |
1991 | ||
2 | Kanth Miriyala, Mehdi T. Harandi: The Role of Analogy in Specification Derivation. KBSE 1991: 117-126 | |
1 | EE | Kanth Miriyala, Mehdi T. Harandi: Automatic Derivation of Formal Software Specifications From Informal Descriptions. IEEE Trans. Software Eng. 17(10): 1126-1142 (1991) |
1 | Sudin Bha | [3] |
2 | Prasun Dewan | [5] |
3 | Mehdi T. Harandi | [1] [2] |
4 | Philip Johnson | [5] |
5 | Junhui Luo | [4] |
6 | Remo Pareschi | [5] |