1
Assuntos:
“...Software engineering...”
Aplicação do método B ao projeto formal de software embarcado
Dissertação
2
Assuntos:
“...Experimental software engineering...”
Avaliação sistemática de abordagens de derivação de produto
Dissertação
3
Assuntos:
“...software engineering...”
KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B
Dissertação
4
Assuntos:
“...Automated software engineering. Generative development. Composition of domain-specific languages...”
Um método para desenvolvimento de abordagens generativas com composição de linguagens específicas de domínio
Dissertação
5
Assuntos:
“... software engineering...”
Squid impact analyser: uma ferramenta para análise de impacto de mudança em linhas de produto de software
Dissertação
6
Assuntos:
“...Automated software engineering...”
Uma abordagem sistemática para implementação, gerenciamento e customização de testes de linhas de produto de software
Dissertação
7
Assuntos:
“...Software engineering. Requirements engineering. Crosscutting concerns. Crosscutting concern...”
Identificando interesses transversais em modelos de requisitos PL-AOVgraph
Dissertação
8
Assuntos:
“...software engineering...”
Beta: uma ferramenta para geração de testes de unidade a partir de especificações B
Dissertação