Avaliação sistemática de abordagens de derivação de produto

Product derivation tools are responsible for automating the development process of software product lines. The configuration knowledge, which is responsible for mapping the problem space to the solution space, plays a fundamental role on product derivation approaches. Each product derivation approach adopts different strategies and techniques to manage the existing variabilities in code assets. There is a lack of empirical studies to analyze these different approaches. This dissertation has the aim of comparing systematically automatic product derivation approaches through of the development of two different empirical studies. The studies are analyzed under two perspectives: (i) qualitative that analyzes the characteristics of approaches using specific criteria; and (ii) quantitative that quantifies specific properties of product derivation artifacts produced for the different approaches. A set of criteria and metrics are also being proposed with the aim of providing support to the qualitative and quantitative analysis. Two software product lines from the web and mobile application domains are targets of our study

Uma abordagem sistemática para implementação, gerenciamento e customização de testes de linhas de produto de software

Through the adoption of the software product line (SPL) approach, several benefits are achieved when compared to the conventional development processes that are based on creating a single software system at a time. The process of developing a SPL differs from traditional software construction, since it has two essential phases: the domain engineering - when common and variables elements of the SPL are defined and implemented; and the application engineering - when one or more applications (specific products) are derived from the reuse of artifacts created in the domain engineering. The test activity is also fundamental and aims to detect defects in the artifacts produced in SPL development. However, the characteristics of an SPL bring new challenges to this activity that must be considered. Several approaches have been recently proposed for the testing process of product lines, but they have been shown limited and have only provided general guidelines. In addition, there is also a lack of tools to support the variability management and customization of automated case tests for SPLs. In this context, this dissertation has the goal of proposing a systematic approach to software product line testing. The approach offers: (i) automated SPL test strategies to be applied in the domain and application engineering, (ii) explicit guidelines to support the implementation and reuse of automated test cases at the unit, integration and system levels in domain and application engineering; and (iii) tooling support for automating the variability management and customization of test cases. The approach is evaluated through its application in a software product line for web systems. The results of this work have shown that the proposed approach can help the developers to deal with the challenges imposed by the characteristics of SPLs during the testing process

Taxonomia e biogeografia da espécie politípica Herpsilochmus rufimarginatus (TEMMINCK, 1822) (Aves: THAMNOPHILIDAE)

The genus Herpsilochmus is composed mainly of cryptic species, among them is Herpsilochmus rufimarginatus, which is currently represented by four subspecies: H. r. rufimarginatus, H. r. frater, H. r. scapularis and H. r. exiguus. Differences in plumage and vocalization suggest that there are more than one species involved in this complex. Thus this and other subspecific taxa need urgent revision, the disjunct distribution of this species also allows us to infer the relationship between birds that occur in this biome and / or different centers of endemism. This study aims to make a taxonomic revision of the taxa included in the complex time Herpsilochmus rufimarginatus based on morphological, morphometric, vocals and geographical distribution of this bird. Besides creating distribution models current potential and make the reconstruction of the distribution bygone using ecological niche modeling, and testing the niche conservatism and divergence between different subspecies. Consultations for examination of the skins of specimens of the museums: Museum of Zoology, University of São Paulo (MZUSP), National Museum of Rio de Janeiro (MN) and Emilio Goeldi Museum of Pará (MPEG), and the skins deposited at the collection of Ornithological Federal University of Rio Grande do Norte (COUFRN). We studied the following measures length of specimens: exposed culmen, culmen and total culmen nostril, tarsus, wing and tail flattened. The voice analysis was performed with vocalizations banks and / or digital banks people where 17 voice parameters were measured. This information and more available in the literature were used to assemble a bunch of data under the limit distribution of taxa and generate ecological niche models. This analyzes carried out in the program Maxent, having as model selection criterion the AUC, and the models were greater than 0.80 are considered good models. Environmental data for the realization of the modeling were downloaded on the website of Worldclim. The morphometric information, vocals and geographic distribution point for the separation of these taxa to be considering various uni and multivariate analyzes. The potential distribution models performed well (AUC> 0.80), and its distribution associated with environmental characteristics of the Amazon forest and Atlantic forest (forests of south and southeast, northeast and forest). The reconstruction of the distribution indicates a possible contact between the southern part of the Atlantic forest in the northern part of the Amazon. The analysis of niche overlap showed a low overlap between taxa and comparisons between the null model and the generated overlay link probably occurring niche conservatism. The data suggest that the taxa that occur in the Amazon and Atlantic forest represent three distinct species

