Zhi Li,  Jon G. Hall,  Lucia Rapanotti. 

Transforming real-world requirements into specifications which are appropriate for subsequent software development is at the heart of Requirements Engineering. Doing it systematically remains an open challenge. In this paper we present a formal approach to systematise the move from requirements to specifications in the context of Jackson's Problem Frames.

http://wer.inf.puc-rio.br/WERpapers/pdf_counter.lua?wer=WER11&file_name=li.pdf

Processando consulta.