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 de requisitos...”
Auto test generator: a framework to generate test cases from requirements in natural language
Dissertação
3
Assuntos:
“...Especificação formal...”
Um método orientado a processo para elicitação de requisitos em sistemas computadorizados
Dissertação
4
Assuntos:
“...Especificação formal...”
MDM-DA: um método dirigido por modelos para documentação e análise de requisitos de sistemas.
Dissertação
5
Assuntos:
“...Especificação formal...”
AndroMDT : um método de testes funcionais dirigido por modelos para sistemas de software.
Dissertação
6
Assuntos:
“...Especificação formal...”
Aplicação de teorias do erro humano no processo da engenharia de requisitos.
Dissertação
7
Assuntos:
“...Especificação formal...”
Um método para modelagem de sistemas aplicado a um air data system
Dissertação
8
Assuntos:
“...Especificação formal...”
Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.
Dissertação
9
Assuntos:
“...Especificação formal...”
InRob - uma abordagem para testes de interoperabilidade e de robustez de subsistemas de tempo-real intensivos em software.
Tese
10
Assuntos:
“...Especificacao : Software...”
Uma metodologia de modelagem de sistemas computacionais baseada em gramáticas de grafos
Dissertação
11
Assuntos:
“...Linguagem específica de domínio...”
Uma abordagem dirigida por modelos para portabilidade entre plataformas de computação em nuvem
Dissertação
12
Assuntos:
“...Linguagem específica de domínio...”
Desenvolvimento de uma DSL para a gerência de configuração de um sistema de gerenciamento integrado de redes
Dissertação
13
Assuntos:
“...Especificação de interações entre features...”
Feature interactions in highly configurable systems : a dynamic analysis approach with VarXplorer
Tese
14
Assuntos:
“...Linguagem específica de domínio...”
Desenvolvimento e reúso de frameworks com base nas características do domínio
Tese
15
Assuntos:
“...Modelagem específica de domínio, Sensibilidade ao contexto...”
Model Driven RichUbi - processo dirigido a modelos para a construção de interfaces ricas de aplicações ubíquas sensíveis ao contexto
Dissertação
16
Assuntos:
“...Linguagens Específicas de Domínio...”
Abordagem para criação de linguagens específicas de domínio para robótica móvel
Dissertação
17
Assuntos:
“...Linguagens específicas de domínio...”
SMADL – The social machines architecture description language
Tese
18
Assuntos:
“...Linguagens específicas de domínio...”
MDWA : uma abordagem guiada por modelos para desenvolvimento de software Web
Dissertação