Sistemática integrativa de Cichlasoma orientale Kullander 1983 e Crenicichla menezesi Ploeg 1991 (Teleostei: Cichlidae) das bacias hidrográficas do Nordeste do Brasil

Understanding the historical and ecological relationships which are influent in current biological diversity is one of the most challenging tasks of evolutionary biology. Recent systematics emphasizes the need of integrative approaches to delimit different lineages and species. The northeastern Brazil, mostly placed in Caatinga biome, is characterized by a semi-arid weather, low precipitation and seasonal behavior of rivers. This region is regarded lacking as ichthyological knowledge and one of the most threatened by anthropic activities. Further, will be affected by a massive water diverpsion work that will transfer waters from São Francisco basin, to other major four basins: Jaguaribe, Apodi-Mossoró, Piranhas-Açu and Paraiba do Norte. Loss of diversity and richness, hibridizitation, community interactions changes, population homogenization, changes in water quality and flow regime, are examples of environmental impacts already related with similar works. The present study aims to investigate morphological and molecular variation of Cichlasoma orientale Kullander 1983 and Crenicichla menezesi Ploeg 1991, two cichlid species present in northeastern Brazil basins. Further, the study aims to evaluate the influence of geomorphological and climatic processes in this variation, and point some possible impacts of the artificial connectivity which can be brought by São Francisco interbasin water transfer to their population dynamics. Geometric morphometrics and phylogeographical analysis were used to investigate the populations from three different hydrological regions. Our results showed a significant morphological variation of populations from basins that are involved in the São Franscisco s diversion project, not related to an ancient separation between populations, emphasizing morphological variation which could represent a set of plastic responses to the variable hydrological regime in Northeastern Brazil. The role of plastical responses in naturally variable habitats as well as the potential disturbs that could be brought by the interbasin water transfer works are discussed here. Further, our molecular data allowed us to make inferences about species distribution and their taxonomy, and identification of a potential new species of Crenicichla for São Francisco river basin. Our data also allowed to identify some shared haplotypes for both species, which could be related to lineage sorting scenarios or recent gene flow between populations. However a strong structure in most of the pairwise comparisons between populations for both species was revealed. Climatic events such as Atlantic forest regression during the Pleistocene, sea level fluctuations and dispersion by paleorivers in the mouth of Apodi-Mossoró river, and neotectonic events regulating the connection between drainages are likely to have had a contribution for the actual lineages distribution in northeastern Brazil. Further, analysis of molecular variation (AMOVA and SAMOVA) showed that the actual basin s isolation is an important factor to molecular variation, in spite of the signal of recent contact between some basins. Different genetic diversity patterns between species could be related to multiple historic events of colonization, basins landscapes or biological differences. The present study represents the first effort of integrative systematics involving fish species of northeastern Brazil, and showed important morphological and molecular patterns which could be irrecoverably affected by the artificial connection that might be caused by the São Francisco interbasin water transfer

O impacto dos custos não-gerenciáveis na determinação das tarifas de energia elétrica: um estudo nas companhias distribuidoras do nordeste que tiveram revisão tarifária nos exercícios de 2003 e 2004

