Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

O planejamento turístico e o comércio ambulante : uma análise à luz da teoria das representações sociais

The Social Representation Theory provides subsidies to scientifically analyze what is called common sense, suggesting that thought be given credibility to the individual, from the assignment of logic to it. The Representations allow us to interpret, understand, explain and thus classify information, events and people. In this sense, this study aimed to analyze how social representations of the actors of the intinerant traders who operate in Ponta Negra/RN can be used as an element for tourism planning. To achieve the desired goals, we conducted a qualitative study, from a descriptive study, using methods of data collection the research literature, the technique of free association of words and the questionnaire, applied with 90 intinerant traders who work in Ponta Negra/RN beach. As tools of data analysis were used to analyze literature, and software EVOC and SPHINX. This research has revealed the predominance of people in itinerant male, between 18 and 28 years, with incomplete primary education, no contributors of Previdência Social and working seven days a week. The core elements of representations brings that explain that their knowledge is guided by collectively shared knowledge in the culture of tourism, which is seen as something that brings economics benefits (money) to the society, from the travel and entertainment. The plan represents the forward thinking, based on development plans that seek improvements and organization. The structure and operation of tourism planning in Natal/RN, there were no representation of intinerant traders. It is concluded that understanding the needs of itinerant traders provides grants to developing strategies for the development of tourism. This is achieved from its inclusion in tourism planning, since it enables tourism managers to understand how they are capturing, interpreting and acting on their next reality, since these representations are fundamental in forming opinions and the establishment of individual attitudes and collective. Thus, it is an important theory to be used to subsidize social research with individuals living reality and local needs, but which is the margin of decision-making processes of economic in the Brazil

Análise da relação entre apego ao lugar, satisfação e fidelidade dos visitantes em destinos turísticos ambientais: um estudo em Fernando de Noronha/PE

The competition among tourist destinations environmental generates the emergent need to find different strategies to close down if the purpose of delight and retain their visitants. A customer satisfaction, loyalty and the development of attachment to place form a solid compound in search of promotion a tourist destination. This study presents the general objective analysis of the relationship between attachment to place, satisfaction and loyalty of visitors, in the archipelago of Fernando de Noronha / PE. Therefore, a model will be used as reference, where they will be analyzed various constructs related to attachment to place, satisfaction and loyalty, as well as the relations between them. The methodology used in the study consists of an exploratory, descriptive, where the sample is random and consists of individuals who visited Fernando de Noronha on a pre-defined period of ten days. Based on a sample table, we defined a quantitative equivalent of 246 questionnaires, which will be applied when the visitor leaves the destination, the departure lounge of airport. A proposal focuses on the possibility to get results able to understand the subjective and intriguing relationship that involves the triad attachment to place, satisfaction and loyalty, trying to thus provide subsidies for optimizing environmental tourist destination

Cultivo de algas marinhas como desenvolvimento de comunidades costeiras

In northeastern Brazil, the extraction of agar has increased considerably in recent decades mainly using macroalgae of the genus Gracilaria. The pressure of the harvest of seaweed of this genus has compromised the sustainability of this natural resource. Given the current framework of decline in production of algae in the state of Rio Grande do Norte, it is necessary the deployment of crops that will assist in the development of coastal areas. This research aimed to develop studies on growth, productivity, efficiency and quality of agar of G. birdiae so as to provide subsidies for crops on commercial scale. The study was carried out in dry and rainy periods using rafts of cultivation. Algal biomass and the physical and chemical parameters of water were measured every fifteen days. In laboratory, the resistance and quality of agar were analyzed. The relative growth rate (TCR) was determined by the formula: RGR = ln (final weight / weight initial). 100 / interval time of sampling. During the study, environmental factors as salinity and temperature remained relatively constant (around 35 PSU and 28°C, respectively). The mean values of biomass ranged around 1952.67 ± 576g in the rainy period and 1925.67 ± 450g in the dry period, and they presented no significant variations. The maximum value of growth (TCR) was recorded in the dry season (7.45%.day-1), with an average over the study of 4.35%.day-1. The yield of agar ranged from 22% to 15%, and its resistance ranged from 850 to 650g. cm². The average obtained for the two periods was approximately 750 g cm². These results demonstrate the great potential of Gracilaria birdiae for mariculture can be used as an sustainable activity for coastal communities

