Flávio Ricardo Carpena,  Tereza Gonçalves Kirner. 

Este artigo apresenta um método formal para a especificação de requisitos de software, o método SCR - Software Cost Reduction, detalhando seu processo de utilização através de um estudo de caso. É feita uma discussão dos pontos fortes e dificuldades inerentes ao uso do método

http://wer.inf.puc-rio.br/WERpapers/artigos/artigos_WER98/carpena.pdf

Processando consulta.