Durante o processo de desenvolvimento de software, o sistema é especificado em diversos formatos e linguagens. No contexto da engenharia de requisitos, o sistema é especificado através de representações meramente informais ou semi-formais, pois um dos objetivos nesta fase é a comunicação com o cliente da aplicação, por isso a necessidade de formatos de representação intuitivos e não formais. A medida que o processo avança, o ideal seria a transformação das especificação informais e/ou semi-formais em representações formais, baseadas em modelos matemáticos, com sintaxe e semântica bem definidas, o que possibilita a verificação automatizada das especificações e o projeto formal do software. Dessa forma, a tendência seria a redução de erros e inconsistências nas especificações, reduzindo o tempo e os custos do projeto. Para atingir tal meta, é necessário uma metodologia eficiente para garantir a passagem correta entre especificações de requisitos e especificações formais. Este artigo trata exatamente deste problema, propondo um modelo de integração composto por uma metodologia e um conjunto de heurísticas, que combina use cases (modelo de especificação semi-formal orientado ao cliente), com tipos abstratos de dados (modelo de especificação algébrica orientado ao sistema). Para validar a proposta, é apresentado um estudo de caso ao final do artigo.
@inproceedings{wer200201,
author = {Martins, L. and Rangel, G. and Nunes, D.},
title = {Modelo de Integração de Especificações: Transformação de Use Cases em Tipos Abstratos de Dados},
booktitle = {Proceedings of the WER2002-5th Workshop on Requirements Engineering, Valencia - Espanha},
year = {2002},
issn = {2675-0066},
isbn = {84-96023-01-X},
doi = {}
}