Quilombolas e desenvolvimento sustentável: análise a partir da comunidade Capoeira dos Negros (Macaíba/RN)

Quilombo communities remaining are groups marked by insufficient public assistance and characterized by living in rural and conducting economic activities such as agriculture. The development on a sustainable basis is important to ensure strategies for economic growth and environmental preservation. This work aims to study the remaining Quilombo Capoeira Black community, located in the municipality of Macaíba, Rio Grande do Norte, considering the principles of sustainable development. Attempt to respond to what level such community can be considered sustainable from an analysis of their social practices. The methodological procedures used consisted of a literature review and documentary, questionnaires, conducting semi-structured interviews and direct observation. The final results show that the family farm has characteristics that approximate the principles of sustainable development, including the diversification of labor, food production with less environmental damage and strengthening the rural environment, and indicate that the main economic activities practiced in Capoeira dos Negros community are agriculture, manufacturing of cassava flour and brick manufacturing, which, in turn, are linked to negative environmental impacts, such as sedimentation pond, groundwater contamination, air pollution and soil erosion. What lead to the conclusion that the social practices of the community are not in line with the dimensions of sustainable development. It is hoped that the survey results provide subsidies for development and implementation of public policies

Sistemas computacionais espaço-temporais para toma de decisão em questões ambientais relacionadas à indústria de petróleo e gás

The area between São Bento do Norte and Macau cities, located in the northern coast of the Rio Grande do Norte State is submitted to intense and constant processes of littoral and aeolian transport, causing erosion, alterations in the sediments balance and modifications in the shoreline. Beyond these natural factors, the human interference is huge in the surroundings, composed by sensitive places, due to the existence of the Guamaré Petroliferous Pole, RN, the greater terrestrial oil producing in Brazil, besides the activities of the salt companies and shrimp farms. This socioeconomic-environmental context justifies the elaboration of strategies of environmental monitoring of that coastal area. In the environmental monitoring of coastal strips, submitted to human impacts, the use of multi-sources and multitemporal data integrated through a Spatio- Temporal Database that allows the multiuser friendly access. The objective was to use the potential of the computational systems as important tools the managers of environmental monitoring. The stored data in the form of a virtual library aid in making decisions from the related results and presented in different formats. This procedure enlarges the use of the data in the preventive attendance, in the planning of future actions and in the definition of new lines of researches on the area, in a multiscale approach. Another activity of this Thesis consisted on the development of a computational system to automate the process to elaborate Oil-Spill Environmental Sensitivity Maps, based on the temporal variations that some coastal ecosystems present in the sensibility to the oil. The maps generated in this way, based on the methodology proposed by the Ministério do Meio Ambiente, supply more updated information about the behavior of the ecosystem, as a support to the operations in case of oil spill. Some parameters, such as the hydrodynamic data, the declivity of the beach face, types of resources in risk (environmental, economical, human or cultural) and use and occupation of the area are some of the essential basic information in the elaboration of the sensitivity maps, which suffer temporal alterations.In this way, the two computational systems developed are considered support systems to the decision, because they provide operational subsidies to the environmental monitoring of the coastal areas, considering the transformations in the behavior of coastal elements resulting from temporal changes related the human and/or natural interference of the environment

Morfologia e sedimentologia da plataforma continental brasileira adjacente a São Bento do Norte e Caiçara do Norte-RN/NE-Brasil

