Progressing problems from requirements to specifications in problem frames.

Zhi Li

Browse the full ICSE paper archive.