BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks

Ambientes residenciais controlados por dispositivos móveis: estudo, concepção e desenvolvimento de um aplicativo considerando a diversidade

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Aprendizagem da língua japonesa apoiada por ferramentas computacionais: estudo e desenvolvimento do jogo Karuchā Ships Invaders

The use of technology tools for teaching and learning has grown increasingly in our daily life. In this context, a branch that has had tremendous growth is the area of teaching and learning language through computational tools. The study of CALL (Computer Assisted Language Learning), accomplished in this research, aims to evaluate existing tools in this context, focused specifically on the Japanese language; and from this study, accomplish the development of a new computational tool that can assist teaching/learning of the Japanese language. As results, we present a wide survey on the subject in various technologies/devices, as well as the complete development process of a new tool, the Karuchā Ships Invaders game, that proposes to teach basic concepts of the language, blended with entertainment, and still, focusing on the Brazilian students of Japanese language audience. We will present all the concept phases of the game and its evolution through the research, as well as an interface evaluation. Still, we present proposal and validation of a method to evaluate motivational aspects of computational tools with educational focus, and results extracted from an experiment accomplished with prospective users

Interação gestual em ambiente residencial: estudo, concepção e desenvolvimento

Control and automation of residential environments domotics is emerging area of computing application. The development of computational systems for domotics is complex, due to the diversity of potential users, and because it is immerse in a context of emotional relationships and familiar construction. Currently, the focus of the development of this kind of system is directed, mainly, to physical and technological aspects. Due to the fact, gestural interaction in the present research is investigated under the view of Human-Computer Interaction (HCI). First, we approach the subject through the construction of a conceptual framework for discussion of challenges from the area, integrated to the dimensions: people, interaction mode and domotics. A further analysis of the domain is accomplished using the theoretical-methodological referential of Organizational Semiotics. After, we define recommendations to the diversity that base/inspire the inclusive design, guided by physical, perceptual and cognitive abilities, which aim to better represent the concerned diversity. Although developers have the support of gestural recognition technologies that help a faster development, these professionals face another difficulty by not restricting the gestural commands of the application to the standard gestures provided by development frameworks. Therefore, an abstraction of the gestural interaction was idealized through a formalization, described syntactically by construction blocks that originates a grammar of the gestural interaction and, semantically, approached under the view of the residential system. So, we define a set of metrics grounded in the recommendations that are described with information from the preestablished grammar, and still, we conceive and implement in Java, under the foundation of this grammar, a residential system based on gestural interaction for usage with Microsoft Kinect. Lastly, we accomplish an experiment with potential end users of the system, aiming to better analyze the research results

Interfaces cérebro-computador: estudo, design e desenvolvimento do jogo AdmiralMind Battleship

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

O turismo de base local como um possível indutor de desenvolvimento rural: uma análise da realidade e das potencialidades no distrito de dondo-moçambique

The current debate on rural development focuses on the territorial approach, recognizing the multifunctional character of rural areas. Emphasize the use of endogenous forces, the need of implement policies which valorize local specificities, the participation of social actors in revitalization of rural areas. In this context tourism enters as a means to induce a new dynamic to rural areas, since the activity is regarded as a channel for the upgrading of the natural and cultural resources and the rural way of life. This study focuses on local-based tourism as a promoter of rural development, giving an analysis of the social reality and potential for this tourism in the district of Dondo. In it, is proposed to analyze the potential for development of local-based tourism in the district of Dondo, assessing the extent to which local reality enables the inclusion of the community in the management of local tourism resources. For this, was showed the inclusion of local-based tourism in the current context of rural development, was identified and organized systematically the factors that influence the implementation of local-based tourism in the study area and was verified as far as possible the study area corresponds to the constraints identified, showing how local-based tourism can best been encouraged. Was adopted a qualitative methodological approach to both the procedures and data processing, but also by critical approach, using bibliographical research, semi-structured interviews that fell on the group of public administrators who work in tourism and community leaders. The critical analysis was based on the principles of sustainability o Sachs particular ecological, social, cultural, economic, space, beyond the analysis of political and institutional aspects. The survey results show that the district of Dondo has a potential for implementing a model of tourism development on a local basis, since it is rich in natural and cultural research, benefits from good network accessibility in the context of the market in the region, the population live according to their habits and customs and value their identity. There is also a good cooperation between community members, although not in tourism, a fact which is observed through the lever of community participation in associations, cooperatives, working in areas such as agriculture, fishing, environment, civic education etc. It also has public funding sources to augment or stimulate local investment. Despite obstacles such as inexistence of policies and local plans for tourism development, lack of awareness of tourism, lack of basic infrastructure, as well as equipment and facilities to support tourism, the results shows that these problems can be solved through a public commitment from both government, and community through a joint planning and participation