This work presents results derived from a study related to impact on non-controllable costs in the determination of energy taxes. This is done analyzing tax review practiced by concessionaries responsible for the distribution of electrical energy located in the Northeastern Region of Brazil, between 2003 and 2004. This Region was chosen as a study area due to the researcher s expectation in congregating companies that deliver services to markets that have similar social-economical profiles. A brief explanation related to the restructuring of the electrical sector in Brazil is presented, pointing out that there was privatization of the great majority of these companies. The study also points out the definition of regulating rules in service delivery process. The components of taxes that are practiced by these companies aimed at final consumers, as well as the market as a whole and the revision process that is executed by Agência Nacional de Energia Elétrica ANEEL for the definition of these taxes are demonstrated in the research. A brief historical of the concessionaires that were focus of the research is presented, totaling five companies. Some data used by ANEEL in the tax review process was analyzed as well as data on components of approved taxes. It is concluded that as a media 47, 49% of the components of taxes in the researched companies correspond to the non-controllable costs. These is done considering previous classification by ANEEL in the tax review process. Although, if it is considered that these companies since 2006, by the means of participation in energy auctions are able to negotiate energy prices for their own needs, it is concluded that these concession contracts guarantee the delivery of the service to the costumer in the total tribute. The percentage of non-controllable costs is 16, 27% average of the tax. This means, amongst other information, that the government has a great deal of responsibility in the formation of price practiced by these companies and its target markets

Teorias f(R) de gravidade na formulação de Palatini

In this dissertation, after a brief review on the Einstein s General Relativity Theory and its application to the Friedmann-Lemaitre-Robertson-Walker (FLRW) cosmological models, we present and discuss the alternative theories of gravity dubbed f(R) gravity. These theories come about when one substitute in the Einstein-Hilbert action the Ricci curvature R by some well behaved nonlinear function f(R). They provide an alternative way to explain the current cosmic acceleration with no need of invoking neither a dark energy component, nor the existence of extra spatial dimensions. In dealing with f(R) gravity, two different variational approaches may be followed, namely the metric and the Palatini formalisms, which lead to very different equations of motion. We briefly describe the metric formalism and then concentrate on the Palatini variational approach to the gravity action. We make a systematic and detailed derivation of the field equations for Palatini f(R) gravity, which generalize the Einsteins equations of General Relativity, and obtain also the generalized Friedmann equations, which can be used for cosmological tests. As an example, using recent compilations of type Ia Supernovae observations, we show how the f(R) = R − fi/Rn class of gravity theories explain the recent observed acceleration of the universe by placing reasonable constraints on the free parameters fi and n. We also examine the question as to whether Palatini f(R) gravity theories permit space-times in which causality, a fundamental issue in any physical theory [22], is violated. As is well known, in General Relativity there are solutions to the viii field equations that have causal anomalies in the form of closed time-like curves, the renowned Gödel model being the best known example of such a solution. Here we show that every perfect-fluid Gödel-type solution of Palatini f(R) gravity with density and pressure p that satisfy the weak energy condition + p 0 is necessarily isometric to the Gödel geometry, demonstrating, therefore, that these theories present causal anomalies in the form of closed time-like curves. This result extends a theorem on Gödel-type models to the framework of Palatini f(R) gravity theory. We derive an expression for a critical radius rc (beyond which causality is violated) for an arbitrary Palatini f(R) theory. The expression makes apparent that the violation of causality depends on the form of f(R) and on the matter content components. We concretely examine the Gödel-type perfect-fluid solutions in the f(R) = R−fi/Rn class of Palatini gravity theories, and show that for positive matter density and for fi and n in the range permitted by the observations, these theories do not admit the Gödel geometry as a perfect-fluid solution of its field equations. In this sense, f(R) gravity theory remedies the causal pathology in the form of closed timelike curves which is allowed in General Relativity. We also examine the violation of causality of Gödel-type by considering a single scalar field as the matter content. For this source, we show that Palatini f(R) gravity gives rise to a unique Gödeltype solution with no violation of causality. Finally, we show that by combining a perfect fluid plus a scalar field as sources of Gödel-type geometries, we obtain both solutions in the form of closed time-like curves, as well as solutions with no violation of causality