Incremental Elicitation and Formalization of User Requirements through Rapid Prototyping via Software Transformations.

Chia-Chu Chiang, Joseph E. Urban

Browse the full COMPSAC paper archive.