Kanth Miriyala

According to our database, Kanth Miriyala authored at least 8 papers between 1989 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1997

Panel on Collaborative Software Engineering.

Prasun Dewan, Philip Johnson, Kanth Miriyala, Remo Pareschi

Proceedings of the Pulling Together, 1997

1994

An architecture-driven, business-specific, and component-based approach to software engineering.

Jim Q. Ning, Kanth Miriyala, Wojtek Kozaczynski

Proceedings of 3rd International Conference on Software Reuse, 1994

A Practical Approach to Static Node Positioning.

Junhui Luo, Kanth Miriyala

Proceedings of the Graph Drawing, DIMACS International Workshop, 1994

1993

Operations for Evolving Specifications.

Sudin Bhat, Kanth Miriyala

Proceedings of the SEKE'93, 1993

1991

Intelligent assistance in formalizing software specifications

Kanth Miriyala

PhD thesis, 1991

Automatic Derivation of Formal Software Specifications From Informal Descriptions.

Kanth Miriyala, Mehdi T. Harandi

IEEE Trans. Software Eng., 1991

The Role of Analogy in Specification Derivation.

Kanth Miriyala, Mehdi T. Harandi

Proceedings of the Proceedings 6th Annual Knowledge-Based Software Engineering Conference, 1991

1989

Analogical approach to specification derivation.

Kanth Miriyala, Mehdi T. Harandi

Proceedings of the 5th International Workshop on Software Specification and Design, 1989