This dissertation the results of a research developed in the area of São Bento do Norte and Caiçara do Norte, northern coast of the State of Rio Grande do Norte, during the period of June of 2000 to August of 2001, in the ambit of the projects MAMBMARÉ (CNPq/CTPETRO) and PROBRAL (CAPES/DAAD). The objective principal of this research was the characterization of the sedimentary dynamics of this coast, with base in data of coastal process (winds, currents, waves and tides), with topographical risings (beach profiles and dunes), satellite images and sedimentary analyses. The more specific objectives were accomplished the coastal monitoring of this coast, to verify the maintenance of an erosive tendency or progradacional after the groynes construction for contention of the erosion in the beach of Caiçara do Norte, as well as to verify the influence of the features of bottom of the platform interns adjacent on the pole petroliferous of Guamaré. The executed monitoramento allowed to identify that the movement of the sediments, along the year, in that area, is cyclical, reaching the largest oscillations during the months of winter (deposition) and they will summer (erosion). The sedimentologic studies indicated a general tendency for sands quartzosas, with gravel presence, moderately to good selected, with asymmetry predominantly negative. In agreement with the parameter of Dean (1957), used in the identification of the state morfodinâmico of the beaches, monitored beaches, are basically reflectivas with tendency to middlemen, what frames that space of the coast norte-riograndense, as a space strongly vulnerable to erosive processes. The studies developed in the platform, it interns of this area, allowed to visualize for the first time, in large scale, the distribution of the features of the submarine bottom to the batométrico coat of 25 meters. Being pointed out the presence of a high one topographical submerged, with about 5 meters of height, 1 km of width and more than 24 meters of extension, located in the platform it interns in front of São Bento do Norte; coincident with the trend of the system of flaws of Carnaubais. This feature relay an important paper on the control of the sedimentary processes and oceanographic, as well as in the coastal evolution of this area of the RN state, and they affect the area of the pole petroliferous of Guamaré directly. These results contribute to a better knowledge of the processes in the area, and consequently as subsidies implantation of measures of coastal and environmental protection for the cities of São Bento do Norte and Caiçara do Norte, as well as to understand how the geological-sedimentary processes and oceanographic, in this area, are influencing the characteristics geoambientais of the pole petroliferous of Guamaré

Caracterização da dinâmica ambiental da região costeira do município de Galinhos, litoral setentrional do Rio Grande do Norte

This doctorate thesis concerning on the Characterization of the Environmental Dynamics of the Coastal Area of the Municipal district of Galinhos, Septentrional Coast of Rio Grande do Norte State, is located in the influence area of the Guamaré Petroliferous Pole, having as general objective the understanding of the active coastal dynamics in the region of Galinhos, whose specific objectives were: To study the variation of the coast line in the decades of 1954, 1967,1988, 1996, 2000, from remote sensing products; To elucidate the hypothesis of the region of Galinhos to have been an old system of islands barriers, using as basic tool the penetration radar in the soil - GPR; To monitor and to characterize the coastal dynamics of the study area starting from monthly data of beach profiles, sedimentological analysis, hydrodynamic data and environmental characterization data; which were used to feed the database of the N-NE network of Environmental Monitoring of Areas under Influence of the Petroliferous Industry;(REDE05/FINEP/CNPq/CTPETRO/ PETROBRAS). This research is justified, of the environmental point of view, by involving the mangrove ecosystem considered one of the most delicated environments of the State. From the viewpoint of the petroleum exploration, the systems of islands barriers are favorable for hydrocarbons reservoirs and, consequently important targets to the oil and gas industry, becoming this region attractive in comparison with similar lithified environments. With the results of the variability study in the position of the coast line in the Municipal district of Galinhos/RN from the analysis of remote sensing images, it was possible to investigate the changes in the coast line in temporal scale; the use of directional filters allowed to emphasize linings in the direction NE and to identify submerged features such as sandwaves. The use of GPR enabled the confirmation of paleochannels existence and thus confirmed the hypothesis that the Galinhos spit was formed from an old system of islands barriers. The results of the granulometric analyses indicated that in the summer period the sediments in the profiles A and B in the foreshore portion were classified with the granulometry of sand with scattered gravel and in the shoreface were constituted by sand, but in the winter period these same morphologic compartments were constituted by sand with sparse gravel and siltic sand respectively. In the profile C, in the summer and in the winter, the shoreface and foreshore compartments presented predominantly constituted by sand with sparse gravel. The hydrodynamic results showed that the largest wave heights were registered in the month of February (62 cm) and the highest period of 1,00 m/s in the month of May, the sense of the coastal currents was kept among the quadrants SW and NW, and the winds coming from NE were predominant. The analysis of the beach profiles demonstrated that in the profile A, although it had occurred erosion and deposition during the monitored months, the morphology of the referred profile was kept constant. In the profiles B and C, there were abrupt changes in the morphology, during the monitored months, having been identified a cyclic pattern in the features of the foreshore zone sometimes forming longitudinal sandy bars and in other times forming berm. These results evidenced, therefore, that studies of this nature are of fundamental importance for the coastal zoning, aiming subsidies to the organs managers in the closing of decisions as for the implantation of enterprises in the area, and for the industry of the petroleum through generation of information that subsidize the implementation and location of petroliferous structures adequate to this environment

