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

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

Um método semi-automatizado para elicitação de requisitos de acessibilidade Web

In the context of Software Engineering, web accessibility is gaining more room, establishing itself as an important quality attribute. This fact is due to initiatives of institutions such as the W3C (World Wide Web Consortium) and the introduction of norms and laws such as Section 508 that underlie the importance of developing accessible Web sites and applications. Despite these improvements, the lack of web accessibility is still a persistent problem, and could be related to the moment or phase in which this requirement is solved within the development process. From the moment when Web accessibility is generally regarded as a programming problem or treated when the application is already developed entirely. Thus, consider accessibility already during activities of analysis and requirements specification shows itself a strategy to facilitate project progress, avoiding rework in advanced phases of software development because of possible errors, or omissions in the elicitation. The objective of this research is to develop a method and a tool to support requirements elicitation of web accessibility. The strategy for the requirements elicitation of this method is grounded by the Goal-Oriented approach NFR Framework and the use of catalogs NFRs, created based on the guidelines contained in WCAG 2.0 (Web Content Accessibility Guideline) proposed by W3C

Geração de interfaces de usuário de sistemas Web para múltiplos dispositivos com o uso de componentes de IU

This work presents an User Interface (UI) prototypes generation process to the softwares that has a Web browser as a plataform. This process uses UI components more complex than HTML elements. To described this components more complex this work suggest to use the XICL (eXtensinble User Interface Components Language). XICL is a language, based on XML syntax, to describe UI Components and IUs. XICL promotes extensibility and reusability in the User Interface development process. We have developed two compiler. The first one compiles IMML (Interactive Message Modeling Language) code and generates XICL code. The second one compiles XICL code and generates DHTML code

Turismo e economia solidária : uma análise nas cooperativas e associações de artesanato do Roteiro Seridó norte-rio-grandense

The present study has addressed the issues surrounding the Solidarity Economy and Tourism, their perspectives and contributions to the development process of local communities, as well as the connection point between the two. This study evaluated the extent to which social economy through cooperatives and associations in tourism has generated socio-economic improvements for the artisans of the tourist Seridó. The study made as to their objectives, was exploratory and descriptive, since it involved both standard techniques of data collection, questionnaires and systematic observation, and secondary research and case studies, which characterizes an exploratory research, according to Castro (2008 ). The results indicate significant improvements offered by the inclusion of members in groups (associations and cooperatives) in matters concerning health, education, interpersonal relationships, and access to consumer credit to the artisans. Through this study, one might also note that the inclusion of products and services in tourism is not a relevant factor for the socio-economic improvements observed for the elevated presence of middlemen in the marketing process

Turismo, território e políticas públicas: uma análise do destino João Pessoa/PB

This study presents an approach to tourism activity from the perspective of the territory, analyzing the importance of the roles of the State and public policies for tourism development. Tourism in the northeastern region of Brazil begins to take its rise from the late 1970 through public policies, whose goal was to provide the necessary conditions for tourism development. The tourism public policies were the key elements in the production process of tourist territories in the region. In the state of Paraíba, the public authorities elected the coastline as the main attraction and the state capital, João Pessoa, as the locus for the tourism development, with the city receiving a series of public policies. In this context, this research aims to analyze the development process of three specific public policies for tourism development in João Pessoa: The (mega)Projeto Costa do Sol (1988), the PRODETUR/PB I and II (1997 e 2005) and the Plano Estratégico de Desenvolvimento do Turismo na Paraíba, the Plano Amanhecer (2000). This study was guided by the question that even having been contemplated by the tourism public policies, João Pessoa still remains in a peripheral position in the regional tourism market. The methodological procedures for this study were literature and documents research and semi-structured interviews with tourism public officials and representatives from local tourism trade. The research came to prove that the discontinuity between governmental administrations hampered the implementation process of the tourism public policies studied. It was observed that the implementation of tourism public policies in the long term depends on the interaction between governments, as well as the collective political will to develop tourism in Joao Pessoa

A cidadania no contexto do estado constitucional democrático de direito brasileiro