Fatores que influenciam na efetivação de ações para o desenvolvimento do turismo municipal: uma análise da regionalização do turismo no Rio Grande do Norte no ano de 2012

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Fatores capazes de influenciar o apoio dos residentes ao desenvolvimento do turismo religioso em Santa Cruz - RN

This study is about the primary stakeholder management - the resident community, given its participation and support for the development of tourism in touristic destinations. It has as a general aim to analyze the factors that are capable to influence the residents‟ support to the development of religious tourism in Santa Cruz, RN, and the existing interrelationships between factors. In order to achieve this objective, it was necessary to use exploratory and descriptive research, followed by a quantitative approach through questionnaires with 422 residents of Santa Cruz -RN. The study was based on the variables relationship model proposed by Nunkoo and Ramkissoon (2012), it was also used the technique of Structural Equation Modeling - SEM, aiming to explain the relationships between the constructs studied. The results found on the survey suggest that the more residents realize the benefits generated by tourism, as well as trust in government actors in charge of tourism development, the more there will be a propensity to support the development of religious tourism. This result is similar to the one found in the study of Nunkoo and Ramkissoon (2012). We conclude that the structural model that best represents the reality of Santa Cruz -RN is composed of the factors: benefits, costs, and confidence in governmental actors, which are able to influence the support of Santa Cruz‟s residents for the development of religious tourism. It is also noteworthy that it was found a highly significant connection between the factors benefits perceived from tourism and confidence in governmental actors and between both of them, the political support for tourism

Fatores que afetam o apoio de residentes ao desenvolvimento do turismo em sítios arqueológicos: um estudo no Seridó Potiguar

The tourist activity , which appropriates spaces and natural , cultural , social and economic scenarios in a given locality , requires a model of integrated development necessarily reconciling the support of residents. In this perspective , this study aims to analyze the factors influencing the support of residents in tourism development in archaeological sites , specifically in the two counties of Parelhas and Carnaúba dos Dantas , in Rio Grande do Norte, in the region of Seridó Potiguar as well as the interrelationship existing between these factors . To achieve the proposed objective of the research , a descriptive -exploratory and quantitative study based on the study of Nunkoo and Hamkisson (2012 ) , using the technique of Structural Equation Modeling - SEM to explain the relationships of the constructs used in this research. Data collection was performed during the periodof May 2013 to July 2013. Among other studies, results indicate that , for the profile of the interviewees used , the higher the confidence of the community residing in the government agencies responsible for, the largest tourism will support the resident to the tourism development and that this supply relationship institutions and government agencies an opportunity to enhance their development strategies and social thinking of the resident agent of tourism . It was also found that the analysis model proposed has a better structural relationship when used interviewees who have knowledge about the activities in the archaeological sites , then suggesting the need for further research on the effect of the level of knowledge of the interviewee on the object and support of residents to tourism development

A gestão participativa do desenvolvimento rural sustentável: o PRONAF na Subzona de Touros/ RN

To investigate the possibilities and limits of mechanisms of participativa management in the scope of the Pronaf - National Program of Fortalecimento of Familiar Agriculture, and the corresponding effectiveness of its actions in the construction of alternatives of sustainable agricultural development in the Coast North of the State of the Great River of the North, more specifically, in the composed Subzona de Touros for the cities of Bulls, White Well, Pureness, Is Miguel of the Gostoso and Taipu. To carry through this analysis they had been carried through Research of Field with the objective to reconstitute the trajectory of the CMDRS, to trace the profile of the citizens that compose each one of the five advice, its expectations, interests and the level of participation of the local population

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

Estudo teórico-bioclimático da potencialidade de desenvolvimento do Aedes aegypti no estado do Rio Grande do Norte