Simulação de Fluxo no Meio Poroso Utilizando o Fluent

The complexity of the Phenomenon of fluid flow in porous way causes a difficulty in its explicit description. Different in the cases where the flow is given through a pipe, where it is possible to measure the length and diameter of the pipe and to determine their ability to flow as a function of pressure, which is a complicated task in porous way. However, we try to approach clearly the equations used to conjecture the behavior of fluid flow in porous way. We made use of the Gambit to create a fractal geometry with the fluent we give the contour´s conditions we would want to analyze the data. The triangular mesh was created; it makes interactions with the discs of different rays, as barriers putted in the geometry. This work presents the results of a simulation with a flow of viscous fluids (oilliquid). The oil flows in a porous way constructed in 2D. The behavior evaluation of the fluid flow inside the porous way was realized with graphics, images and numerical results used for different datas analysis. The study was aimed in relation at the behavior of permeability (k) for different fractal dimensions. Taking into account the preservation of porosity and increasing the fractal distribution of the discs. The results showed that k decreases when we increase the numbers of discs, although the porosity is the same for all generations of the first simulation, in other words, the permeability decreases when we increase the fractality. Well, there are strong turbulence in the flow each time we increase the number of discs and this hinders the passage of the same to the exit. These results permitted to put in evidence how the permeability (k) is affected in a porous way with obstacles distributed in a diversified form. We also note that k decreases when we increase the pressure variation (P) within geometry. So, in front of the results and the absence of bibliographic subsidies about other theories, the work realized here can possibly by considered the unpublished form to explain and reflect on how the permeability is changed when increasing the fractal dimension in a porous way

Monitoramento costeiro das praias de São Bento do Norte e Caiçara do Norte RN: implicações para o pólo petrolífero de Guamaré