The citizenship is a fundamental category to the democratic progress and the development and concretization of human rights, in addition to being one of the essential foundations of democratic contextualized in the rule of law of the Federative Republic of Brazil. That’s exactly why the discussion about its concept and content is a paramount requirement to the understanding and interpretation-application-concretization of the Federal Constitution of 1988, as well as its democracy, since there is no democracy without citizenship. That is why the general objective of the research is to determine the characteristics of the citizenship, relating it to the Law, as well as to discuss (critically) its inclusion in the list of fundamental rights and delimitate the scope of protection and the limits of this right, in the context of Brazilian law post-1988 Constitution. The specific objectives are: a) to analyze the concept of citizenship, its extent and scope, contextualizing it historically; b) to examine the evolution of the legal and regulatory treatment of the citizenship in Brazilian constitutions, focusing on the 1988 Constitution; c) assess whether citizenship can be considered a fundamental right; d) to investigate which implications, theoretical and practical, of assignment fundamentality character to the right to citizenship. This research identifies and deconstructs current conceptual confusions, such as the lack of distinction between citizenship and nationality; citizenship and electoral capacity; citizenship and person. It also helps to identify and oppose the generalizations, as well as the excessively abstract associations which tend to purely metaphysical understandings, fluid and empty of any content. The main virtue, however, is the proposed of understanding of the citizenship as a fundamental right and the examination of the relationship between citizenship and human dignity. In this context, citizenship appears as a corollary of human dignity and it goes beyond. This (human dignity) requires equality, non-arbitraries, non-excessive, disproportionate or unreasonable impositions affecting their freedom rights, and, yet, doesn’t affect a minimum core of possibilities of have to a decent life, in conditions of freedom and self-conformation involved in the necessary consideration of the individual as a subject. All of this requires a decision-making process, molded by the citizenship, which reaches the entire development process of possible state interventions, to ensure the person as a subject, the right holder and the objective point of reference of the juridical relations. Thus, the citizenship represents a substantial and beneficial addition to the human dignity, since the emancipated citizen is a person, formally and materially, qualified, to be able to build their own and collectively organized history, to participate effectively in the making processes decision juridical and social

ArchWiSeN: uma estratégia baseada em modelos para desenvolvimento de aplicações para redes de sensores e atuadores sem fio

Wireless Sensor and Actuator Networks (WSAN) are a key component in Ubiquitous Computing Systems and have many applications in different knowledge domains. Programming for such networks is very hard and requires developers to know the available sensor platforms specificities, increasing the learning curve for developing WSAN applications. In this work, an MDA (Model-Driven Architecture) approach for WSAN applications development called ArchWiSeN is proposed. The goal of such approach is to facilitate the development task by providing: (i) A WSAN domain-specific language, (ii) a methodology for WSAN application development; and (iii) an MDA infrastructure composed of several software artifacts (PIM, PSMs and transformations). ArchWiSeN allows the direct contribution of domain experts in the WSAN application development without the need of specialized knowledge on WSAN platforms and, at the same time, allows network experts to manage the application requirements without the need for specific knowledge of the application domain. Furthermore, this approach also aims to enable developers to express and validate functional and non-functional requirements of the application, incorporate services offered by WSAN middleware platforms and promote reuse of the developed software artifacts. In this sense, this Thesis proposes an approach that includes all WSAN development stages for current and emerging scenarios through the proposed MDA infrastructure. An evaluation of the proposal was performed by: (i) a proof of concept encompassing three different scenarios performed with the usage of the MDA infrastructure to describe the WSAN development process using the application engineering process, (ii) a controlled experiment to assess the use of the proposed approach compared to traditional method of WSAN application development, (iii) the analysis of ArchWiSeN support of middleware services to ensure that WSAN applications using such services can achieve their requirements ; and (iv) systematic analysis of ArchWiSeN in terms of desired characteristics for MDA tool when compared with other existing MDA tools for WSAN.

Construção de um ambiente virtual de aprendizagem para aplicação do processo de enfermagem baseado na Nanda International, NOC, NIC e CIPE®

