[en] COMPUTATIONAL SUPPORT TO FRAMEWORK

• Ano de defesa: 2003
• Autor(a) principal: MARIELA INES CORTES
• Tipo de documento: Tese
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: MAXWELL
• Palavras-chave em Português: [pt] FRAMEWORKS ORIENTADOS A OBJETOS; [pt] DESENVOLVIMENTO ITERATIVO; [pt] EVOLUCAO; [en] OBJECT ORIENTED FRAMEWORKS; [en] ITERATIVE DEVELOPMENT; [en] EVOLUTION
• Link de acesso: https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=3913&idi=1; https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=3913&idi=2; http://doi.org/10.17771/PUCRio.acad.3913

[pt] O desenvolvimento de frameworks é caro, não só pela dificuldade intrínseca relacionada à captura do conhecimento do domínio, mas também por causa da falta de métodos e técnicas apropriados para dar suporte à sua evolução e desenvolvimento iterativo. Neste trabalho de tese é proposta a utilização de duas técnicas complementares para dar suporte a evolução de frameworks: regras de refactoring e regras de extensão. A técnica de refactoring foi desenvolvida para restruturar software de forma a tornar o código mais legível e fácil de ser reutilizado. Regras da extensão são propostas para modificar a estrutura de pontos de variação do framework, possibilitando a adição mais fácil de novas funcionalidades no design. Ambas as técnicas preservam o comportamento observável dos programas. Esta propriedade é verificada formalmente usando-se CCS e técnicas de verificação de modelo. A abordagem proposta é testada com o auxílio de uma ferramenta semiautomática, desenvolvida para dar suporte à aplicação das regras definidas.