Refatoramento
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. A Model-driven Approach to Formal Refactoring
Refactoring object-oriented software, as any other evolutionary tasks usually affects source code and object models, burdening developers to keep those artifacts correct and up to date Due to the gap between modeling and programming artifacts, refactoring efforts soon become duplicate and considerably expensive. In this context, currently used tool support,
Publicado em: 2008
-
2. A refinement theory for alloy / A refinement theory for alloy
Refatoramentos sÃo geralmente propostos de maneira ad hoc, porque à difÃcil provar formalmente que eles preservam comportamento. Na prÃtica, desenvolvedores, mesmo utilizando ferramentas de refatoramento, tÃm que usar compilaÃÃo e testes para garantir que os refatoramentos sÃo corretos. Esse cenÃrio nÃo à desejado principalmente no desenvolvimento
Publicado em: 2007