1
Assuntos:
“...Técnicas de especificação...”
BRIDGE: uma ferramenta para o Design de Interfaces de Usuário baseada em especificações IMML
Dissertação
2
Assuntos:
“...Especificação formal...”
Um método orientado a processo para elicitação de requisitos em sistemas computadorizados
Dissertação
3
Assuntos:
“...Especificação formal...”
MDM-DA: um método dirigido por modelos para documentação e análise de requisitos de sistemas.
Dissertação
4
Assuntos:
“...Especificação formal...”
AndroMDT : um método de testes funcionais dirigido por modelos para sistemas de software.
Dissertação
5
Assuntos:
“...Especificação formal...”
Aplicação de teorias do erro humano no processo da engenharia de requisitos.
Dissertação
6
Assuntos:
“...Especificação formal...”
Um método para modelagem de sistemas aplicado a um air data system
Dissertação
7
Assuntos:
“...Especificação formal...”
Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.
Dissertação
8
Assuntos:
“...Especificação formal...”
InRob - uma abordagem para testes de interoperabilidade e de robustez de subsistemas de tempo-real intensivos em software.
Tese
9
Assuntos:
“...Especificacao : Software...”
Uma metodologia de modelagem de sistemas computacionais baseada em gramáticas de grafos
Dissertação