Buscar
Mostrando ítems 1-10 de 209
Extração automática de modelos CSP a partir de casos de uso
(Universidade Federal de Pernambuco, 2014)
Geração de especificação formal de sistemas a partir de documento de requisitos
(Universidade Federal de Pernambuco, 2014)
Uma abordagem para especificação de requisitos sensíveis ao contexto baseado em casos de uso para sistemas autoadaptativos
(Universidade Federal do PampaUNIPAMPABrasilCampus Alegrete, 2017)
Um modelo de rastreabilidade entre o documento de especificação de requisitos e o modelo de casos de uso do sistema
(Pontifícia Universidade Católica do Rio Grande do SulPorto Alegre, 2007)
Um produto final que represente realmente as necessidades dos usuários é, atualmente, uma busca constante das organizações de desenvolvimento de software. Um ponto crucial para o alcance deste objetivo é realizar um processo ...
Um modelo de rastreabilidade entre o documento de especificação de requisitos e o modelo de casos de uso do sistema
(Pontifícia Universidade Católica do Rio Grande do SulPorto Alegre, 2007)
Um produto final que represente realmente as necessidades dos usuários é, atualmente, uma busca constante das organizações de desenvolvimento de software. Um ponto crucial para o alcance deste objetivo é realizar um processo ...
A framework for the specification and validation of Real Time Systems using Circus Action
(Universidade Federal de Pernambuco, 2014)