Refatoramentos
Mostrando 1-3 de 3 artigos, teses e dissertações.
-
1. 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
-
2. Implementing software product line adoption strategies
Linha de Produtos de Software (LPS) Ã uma aborgadem promissora para o desenvolvimento de um conjunto de produtos focados em um segmento de mercado e desenvolvidos a partir de um conjunto comum de artefatos. PossÃveis benefÃcios incluem reuso em larga escala e significativa melhoria em produtividade. Um problema-chave associado, no entanto, Ã o tratamento
Publicado em: 2007
-
3. Desenvolvimento rigoroso com uml-rt
Como outros mÃtodos visuais orientados a objetos, UML tem influenciado tremendamente a prÃtica de modelagem na engenharia de software com ricos mecanismos de estruturaÃÃo. PorÃm, apesar de suas vantagens e adoÃÃo em larga escala, na prÃtica, a falta de uma semÃntica formal tem dificultado o desenvolvimento rigoroso baseado em modelos de aplicaÃÃes
Publicado em: 2005