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.
Keywords: Especificação de Requisitos; Métodos Formais; Método SCR.
@inproceedings{wer199803,
author = {Carpena, F. R. and Kirner, T. G.},
title = {Especificação de Requisitos de Software com o Método SCR},
booktitle = {Anais do Workshop em Engenharia de Requisitos - Proceedings of the 1st Workshop on Requirements Engineering (WER1998)},
year = {1998},
issn = {2675-0066},
isbn = {},
doi = {}
}