Buscas - Coleção Digital
    :                                                                                                 Direitos Autorais
PUC-Rio
PUC-Rio
Toolbox E-mail Help Plugins Acessos Area Restrita
aba parte esquerda Coleção Digital aba parte direita
aba parte esquerda Sala Virtual aba parte direita
aba parte esquerda Sala de Aula aba parte direita
aba parte esquerda Notícias aba parte direita
aba parte esquerda EMA aba parte direita
aba parte esquerda Projetos Especiais aba parte direita
Aumentar letra Diminuir letra Normal Contraste
 
Maxwell
imagem de espaçamento
  Página Inicial
imagem de espaçamento
  Buscas
imagem de espaçamento
imagem de espaçamento
imagem de espaçamento
imagem de espaçamento
imagem de espaçamento
imagem de espaçamento
imagem de espaçamento
imagem de espaçamento
imagem de espaçamento
imagem de espaçamento
  Estatísticas
imagem de espaçamento
imagem de espaçamento
imagem de espaçamento
imagem de espaçamento
imagem de espaçamento
  Sobre
imagem de espaçamento
rodape do menu
Consulta aos Conteúdos

Botão de Informações

Título: COMPUTATIONAL SUPPORT TO FRAMEWORK
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Autor(es): MARIELA INES CORTES
Colaborador(es): CARLOS JOSE PEREIRA DE LUCENA - Orientador
Catalogação: 18/09/2003 Idioma(s): PORTUGUESE - BRAZIL
Tipo: TEXT Subtipo: THESIS
Referência [pt]: http://www.maxwell.lambda.ele.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=3913@1
Referência [en]: http://www.maxwell.lambda.ele.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=3913@2
Resumo:
Framework development is expensive not only because of the intrinsic difficulty related to the elicitation of domain knowledge but also because of the lack of methods and techniques to support its evolution and interactive development. The present thesis proposes the use of two complementary techniques to support framework evolution: refactoring and extension rules. The refactoring technique has been developed to enable software re-structuring in a way to produce more readable and reusable code. Extension rules have been proposed to change the structure of the framework variation points by allowing the addition of new design functionalities. Both techniques preserve the observable behavior of programs. This property is formally verified in this work by using CCS approach to model checking. The proposed approach has been tested by means of a tool specially developed to support the application of the defined rules.
Descrição Arquivo
COVER, ACKNOWLEDGEMENTS, RESUMO, ABSTRACT, SUMMARY AND LIST OF FIGURES  PDF  
CHAPTER 1  PDF  
CHAPTER 2  PDF  
CHAPTER 3  PDF  
CHAPTER 4  PDF  
CHAPTER 5  PDF  
CHAPTER 6  PDF  
CHAPTER 7  PDF  
REFERENCES AND ATTACHMENT  PDF  
<< voltar