O uso de analogias para o ensino de equilíbrio químico no ensino médio: facilitação da aprendizagem ou transmissão de erros conceituais?

The use of analogies in high school is often useful for chemistry teaching, either on textbooks or by teachers in the classroom.This use is justified by the large number of abstract concepts that rules this course. Analogies are conceptualized by several authors, which converge on the idea that these are tools that seek a way to elucidate an unknown concept by comparing it to a familiar one, relating their similar and dissimilar features. An analysis on a survey of analogies found in high school chemistry textbooks and chemical equilibrium studies is performed in order to verify whether they are leading to misconceptions for their use by students and/or for their use by teachers in the classroom, or whether they promote a learning facilitation

Uma estratégia dirigida a modelos e baseada em linguagem de descrição arquitetural para linhas de produtos de software

Model-oriented strategies have been used to facilitate products customization in the software products lines (SPL) context and to generate the source code of these derived products through variability management. Most of these strategies use an UML (Unified Modeling Language)-based model specification. Despite its wide application, the UML-based model specification has some limitations such as the fact that it is essentially graphic, presents deficiencies regarding the precise description of the system architecture semantic representation, and generates a large model, thus hampering the visualization and comprehension of the system elements. In contrast, architecture description languages (ADLs) provide graphic and textual support for the structural representation of architectural elements, their constraints and interactions. This thesis introduces ArchSPL-MDD, a model-driven strategy in which models are specified and configured by using the LightPL-ACME ADL. Such strategy is associated to a generic process with systematic activities that enable to automatically generate customized source code from the product model. ArchSPLMDD strategy integrates aspect-oriented software development (AOSD), modeldriven development (MDD) and SPL, thus enabling the explicit modeling as well as the modularization of variabilities and crosscutting concerns. The process is instantiated by the ArchSPL-MDD tool, which supports the specification of domain models (the focus of the development) in LightPL-ACME. The ArchSPL-MDD uses the Ginga Digital TV middleware as case study. In order to evaluate the efficiency, applicability, expressiveness, and complexity of the ArchSPL-MDD strategy, a controlled experiment was carried out in order to evaluate and compare the ArchSPL-MDD tool with the GingaForAll tool, which instantiates the process that is part of the GingaForAll UML-based strategy. Both tools were used for configuring the products of Ginga SPL and generating the product source code

Uma abordagem anotativa para gerência de variabilidade em linhas de processos de software: concepção, implementação e avaliação

Nowadays, the importance of using software processes is already consolidated and is considered fundamental to the success of software development projects. Large and medium software projects demand the definition and continuous improvement of software processes in order to promote the productive development of high-quality software. Customizing and evolving existing software processes to address the variety of scenarios, technologies, culture and scale is a recurrent challenge required by the software industry. It involves the adaptation of software process models for the reality of their projects. Besides, it must also promote the reuse of past experiences in the definition and development of software processes for the new projects. The adequate management and execution of software processes can bring a better quality and productivity to the produced software systems. This work aimed to explore the use and adaptation of consolidated software product lines techniques to promote the management of the variabilities of software process families. In order to achieve this aim: (i) a systematic literature review is conducted to identify and characterize variability management approaches for software processes; (ii) an annotative approach for the variability management of software process lines is proposed and developed; and finally (iii) empirical studies and a controlled experiment assess and compare the proposed annotative approach against a compositional one. One study a comparative qualitative study analyzed the annotative and compositional approaches from different perspectives, such as: modularity, traceability, error detection, granularity, uniformity, adoption, and systematic variability management. Another study a comparative quantitative study has considered internal attributes of the specification of software process lines, such as modularity, size and complexity. Finally, the last study a controlled experiment evaluated the effort to use and the understandability of the investigated approaches when modeling and evolving specifications of software process lines. The studies bring evidences of several benefits of the annotative approach, and the potential of integration with the compositional approach, to assist the variability management of software process lines

Redes sociais e comunidades virtuais para a preservação e transmissão das tradições gaúchas na Internet

