Chia-Chu Chiang
Arizona State Univ.
Constructing reusable specifications through analogy
Proceedings of the 1999 ACM symposium on Applied computing
Incremental Elicitation and Formalization of User Requirements through Rapid Prototyping via Software Transformations
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications