Especificacao de requisitos de software com o metodo scr.

• Processo: 97/11595-0
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de março de 1998
• Data de Término da vigência: 28 de fevereiro de 1999
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Tereza Goncalves Kirner
• Beneficiário: Flavio Ricardo Carpena
• Instituição Sede: Centro de Ciências Exatas e de Tecnologia (CCET). Universidade Federal de São Carlos (UFSCAR). São Carlos , SP, Brasil
• Assunto(s): Engenharia de requisitos
• Palavra(s)-Chave do Pesquisador: Engenharia De Requisitos | Especificacao De Requisitos | Metodo Formais | Metodo Scr | Requisitos De Software | Validacao De Requisitos

Resumo

Este projeto enfoca a etapa de engenharia de requisitos de software, visando a produção de especificações de alta qualidade. Neste contexto, é explorado o método SCR (Software Cost Reduction), que é um método formal para a especificação e validação de sistemas complexos. O principal resultado pretendido é uma ferramenta que apóie os engenheiros de software na utilização do SCR. (AU)