In the current climate of global public health there is the emergence of urban dengue, a disease regarded as acute infectious fever. The disease annually, has affected millions of people worldwide, mostly in the range of the intertropical globe. The disease's main vector in urban areas, the Aedes aegypti mosquito. Recent studies indicate that the distribution of the insect vector of dengue in the geographical area is directly tied to the behavior of environmental restrictions that area, especially among those, the air temperature and relative humidity. From that context, the work aims to estimate and spatializing, monthly, for each municipality in the state of Rio Grande do Norte, the potential of biophysical conditions conducive to the development of Aedes aegypti. Yet, made use of the following methodology: collection of epidemiological data and climatological, Normal climatological, descriptive statistics (measures of central tendency and scatter), uniform distribution, estimation geostatistics and sufer program, version 8.0. The results flagged for a behavior very heterogeneous, both in space and in time, in the case of the potential of biophysical conditions conducive to the development of Aedes aegypti in the state of Rio Grande do Norte. Still, he noted that there is a tendency for lifting the potential of development for the entire state, from the month of January, ending in the month of April mainly in central and western portions of the state. By contrast, there is the permanence of increased potential for development in the eastern portion of the state. The latter record maximum potential in the month of July, resulting probability of greater than 70% have been favorable conditions for the development of Aedes aegypti in that area. In the period between the months of August to December, it is small potential for development of Aedes aegypti in all parts of the state

A contribuição da biotecnologia vegetal para o desenvolvimento da cajucultura familiar no município de Serra do Mel (RN)

This work focuses the familiar cajuculture at Serra of Mel (RN) that presents a geographic and climatic structure favourable to the development of the cajuculture; the interaction between the ambient factors and agriculture in the region provides a propitious environment to the culture of the cashew; the objective of present work was associate ambient, economic, social and cultural factors of this municipy with the possibility of a sustainable agriculture associated with the vegetal biotechnology

Atores sociais e política ambiental urbana do Município de Mossoró/RN pelo prisma das cartografias sociais analíticas

It starts with the understanding that the relationship between society / nature is largely problematic in a context of socio-environmental crisis. In this context, we use the principle of hope to plan and work out new ways of understanding social reality, the relationship between science and alternative knowledge. The research is to investigate how the actors influence the social construction of urban environmental policy of the city of Mossoró / RN with reference to the processes of implementing the Master Plan and Agenda 21 of the municipality. The hypothesis of this research is that the Environmental Policy in Mossley has a normative character that is expressed primarily in the creation of an institutional political framework to manage environmental issues involving so incidental and or functional society participation mossoroense. Thus questioned who are the actors that build environmental policy Mossoró / RN. The specific objectives of this research are: Identify the environmental dimension of the Master Plan Agenda 21 articulated Mossoró / RN mapping information from the managers, engineers and members of the Municipal Environment and Municipal Council of Cities on the operation of urban environmental policy mossoroense and how it is performed by the Manager of Environmental Management in conjunction with the Department of Environment and Territorial Development (SEDETMA) and Executive Management of Urban Development. As a methodology, we used the method of the sociology of absences and emergencies in conjunction with the ecology of knowledge and productivity. It is a qualitative research and documentary, which was used as the Master Plan documents Mossoró / RN, minutes of meetings of boards and complementarity were carried out 12 semi-structured interviews with managers and directors of the Urban Environmental Policy of the Municipality of Mossoró / RN. They used also the social analytical or thematic maps for the translation of the dialogue among social partners, managers and directors who make the Environmental Policy Council. We conclude that these dialogues and experiences point to the construction of an environmental policy more participatory and effective, committed to individual and collective transformation of society mossoroense

A contribuição da asstênia técnica no desenvolvimento desenvolvimento de projetos de assentamento no estado do Rio Grande do Norte

The public policies must have as their aimed the primordial at improving quality of life of families of a given population, however, its performance must be constantly monitored and evaluated scoped to ascertain whether these policies are reaching those goals. This work consisted in search of bibliographies and analysis that addressed the historical evolution of the debate on the subject of agrarian reform in Brazil as public policy and on the policy of technical assistance and rural extension, and collecting data in loco, in order to assess whether the actions implemented under this latter contribute to improvements in local development of settlements projects (PA) land reform in the state of Rio Grande do Norte (RN), this given the constant presented criticisms regarding their effectiveness, considering that it is difficult to empirically differentiate settlements they received of those who did not receive the technical assistance services. In this way, was held the data collection for comparison of characteristics (social organization, relationship with the local environment, form of producing and evaluation of technical assistance services) of two settlements in RN, being one you have received the technical assistance services and another who has not had access to these services in the past five years, at least, to confirm whether those who had access to the above services presents best features of social organization and the relationship with the local environment, mainly, which was confirmed in the results obtained, which still demonstrated that no significant differences on the forma to produce and of commercialization in PA studied. It was also found that the problems faced by families settled in PA studied resemble those seen verified in many other Brazilian states, especially as to how to use natural resources in the areas of land reform and the instability of the availability of technical assistance services. Should be guaranteed at continuity and universality of technical assistance services to settlements, seeking a higher focus on productive issues, which provide the income necessary for families settled can have a better quality of life