Luqi Zhiwei Guan Valdis Berzins Lynn Zhang David L. Floodeen Vedat Coskun Joseph Puett Michael Brown Requirements-document-based prototyping of CARA software. 370-390 2004 5 STTT 4 http://www.springerlink.com/index/10.1007/s10009-003-0116-7 db/journals/sttt/sttt5.html#LuqiGBZFCPB04