Considerando a potencialidade apresentada pelas tecnologias de informação e comunicação na atualidade este estudo aponta as formas pelas quais grupos sociais mobilizados em torno de uma vinculação étnica podem se servir do aparato da Internet, em especial do World Wide Web, para divulgar aspectos de sua cultura e modo de vida. Trata-se de grupos dedicados ao ensino, transmissão, preservação e disseminação da tradição gaúcha vinculados aos Centros de Tradições Gaúchas (CTG). Especificamente, este artigo apresenta como os tradicionalistas gaúchos estabelecem suas redes sociais na Internet, constituindo comunidades virtuais em torno do tema cultura e tradição gaúcha, fazendo uso dos serviços da Web 2.0. Abordam-se neste estudo experiências que indicam que o terreno virtual é fértil e possível de transformar e revolucionar o campo das tradições, sua preservação, disseminação e (re)invenção. No contexto de modernidade tardia esse recurso não pode ser descartado. Independente da análise se situar no campo econômico, político ou cultural, entre tantos outros, o fato é que a Internet se constitui num meio eficaz e abrangente de transmitir, ensinar e preservar conteúdos de todos os tipos.

Uma abordagem dirigida por modelos para desenvolvimento de middlewares auto-adaptativos para transmissão de fluxo de dados baseado em restrições de QoS

The use of middleware technology in various types of systems, in order to abstract low-level details related to the distribution of application logic, is increasingly common. Among several systems that can be benefited from using these components, we highlight the distributed systems, where it is necessary to allow communications between software components located on different physical machines. An important issue related to the communication between distributed components is the provision of mechanisms for managing the quality of service. This work presents a metamodel for modeling middlewares based on components in order to provide to an application the abstraction of a communication between components involved in a data stream, regardless their location. Another feature of the metamodel is the possibility of self-adaptation related to the communication mechanism, either by updating the values of its configuration parameters, or by its replacement by another mechanism, in case of the restrictions of quality of service specified are not being guaranteed. In this respect, it is planned the monitoring of the communication state (application of techniques like feedback control loop), analyzing performance metrics related. The paradigm of Model Driven Development was used to generate the implementation of a middleware that will serve as proof of concept of the metamodel, and the configuration and reconfiguration policies related to the dynamic adaptation processes. In this sense was defined the metamodel associated to the process of a communication configuration. The MDD application also corresponds to the definition of the following transformations: the architectural model of the middleware in Java code, and the configuration model to XML

Análise de impacto baseada em rastreabilidade de artefatos para linhas de produto de software

Software Product Line (SPL) consists of a software development paradigm, whose main focus is to identify features common and variability among applications in a specific domain. An LPS is designed to attend all products requirements from its product family. These requirements and LPS may have changes over time due to several factors, such as evolution of product requirements, evolution of the market, evolution of SLP process, evolution of the technologies used to develop the products. To handle these changes, LPS should be modified and evolve in order to not become obsolete, and adapt itself to new requirements. The Changes Impact Analysis is an activity that understand and identify what consequences these changes are cause on LPS. Impact Analysis on LPS may be supported by traceability relationships, which identify relationships between artefacts created during all phases of software development. Despite the solutions of change impact analysis based on traceability for software, there is a lack of solutions for assessing the change impact analysis based on traceability for LPS, since existing solutions do not include estimates specific to the artefacts of LPS. Thus, this paper proposes a process of change impact analysis and an tool for assessing the change impact through traceability of artefacts in LPS. For this purpose, we specified a process of change impact analysis that considers artifacts produced during the development of LPS. We have also implemented a tool which allows estimating and identifying artefacts and products of LPS affected from changes in other products, changes in class, changes in features, changes between releases of LPS and artefacts related to changes in core assets and variability. Finally, the results were evaluated through metrics

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

Dos requisitos à arquitetura em linhas de produtos de software: uma estratégia de transformações entre modelos

The tracking between models of the requirements and architecture activities is a strategy that aims to prevent loss of information, reducing the gap between these two initial activities of the software life cycle. In the context of Software Product Lines (SPL), it is important to have this support, which allows the correspondence between this two activities, with management of variability. In order to address this issue, this paper presents a process of bidirectional mapping, defining transformation rules between elements of a goaloriented requirements model (described in PL-AOVgraph) and elements of an architectural description (defined in PL-AspectualACME). These mapping rules are evaluated using a case study: the GingaForAll LPS. To automate this transformation, we developed the MaRiPLA tool (Mapping Requirements to Product Line Architecture), through MDD techniques (Modeldriven Development), including Atlas Transformation Language (ATL) with specification of Ecore metamodels jointly with Xtext , a DSL definition framework, and Acceleo, a code generation tool, in Eclipse environment. Finally, the generated models are evaluated based on quality attributes such as variability, derivability, reusability, correctness, traceability, completeness, evolvability and maintainability, extracted from the CAFÉ Quality Model