This study aimed to build a virtual learning environment for application of the nursing process based on the NANDA-I, NOC, NIC and ICNP® . Faced with problems related to learning of the nursing process and classifications, there is an urgent need to develop innovative teaching resources that modify the relationship between students and teachers. The methodology was based on the steps inception, development, construction and transition, and the software development process Rational Process Unifield. The team involved in the development of this environment was composed by researchers and students of The Care and Epidemiological Practice in Health and Nursing and Group of the Software Engineering curse of the Federal University Rio Grande do Norte, with the participation of the Lisbon and Porto Schools of Nursing, in Portugal. In the inception stage the inter research communication was in order to define the functions, features and tools for the construction process. In the preparation, step the planning and modeling occurred, which resulted in the creation of a diagram and a architectural drawings that specify the features and functionality of the software. The development, unit testing and integrated in interfaces of the modules and areas (administrator, teacher, student, and construction of the NP). Then the transition step was performed, which showed complete and functioning system, as well as the training and use by researchers with its use in practice. In conclusion, this study allowed for the planning and the construction of an educational technology, and it is expected that its implementation will trigger a substantial change in the learning of the nursing process and classifications, with the student being active agent of the learning process. Later, an assessment will be made of functional performance, which will enable the software development, with a feedback, correction of defects and necessary changes. It is believed that the software increment after the reviews, this tool grow further and help insert this methodology and every language under the educational and health institutions, promoting paradigmatic desired change by nursing.

Esforços governamentais locais para o desenvolvimento: desenhos, tendências e limites dos Fundos de Desenvolvimento Industrial nos estados do Rio Grande do Norte, Maranhão e Ceará (1985-2010)

This research aimed to analyze the main government efforts to promote economic development in the Northeast, from 1985 to 2010, under the view that growth is crucial for increasing industrialization process and allows for more significant growth patterns. The analysis was the context in which state governments react to the abandonment of developmental line the federal level, in the 1980s, incorporating features of the actions called endogenous regional development and providing local players with greater responsibility in the development process. Justifies the need to analyze the following scenario: state governments in northeastern Brazil using relevant part of its resources to finance the installation and expansion of companies through tax incentives, with a view to generating income and employment, whilst waiting for an increase in output and a positive change in economic dynamism. In addition, it puts in question the fact that these policies receive such importance of state administrations for the purpose of achieving regional development. It was left to consider, therefore, the contents of the shares elected by state governments to examine the scope of these policies both in the pattern of growth, the transformation of the industrial sector and the development of the region attention to changes in state production structures. Due to limitations on the availability of data and time to carry out research, we were elected three states for the study: Rio Grande do Norte, Ceará and Maranhão. The study found that, despite the contribution of policies analyzed to economic growth, sub-national states are unable to compensate for the lack of development agencies structured at the federal level.

Políticas públicas de turismo: análise do desempenho das instâncias de governança turística e seus reflexos no fomento do turismo cultural no município de Manaus/AM (2003-2014)

This study has the main objective to analyze the role of the bodies of state and local governance of tourism, aimed at tourism development process in the city of Manaus / AM , by the public practices of planning, management and development activity in the respective municipality . To the specific objectives were established four aims: 1) To characterize the process of formation of governance entities active in tourism in the city of Manaus. 2) Lift the actions planned and executed by the authorities aimed at cultural tourism in the period 2003-2014. 3) To question through the perception of the actors representing the different classes and entities of the Amazonian society, the actions planned and executed by the authorities aimed at cultural tourism in the period 2003-2014 and 4) Identify key similarities and the differences in decision-making about actions aimed at cultural tourism in Manaus. We adopted a qualitative approach, using the methodological design of descriptive and exploratory, with the help of the use of the techniques of literature search, document, with on-site data collection through interviews with semi-structured script application forms to the representatives of sectorial institutions that make up the locations of governance in tourism. In addition, the treatment of information was used content analysis technique. In response to stated objectives, it can be concluded that the creation of public arenas, through the tourism of governance has enabled incipient discussion in a democratic manner and decision-making in the area of planning and management of tourism in Manaus. It was also observed that obstacles that hinder and undermine the structures of the bodies, which reflect the joint, in the promotion and cultural tourism development in the city of Manaus.

Modelo institucional do processo de estruturação de empresas de desenvolvimento de software: um estudo de múltiplos casos