This dissertation the results of a research developed in the area of São Bento do Norte and Caiçara do Norte, northern coast of the State of Rio Grande do Norte, during the period of June of 2000 to August of 2001, in the ambit of the projects MAMBMARÉ (CNPq/CTPETRO) and PROBRAL (CAPES/DAAD).The objective principal of this research was the characterization of the sedimentary dynamics of this coast, with base in data of coastal process (winds, currents, waves and tides), with topographical risings (beach profiles and dunes), satellite images and sedimentary analyses. The more specific objectives were accomplished the coastal monitoring of this coast, to verify the maintenance of an erosive tendency or progradacional after the groynes construction for contention of the erosion in the beach of Caiçara do Norte, as well as to verify the influence of the features of bottom of the platform interns adjacent on the pole petroliferous of Guamaré. The executed monitoramento allowed to identify that the movement of the sediments, along the year, in that area, is cyclical, reaching the largest oscillations during the months of winter (deposition) and they will summer (erosion). The sedimentologic studies indicated a general tendency for sands quartzosas, with gravel presence, moderately to good selected, with asymmetry predominantly negative. In agreement with the parameter of Dean (1957), used in the identification of the state morfodinâmico of the beaches, monitored beaches, are basically reflectivas with tendency to middlemen, what frames that space of the coast norteriograndense, as a space strongly vulnerable to erosive processes. The studies developed in the platform, it interns of this area, allowed to visualize for the first time, in large scale, the distribution of the features of the submarine bottom to the batométrico coat of 25 meters. Being pointed out the presence of a high one topographical submerged, with about 5 meters of height, 1 km of width and more than 24 meters of extension, located in the platform it interns in front of São Bento do Norte; coincident with the trend of the system of flaws of Carnaubais. This feature relay an important paper on the control of the sedimentary processes and oceanographic, as well as in the coastal evolution of this area of the RN state, and they affect the area of the pole petroliferous of Guamaré directly. These results contribute to a better knowledge of the processes in the area, and consequently as subsidies implantation of measures of coastal and environmental protection for the cities of São Bento do Norte and Caiçara do Norte, as well as to understand how the geological-sedimentary processes and oceanographic, in this area, are influencing the characteristics geoambientais of the pole petroliferous of Guamaré

Vulnerabilidades socioambiental na zona de proteção ambiental 9, Natal/RN

This work aims to analyze socio-environmental vulnerability in the Zone of Environmental Preservation -9, located in the northern of the city of Natal / RN. This objective was outlined when we noted a large number of households (about 2000) located in an area considered relevant in terms of environmental and social conditions, notably because of the existence of lakes, sand dunes and rivers that contribute to groundwater recharge Dunas/Barreiras Furthermore, this area is widely used for agricultural activities. The methodology used during this research is accorded to the literature review about the concept of vulnerability, consultations in public agencies for data acquisition, field research and questionnaires. Data collected from each category of vulnerability (social and environmental) were tabulated, analyzed and presented as tables, maps and texts. According to theoretical concepts and methodology of Alves (2006), Cutter (1996), Torres (2000), Acselrad (2006) e Hogan e Marandola Junior (2005; 2006; 2007), the research is structured in the preparation of an environmental diagnosis of the neighborhoods of Blue Lagoon and Pajuçara and subsequent analysis of socio-environmental vulnerability in the Zone of Environmental Preservation -9, especially Area 1, 2 and 3.There was a variation in results between the social vulnerability and environmental vulnerability categories for each area of the Zone of Environmental Preservation -9. However, the crossing between the two categories above showed that Area 3 had the highest level of environmental vulnerability, followed by Area 1. On the other hand, the Area 2 was considered of minor environmental vulnerability. In this sense, this work presents relevant subsidies to the planning of public policies, to identify and characterize the critical areas with high socio-environmental vulnerability

Análise e monitoramento geoambiental da praia de Genipabu/RN

Issues concerning coastal regions, especially the beaches have sparked quite complex because studies are there that most people in the world has secured housing, mainly from the half of the last century, without concern for the natural dynamics of these environments, which have complex interactions of continental and oceanic, coastal responsible for changes in locations that can be perceived in a few years and sometimes even a few days or hours. The search took as main goal, analyze the Genipabu Beach, in the municipality of Extremoz/RN, fragile environment and rapid momentum, which has been occupied in a disorderly and unplanned. Carried out a beach monitoring through profiles beach environments: defined stages morphodynamics; realization of characterize hydrodynamic processes; identification of changes in the landscape. To this end, made necessary a survey from the bibliographic collection for theoretical and conceptual rationale. An empirical step for conducting the environmental characterization of hydrodynamics, leveling and topographic analysis of sediments (in laboratory), for observation of changes in features, influenced, and natural dynamics, anthropic action that increasingly comes taking the characteristics from the natural landscape. Underlines therefore the importance of academic studies in several areas in these environments, for setting up a coastal zoning giving public subsidies for managers for managing and planning the use and occupation of the coast in their areas