Reqsys-MDD: uma ferramenta para mapeamento entre modelos de features e requisitos em linhas de produto de software

The approach Software Product Line (SPL) has become very promising these days, since it allows the production of customized systems on large scale through product families. For the modeling of these families the Features Model is being widely used, however, it is a model that has low level of detail and not may be sufficient to guide the development team of LPS. Thus, it is recommended add the Features Model to other models representing the system from other perspectives. The goals model PL-AOVgraph can assume this role complementary to the Features Model, since it has a to context oriented language of LPS's, which allows the requirements modeling in detail and identification of crosscutting concerns that may arise as result of variability. In order to insert PL-AOVgraph in development of LPS's, this paper proposes a bi-directional mapping between PL-AOVgraph and Features Model, which will be automated by tool ReqSys-MDD. This tool uses the approach of Model-Driven Development (MDD), which allows the construction of systems from high level models through successive transformations. This enables the integration of ReqSys-MDD with other tools MDD that use their output models as input to other transformations. So it is possible keep consistency among the models involved, avoiding loss of informations on transitions between stages of development

Caracterizando os fluxos excepcionais em linhas de produto de software: um estudo exploratório

The Exception Handling (EH) is a widely used mechanism for building robust systems. In Software Product Line (SPL) context it is not different. As EH mechanisms are embedded in most of mainstream programming languages (like Java, C# and C++), we can find exception signalers and handlers spread over code assets associated to common and variable SPL features. When exception signalers and handlers are added to an SPL in an unplanned way, one of the possible consequences is the generation of faulty family instances (i.e., instances on which common or variable features signal exceptions that are mistakenly caught inside the system). In this context, some questions arise: How exceptions flow between the optional and alternative features an LPS? Aiming at providing answers to these questions, this master thesis conducted an exploratory study, based on code inspection and static analysis code, whose goal was to categorize the main ways which exceptions flow in LPSs. To support the study, we developed an static analysis tool called PLEA (Product Line Exception Analyzer) that calculates the exceptional flows of LPSs, and categorize these flows according to the features associated with handlers and signalers. Preliminary results showed that some types of exceptional flows have more potential to yield failures in exceptional behavior of SLPs

Squid impact analyser: uma ferramenta para análise de impacto de mudança em linhas de produto de software

Software Products Lines (SPL) is a software engineering approach to developing software system families that share common features and differ in other features according to the requested software systems. The adoption of the SPL approach can promote several benefits such as cost reduction, product quality, productivity, and time to market. On the other hand, the SPL approach brings new challenges to the software evolution that must be considered. Recent research work has explored and proposed automated approaches based on code analysis and traceability techniques for change impact analysis in the context of SPL development. There are existing limitations concerning these approaches such as the customization of the analysis functionalities to address different strategies for change impact analysis, and the change impact analysis of fine-grained variability. This dissertation proposes a change impact analysis tool for SPL development, called Squid Impact Analyzer. The tool allows the implementation of change impact analysis based on information from variability modeling, mapping of variability to code assets, and existing dependency relationships between code assets. An assessment of the tool is conducted through an experiment that compare the change impact analysis results provided by the tool with real changes applied to several evolution releases from a SPL for media management in mobile devices

Culicídeos vetores em uma unidade de conservação da caatinga na região do seridó no Rio Grande do Norte aspectos da transmissão de doenças

The scarcity of occurrence records of culicid species, transmitting insects of etiologic agents for arboviruses, protozoan diseases and philarioses, and lack of information about their interactions with the forest environment make the Caatinga one of the most unknown biomes in Brazil. The aim of this study was to identify culicid species in a conservation unit located in a preserved area of the Caatinga and the possible associations with local abiotic factors, as well as characterize the natural and artificial ecotopes present in the Caatinga of Rio Grande do Norte state. The Ecological Station of Serido (ESEC-Seridó) is a Caatinga Conservation Unit located in a rural area of Rio Grande do Norte. The hot and dry climate of the Caatinga, along with a short rainy season, favor the adaptation and resistance of plants, resulting in completely distinct landscapes over the course of the year. The study took place over the course of one year, with monthly collections between 10h-12h, 14h-16h and 18h-20h. Adult mosquitoes were collected in a forest area using a manual suction trap with human bait as attractant at the three times and a Shannon trap for night collections. During the rainy season ovitraps were randomly distributed at different sites. The different capture sites were observed and photographed. Immature and adult insects captured were taken to the laboratory for identification. Of the 5081 insects collected in human-bait and Shannon traps, 75% were Mansonia wilsoni. In addition, Aedeomyia, Aedes, Anopheles, Coquillettidia, Culex, Haemagogus, Mansonia and Psorophora were identified. Of the 92 Haemagogus eggs found, 71 were collected on the banks of a reservoir. Mosquito larvae were found and photographed in an artificial breeding site of a neighboring rural area. Humidity had the greatest influence on culicid density in the Caatinga. Rain was important in the appearance of Haemagogus, Anopheles, Aedes and Psorophora. Temperature had a negative influence on Anopheles triannulatus. The occurence of important vector species of diseases in a little known preserved area of the Caatinga as well as environmental and sociocultural questions are factors that favor the emergence of transmitting insects, making these areas potential subject to the resurgence of diseases

Caracterização tectono-estratigráfica da sequência transicional na sub-bacia de Sergipe

This thesis deals with the tectonic-stratigraphic evolution of the Transitional Sequence in the Sergipe Sub-basin (the southern segment of the Sergipe-Alagoas Basin, Northeast Brazil), deposited in the time interval of the upper Alagoas/Aptian stage. Sequence boundaries and higher order internal sequences were identified, as well as the structures that affect or control its deposition. This integrated approach aimed to characterize the geodynamic setting and processes active during deposition of the Transitional Sequence, and its relations with the evolutionary tectonic stages recognized in the East Brazilian Margin basins. This subject addresses more general questions discussed in the literature, regarding the evolution from the Rift to the Drift stages, the expression and significance of the breakup unconformity, the relationships between sedimentation and tectonics at extensional settings, as well as the control on subsidence processes during this time interval. The tectonic-stratigraphic analysis of the Transitional Sequence was based on seismic sections and well logs, distributed along the Sergipe Sub-basin (SBSE). Geoseismic sections and seismic facies analysis, stratigraphic profiles and sections, were compiled through the main structural blocks of this sub-basin. These products support the depositional and tectonic-stratigraphic evolutionary models built for this sequence. The structural analysis highlighted similarities in deformation styles and kinematics during deposition of the Rift and Transitional sequences, pointing to continuing lithospheric extensional processes along a NW trend (X strain axis) until the end of deposition of the latter sequence was finished by the end of late Aptian. The late stage of extension/rifting was marked by (i) continuous (or as pulses) fault activity along the basin, controling subsidence and creation of depositional space, thereby characterizing upper crustal thinning and (ii) sagstyle deposition of the Transitional Sequence at a larger scale, reflecting the ductile stretching and thinnning of lower and sub crustal layers combined with an increasing importance of the thermal subsidence regime. Besides the late increments of rift tectonics, the Transitional Sequence is also affected by reactivation of the border faults of SBSE, during and after deposition of the Riachuelo Formation (lower section of the Transgressive Marine Sequence, of Albian age). It is possible that this reactivation reflects (through stress propagation along the newlycreated continental margin) the rifting processes still active further north, between the Alagoas Sub-basin and the Pernambuco-Paraíba Basin. The evaporitic beds of the Transitional Sequence contributed to the development of post-rift structures related to halokinesis and the continental margin collapse, affecting strata of the overlying marine sequences during the Middle Albian to the Maastrichtian, or even the Paleogene time interval. The stratigraphic analysis evidenced 5 depositional sequences of higher order, whose vertical succession indicates an upward increase of the base level, marked by deposition of continental siliciclastic systems overlain by lagunar-evaporitic and restricted marine systems, indicating that the Transitional Sequence was deposited during relative increase of the eustatic sea level. At a 2nd order cycle, the Transitional Sequence may represent the initial deposition of a Transgressive Systems Tract, whose passage to a Marine Transgressive Sequence would also be marked by the drowning of the depositional systems. At a 3rd order cycle, the sequence boundary corresponds to a local unconformity that laterally grades to a widespread correlative conformity. This boundary surface corresponds to a breakup unconformity , being equivalent to the Pre-Albian Unconformity at the SBSE and contrasting with the outstanding Pre-upper Alagoas Unconformity at the base of the Transitional Sequence; the latter is alternatively referred, in the literature, as the breakup unconformity. This Thesis supports the Pre-Albian Unconformity as marker of a major change in the (Rift-Drift) depositional and tectonic setting at SBSE, with equivalent but also diachronous boundary surfaces in other basins of the Atlantic margin. The Pre-upper Alagoas Unconformity developed due to astenosphere uplift (heating under high lithospheric extension rates) and post-dates the last major fault pulse and subsequent extensive block erosion. Later on, the number and net slip of active faults significantly decrease. At deep to ultra deep water basin segments, seaward-dipping reflectors (SDRs) are unconformably overlain by the seismic horizons correlated to the Transitional Sequence. The SDRs volcanic rocks overly (at least in part) continental crust and are tentatively ascribed to melting by adiabatic decompression of the rising astenospheric mantle. Even though being a major feature of SBSE (and possibly of other basins), the Pre-upper Alagoas Unconformity do not correspond to the end of lithospheric extension processes and beginning of seafloor spreading, as shown by the crustal-scale extensional structures that post-date the Transitional Sequence. Based on this whole context, deposition of the Transitional Sequence is better placed at a late interval of the Rift Stage, with the advance of an epicontinental sea over a crustal segment still undergoing extension. Along this segment, sedimentation was controled by a combination of thermal and mechanical subsidence. In continuation, the creation of oceanic lithosphere led to a decline in the mechanical subsidence component, extension was transferred to the mesoceanic ridge and the newly-formed continental margin (and the corresponding Marine Sequence) began to be controlled exclusively by the thermal subsidence component. Classical concepts, multidisciplinary data and new architectural and evolutionary crustal models can be reconciled and better understood under these lines

Esporotricose do gato doméstico (Felis catus): transmissão humana

No presente trabalho relata-se caso de paciente, funcionário de hospital veterinário, infectado através de arranhadura de gato doméstico portador de esporotricose. Inquérito domiciliar junto aos proprietários do animal fonte de infecção, revelou dois outros casos presuntivos de esporotricose humana transmitida por gatos, e confirmou o diagnóstico, por cultivo do Sporotrix schenckii, em 3 gatos domésticos adicionais. A esporotricose felina caracteriza-se por lesões cutâneas ulceradas e tendência à disseminação sistêmica e evolução fatal. A transmissão intra e inter-espécie é facilitada pela exuberância de fungos nas lesões cutâneas de felinos infectados.

Medidas contraceptivas e de proteção da transmissão do HIV por mulheres com HIV/Aids

OBJETIVO: Atualmente, entre as mulheres, a relação sexual é a forma de transmissão que mais tem contribuído para a feminização da epidemia de HIV/Aids. Na busca constante de se estabelecer padrões mais adequados de orientação para saúde, investigou-se o uso de medidas contraceptivas, que também sirvam de proteção da transmissão do HIV, entre mulheres portadoras de HIV/Aids. MÉTODOS: Estudo exploratório desenvolvido em um serviço público ambulatorial de um hospital universitário, referência aos portadores de HIV/Aids da região centro-sul do Estado de São Paulo, no período de cinco meses (2000 a 2001). Foram estudadas 73 mulheres portadoras da infecção pelo HIV, ou com Aids. Os dados foram obtidos por meio de um formulário que investigava a caracterização sociodemográfica, as formas de anticoncepção utilizada e a situação sorológica do parceiro sexual. Os dados foram analisados descritivamente e os conteúdos das respostas abertas, agrupados em temas. Foi aplicado o teste exato de Fisher para análise de algumas variáveis, em nível de 5%. Para a análise de conteúdo utilizou-se a proposta de Bardin. RESULTADOS: A maioria das mulheres estava em fase de vida reprodutiva, eram casadas e foram contaminadas quase exclusivamente por meio da relação heterossexual. Entre elas, 35,4% referiam parceiro sexual discordante quanto à sorologia anti-HIV, e 13,7% utilizavam formas inadequadas de anticoncepção que também não protegiam da transmissão do HIV. CONCLUSÕES: Os resultados alertam para a necessidade de ações educativas continuadas quanto a experiências sexuais mais seguras entre portadoras de HIV/Aids, para que elas possam discutir com seus parceiros outras formas de exercerem sua sexualidade, sendo capazes de estabelecer opção contraceptiva mais consciente, de maneira a zelar pela sua saúde, do parceiro e até do concepto.