Dependent types for program understanding
Raghavan Komondoor, G. Ramalingam, et al.
TACAS - ETAPS 2005
A collaborative Eclipse-based global requirements tool, Egret has been developed for distributed requirements management. Significant difficulties posed while distributing stakeholders in the global software development projects have necessitated the development of the tool. About 30 practitioners involved in projects were interacted to understand their problems and to propose solutions for them. The tool will enable the geographically distributed practitioners to gain a consistent understanding of requirements or managing requirement change. A preliminary evaluation of the utility of the tool's usability and directions for further enhancement have also been proposed.
Raghavan Komondoor, G. Ramalingam, et al.
TACAS - ETAPS 2005
Yuheng Hu, Anbang Xu, et al.
JMIS
Xiaotong Liu, Anbang Xu, et al.
CHI EA 2018
Vinay Reddy, L. Said, et al.
IBM J. Res. Dev