1
Assuntos:
“...Especificação formal...”
Um método orientado a processo para elicitação de requisitos em sistemas computadorizados
Dissertação
2
Assuntos:
“...Especificação formal...”
MDM-DA: um método dirigido por modelos para documentação e análise de requisitos de sistemas.
Dissertação
3
Assuntos:
“...Especificação formal...”
AndroMDT : um método de testes funcionais dirigido por modelos para sistemas de software.
Dissertação
4
Assuntos:
“...Especificação formal...”
Aplicação de teorias do erro humano no processo da engenharia de requisitos.
Dissertação
5
Assuntos:
“...Especificação formal...”
Um método para modelagem de sistemas aplicado a um air data system
Dissertação