$$\newcommand{\bra}[1]{\left<#1\right|}\newcommand{\ket}[1]{\left|#1\right>}\newcommand{\bk}[2]{\left<#1\middle|#2\right>}\newcommand{\bke}[3]{\left<#1\middle|#2\middle|#3\right>}$$
INFORMAÇÕES SOBRE DIREITOS AUTORAIS


As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.

A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.

A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.

A violação de direitos autorais é passível de sanções civis e penais.
Coleção Digital

Avançada


Von Staa, Arndt

19-
Professor
Departamento de Informática
PUC-Rio

Materiais Relacionados:

Orientador/Co-Orientador
- GERAÇÃO AUTOMÁTICA DE EXEMPLOS DE USO A PARTIR DA DESCRIÇÃO TEXTUAL DE CASOS DE USO
28/07/2017

- GESTÃO DA MANUTENÇÃO DE SOFTWARE:UM ESTUDO DE CASO
09/06/2017

- UMA SISTEMÁTICA DE MONITORAMENTO DE ERROS EM SISTEMAS DISTRIBUÍDOS
02/06/2016

- UMA ANÁLISE DA EFICÁCIA DE ASSERTIVAS EXECUTÁVEIS COMO OBSERVADORA DE FALHAS EM SOFTWARE
17/02/2016

- UMA FERRAMENTA PARA GERAÇÃO E EXECUÇÃO AUTOMÁTICA DE TESTES FUNCIONAIS BASEADOS NA DESCRIÇÃO TEXTUAL DE CASOS DE USO
16/07/2015

- GERAÇÃO AUTOMÁTICA DE SUÍTE DE TESTE PARA GUI A PARTIR DE REDE DE PETRI
30/04/2015

- UM MECANISMO BASEADO EM LOGS COM META-INFORMAÇÕES PARA A VERIFICAÇÃO DE CONTRATOS EM SISTEMAS DISTRIBUÍDOS
19/03/2015

- AVALIAÇÃO DO USO DE ANÁLISE ESTÁTICA NA DETECÇÃO DE CONFLITOS SEMÂNTICOS EM TIPOS DE DADOS
21/08/2014

- GERAÇÃO AUTOMÁTICA DE SUÍTES DE TESTE DA INTERFACE COM USUÁRIO A PARTIR DE CASOS DE USO
06/08/2014

- ALINHAMENTO ENTRE ARQUITETURA EMPRESARIAL E PDTI:UM ESTUDO DE CASO
17/06/2014

- UMA ANÁLISE DE PRÁTICAS NA APLICAÇÃO DE SCRUM EM PROJETOS DE GRANDE PORTE
25/07/2012

- GERAÇÃO E EXECUÇÃO AUTOMÁTICA DE SCRIPTS DE TESTE PARA APLICAÇÕES WEB A PARTIR DE CASOS DE USO DIRECIONADOS POR COMPORTAMENTO
07/02/2012

- TEST-DRIVEN MAINTENANCE:UMA ABORDAGEM PARA MANUTENÇÃO DE SISTEMAS LEGADOS
29/09/2011

- COMPARAÇÃO DE PROJETO BASEADO EM AGENTES E ORIENTAÇÃO A OBJETOS NA PLATAFORMA GEORISC
08/09/2011

- ESTENDENDO A FERRAMENTA SAFE PARA JBOSS AOP
17/02/2011

- RELATO DE EXPERIÊNCIA DA IMPLANTAÇÃO DE BOAS PRÁTICAS DE ENGENHARIA DE SOFTWARE EM UM AMBIENTE HETEROGÊNEO
31/01/2011

- GERAÇÃO SEMI-AUTOMÁTICA DE MASSAS DE TESTES FUNCIONAIS A PARTIR DA COMPOSIÇÃO DE CASOS DE USO E TABELAS DE DECISÃO
27/01/2011

- SDIFF:UMA FERRAMENTA PARA COMPARAÇÃO DE DOCUMENTOS COM BASE NAS SUAS ESTRUTURAS SINTÁTICAS
15/09/2010

- O USO DE TABELAS DE DECISÃO PARA A AUTOMAÇÃO DA GERAÇÃO E DA EXECUÇÃO DE CASOS DE TESTE
31/08/2010

- WORKFLOWS DINÂMICOS EM GERÊNCIA DE PROJETOS ÁGEIS
28/07/2010

- UM FRAMEWORK PARA A AUTOMAÇÃO DE TESTES COM LINGUAGENS DE ESPECIFICAÇÃO CONFIGURÁVEIS
19/01/2010

- UMA META-FERRAMENTA DE GERAÇÃO DE DIAGRAMAS UTILIZADA NA ENGENHARIA REVERSA DE SISTEMAS LEGADOS
13/01/2010

- AVALIAÇÃO DA QUALIDADE DE SOFTWARE COM BASE EM MODELOS UML
08/06/2009

- FIDEDIGNIDADE EM SISTEMAS MULTI-AGENTES ABERTOS:UMA ABORDAGEM ATRAVÉS DE CONTRATOS
28/05/2009

- CATA-DEFEITOS GEOMÉTRICO:DETECÇÃO AUTOMATIZADA DE DEFEITOS EM DUTOS
18/05/2009

- TESTE FUNCIONAL BASEADO EM MODELOS GRAMATICAIS
08/10/2008

- APLICAÇÃO DA ANÁLISE DE SISTEMAS À DEFINIÇÃO DE PROCESSOS DE DESENVOLVIMENTO DE SOFTWARE
25/08/2008

- MÉTRICAS DE SEGURANÇA DE SOFTWARE
06/12/2007

- UMA ABORDAGEM PARA A EVOLUÇÃO TRANSPARENTE EM REPOSITÓRIOS DE MEDIÇÃO DE SOFTWARE:O SISTEMA CLAIRVOYANT
02/10/2007

- UMA AVALIAÇÃO EMPÍRICA DE UM AMBIENTE FAVORÁVEL PARA O DESENVOLVIMENTO DIRIGIDO POR TESTES
28/09/2007

- UMA ABORDAGEM PARA A AVALIAÇÃO DE PROCESSOS DE DESENVOLVIMENTO DE SOFTWARE BASEADA EM RISCO E CONFORMIDADE
30/07/2007

- UM PROCESSO CONTROLÁVEL DE DESENVOLVIMENTO DE SOFTWARE FOCADO NA GESTÃO DA QUALIDADE EM PEQUENOS PROJETOS
16/10/2006

- MANUTENIBILIDADE E REUSABILIDADE DE SOFTWARE ORIENTADO A ASPECTOS:UM FRAMEWORK DE AVALIAÇÃO
13/09/2004

- UM FRAMEWORK PARA A REPRESENTAÇÃO E ANÁLISE DE PROCESSOS DE SOFTWARE
16/08/2004

- UMA ARQUITETURA PARA A COORDENAÇÃO E A COMPOSIÇÃO DE ARTEFATOS DE SOFTWARE
16/10/2003



<< voltar
Agora você pode usar seu login do SAU no Maxwell!!
Fechar Janela



* Esqueceu a senha:
Senha SAU, clique aqui
Senha Maxwell, clique aqui