1
Assuntos:
“...Especificação de casos de uso...”
Extração automática de modelos CSP a partir de casos de uso
Dissertação
2
Assuntos:
“...Especificação de caso de uso...”
Geração de especificação formal de sistemas a partir de documento de requisitos
Dissertação