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

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

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

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