Principais conclusões do workshop conjunto dos programas FAPESP BIOTA-BIOEN-mudanças climáticas: ciência e políticas públicas para uma economia mais verde, no contexto da RIO+20

Este Ponto de Vista resume as conclusões de um Workshop conjunto, organizado pelos três Programas da FAPESP na Área Ambiental - BIOTA (O Instituto Virtual da Biodiversidade) - BIOEN (Pesquisa em Bioenergia) - Mudanças Climáticas, para discutir a contribuição da comunidade científica para a RIO+20, a Conferência das Nações Unidas para o Desenvolvimento Sustentável. O grupo de pesquisadores brasileiros reunidos pela FAPESP no início de março de 2012 levantou as seguintes preocupações: a) o número reduzido de oportunidades para a comunidade científica interagir com Conferências como a RIO+20; b) as graves deficiências do ZeroDraft, documento produzido pela Divisão das Nações Unidas para o Desenvolvimento Sustentável para a RIO +20; c) o fato do foco de pesquisa dos três Programas de Pesquisa Ambiental da FAPESP - biodiversidade, bioenergia e mudanças climáticas - não estarem na pauta das discussões da RIO+20; d) que pouca ênfase é dada aos oceanos na Agenda da Conferência; e) em relação aos mecanismos de mercado associados com a transição para uma economia mais verde, a necessidade de enfatizar a redução de subsídios perversos e a promoção de incentivos econômicos para atividades ou processos de mitigação e/ou seqüestro de carbono; f) a necessidade de estimular o desenvolvimento e a consolidação da pesquisa na área de avaliação e valoração de serviços ambientais, no Brasil. Os participantes do Workshop reconheceram a necessidade de aprofundar o conhecimento sobre as convenções, tratados e acordos internacionais assinados e ratificados pelo Brasil, bem como as instituições internacionais, programas e iniciativas que promovem a participação da comunidade científica no debate de políticas ambientais globais. Finalmente, do ponto de vista dos três programas da FAPESP dois pontos foram destacados: a) que é imperativo aprofundar o conhecimento científico em cada uma das três áreas focais - biodiversidade, bioenergia e mudanças climáticas - porque é necessário aumentar a massa crítica de pesquisadores e do conhecimento para participar das discussões internacionais nessas áreas estratégicas; b) também é imperativo apoiar e promover projetos de pesquisa que integrem as áreas focais dos três programas, estimulando a constituição de equipes inter e transdisciplinares. Esta é uma tendência mundial na área das mudanças ambientais globais, e os participantes dos três programas sentem que podem dar uma contribuição significativa para o avanço do conhecimento, para o debate internacional e para a efetiva solução dos problemas.

Subsídios para a gênese da imprensa musical brasileira e para a história do Hino da Independência, de Dom Pedro I

Este artigo tem por objetivos rever, mediante análise bibliográfica e de fontes primárias, a história de um de nossos símbolos musicais pátrios, o Hino da Independência, de Dom Pedro I, bem como trazer novos subsídios para o estudo da gênese da imprensa musical brasileira. Tem, igualmente, por escopo divulgar peculiaridades de uma antiga e pouco conhecida partitura desse hino, já não mais presentes em modernas edições de tal composição.

Contaminação de águas subterrâneas por pesticidas: avaliação preliminar

A discussion about groundwater contamination is presented in this work. Contamination by agricultural activity, more specifically by pesticides is emphasized. Indirect and direct estimates could be used to predict pesticide behavior in soil, and consequently, to evaluate the potential of groundwater contamination. These results could be applied to advise about the possibility of groundwater contamination by pesticides, and to provide subsidies for making decisions more quickly and efficiently.