Travelled to:
1 × USA
Collaborated with:
S.Bhat S.Bha M.T.Harandi
Talks about:
specif (3) evolv (2) oper (2) analog (1) deriv (1) role (1)
Person: Kanth Miriyala
DBLP: Miriyala:Kanth
Contributed to:
Wrote 4 papers:
- KBSE-1993-BhatM #evolution #specification
- Operation for Evolving Specifications (SB, KM), p. 17.
- SEKE-1993-BhaM #evolution #specification
- Operations for Evolving Specifications (SB, KM), pp. 343–345.
- KBSE-1991-MiriryalaH #specification
- The Role of Analogy in Specification Derivation (KM, MTH), pp. 117–126.