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
6
Assuntos:
“...Especificação formal...”
Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.
Dissertação
7
Assuntos:
“...Especificação formal...”
InRob - uma abordagem para testes de interoperabilidade e de robustez de subsistemas de tempo-real intensivos em software.
Tese