Some authors have shown the need of understanding the technological structuring process in contemporary firms. From this perspective, the software industry is a very important element because it provides products and services directly to many organizations from many fields. In this case, the Brazilian software industry has some peculiarities that distinguish it from other industries located in developed countries, which makes its understanding even more relevant. There is evidence that local firms take different strategies and structural configurations to enter into a market naturally dominated by large multinational firms. Therefore, this study aims to understand not only the structural configurations assumed by domestic firms but also the dynamic and the process that lead to these different configurations. To do so, this PhD dissertation investigates the institutional environment, its entities and the isomorphic movements, by employing an exploratory, descriptive and explanatory multiple cases study. Eight software development companies from the Recife's information technology Cluster were visited. Also, a form was applied and an interview with one of the main firm s professional was conducted. Although the study is predominantly qualitative, part of the data was analyzed through charts and graphs, providing a companies and environment overview that was very useful to analysis done through the interviews interpretation. As a result, it was realized that companies are structured around hybrids business models from two ideal types of software development companies, which are: software factory and technology-based company. Regarding the development process, it was found that there is a balanced distribution between the traditional and agile development paradigm. Among the traditional methodologies, the Rational Unified Process (RUP) is predominant. The Scrum is the most used methodology among the organizations based on the Agile Manifesto's principles. Regarding the structuring process, each institutional entity acts in such way that generates different isomorphic pressure. Emphasis was given to entities such as customers, research agencies, clusters, market-leading businesses, public universities, incubators, software industry organizations, technology vendors, development tool suppliers and manager s school and background because they relate themselves in a close way with the software firms. About this relationship, a dual and bilateral influence was found. Finally, the structuring level of the organizational field has been also identified as low, which gives a chance to organizational actors of acting independently

Projeto do complexo ambulatorial do Hospital Universitário João de Barros Barreto visando a critérios de sustentabilidade

The purpose of this dissertation is the architectural project of the ambulatory complex of the Federal University of Pará in Belém. It is a health care establishment whose focus is sustainability, energy efficiency and humanization. This design went through the application of architectural concepts, the study of references (theorical and empirical ones), planning, examining the terrain and its conditions and the preliminay design and resulted in a preliminary architecture blueprint. The empirical research is based on the main building of the Hospital Universitário João de Barros Barreto in Belém, Hospital Sarah Kubitschek of Fortaleza (Architect João Filgueiras de Lima - Lelé) and Hospital e Maternity São Luiz of São Paulo (Architect Siegbert Zanettini). Part of the planning is based on the method "Problem Seeking of Pena and Parshal (2001)". During the development process I sought to incorporate sustainability criterias, energy efficiency and humanization. In relation to sustainability the dissertation focuses on the utilization of rainwater for non-potable usage

Entre o cartão-postal e a cidade real: um estudo sobre paisagem e produção imobiliária em Natal/RN

Recent studies concerning the landscape have investigated the most important activities that contribute for its modification and have tried to better understand the society through the marks left by its quotidian. It is understood that singular landscapes constitute the cultural patrimonies of the cities, once they are part of the daily life of the citizens and are present in their social representations. Some contemporary authors defend the preservation of the natural and urban landscape trying, specially, to keep its importance for the local population. Natal is a city where the ambient qualities are well defined and known by the beauty of the area where it is located. Situated just between a river and the sea, the city grew following its geographic characteristics. The Potengi River, the Atlantic Ocean and the vast dunes ecosystem represented natural limits to the urban expansion; at the same time they have favored the development of a landscape pattern marked by the dialectic between the natural elements and the human interventions. However, this relationship changed after the intensification of the high rising development process that took place since the 1960s. The urban legislation tried to preserve the features of the local landscape delimiting Areas for Controlling Building High , destined to protect the scenic value of some parts of the city. On the other hand, the civil construction sector has made constant pressure in sense to abolish or to modify this legal instrument, aiming profits that have increased, in the 1990s, because of the consumption and the qualification of the urban space for tourist activities. It is necessary the raising of new elements to stimulate the quarrel about the landscape preservation, the process of the urban space production and the best way for the legislation implementation. This work tries to raise elements about the subject at local level, in sense to use Natal City experience to contribute for the formulation of indicators to raise the question about the lack of measure for subjective values, for example the cultural and affective value of the landscape. The natural elements inserted in the urban profile, represent strong visual references and supply identity to the town; they are part of the collective imaginary and are detached in the social context of the city. Then, why the preservation of the landscape, that estimates the improvement in the quality of life, is not enough to justify the controlling building high already previewed as part of Natal City Legislation? These questions send us to the approach of the landscape, as a community patrimony, alerting that some of its significant esthetics attributes must be preserved as a legacy for the future generations