POPT: uma abordagem de ensino de programação orientada a problema e testes

There is a growing interest of the Computer Science education community for including testing concepts on introductory programming courses. Aiming at contributing to this issue, we introduce POPT, a Problem-Oriented Programming and Testing approach for Introductory Programming Courses. POPT main goal is to improve the traditional method of teaching introductory programming that concentrates mainly on implementation and neglects testing. POPT extends POP (Problem Oriented Programing) methodology proposed on the PhD Thesis of Andrea Mendonça (UFCG). In both methodologies POPT and POP, students skills in dealing with ill-defined problems must be developed since the first programming courses. In POPT however, students are stimulated to clarify ill-defined problem specifications, guided by de definition of test cases (in a table-like manner). This paper presents POPT, and TestBoot a tool developed to support the methodology. In order to evaluate the approach a case study and a controlled experiment (which adopted the Latin Square design) were performed. In an Introductory Programming course of Computer Science and Software Engineering Graduation Programs at the Federal University of Rio Grande do Norte, Brazil. The study results have shown that, when compared to a Blind Testing approach, POPT stimulates the implementation of programs of better external quality the first program version submitted by POPT students passed in twice the number of test cases (professor-defined ones) when compared to non-POPT students. Moreover, POPT students submitted fewer program versions and spent more time to submit the first version to the automatic evaluation system, which lead us to think that POPT students are stimulated to think better about the solution they are implementing. The controlled experiment confirmed the influence of the proposed methodology on the quality of the code developed by POPT students

Geração de testes a partir de gramáticas: áreas de aplicação

The work proposed by Cleverton Hentz (2010) presented an approach to define tests from the formal description of a program s input. Since some programs, such as compilers, may have their inputs formalized through grammars, it is common to use context-free grammars to specify the set of its valid entries. In the original work the author developed a tool that automatically generates tests for compilers. In the present work we identify types of problems in various areas where grammars are used to describe them , for example, to specify software configurations, which are potential situations to use LGen. In addition, we conducted case studies with grammars of different domains and from these studies it was possible to evaluate the behavior and performance of LGen during the generation of sentences, evaluating aspects such as execution time, number of generated sentences and satisfaction of coverage criteria available in LGen

Avaliando a robustez e manutenibilidade do comportamento excepcional de aplicações C#

Mainstream programming languages provide built-in exception handling mechanisms to support robust and maintainable implementation of exception handling in software systems. Most of these modern languages, such as C#, Ruby, Python and many others, are often claimed to have more appropriated exception handling mechanisms. They reduce programming constraints on exception handling to favor agile changes in the source code. These languages provide what we call maintenance-driven exception handling mechanisms. It is expected that the adoption of these mechanisms improve software maintainability without hindering software robustness. However, there is still little empirical knowledge about the impact that adopting these mechanisms have on software robustness. This work addresses this gap by conducting an empirical study aimed at understanding the relationship between changes in C# programs and their robustness. In particular, we evaluated how changes in the normal and exceptional code were related to exception handling faults. We applied a change impact analysis and a control flow analysis in 100 versions of 16 C# programs. The results showed that: (i) most of the problems hindering software robustness in those programs are caused by changes in the normal code, (ii) many potential faults were introduced even when improving exception handling in C# code, and (iii) faults are often facilitated by the maintenance-driven flexibility of the exception handling mechanism. Moreover, we present a series of change scenarios that decrease the program robustness

Análise da rede política do turismo brasileiro.

The dissertation examines the influence of relationships among actors from Brazilian Tourism Political Network who compose the National Council of Tourism in the drafting of the National Tourism Plans (PNT) - PNTs 2003/2007 and 2007/2010, focusing on two main types of interaction: cooperation and information exchange. Therefore, the study departed from the understanding that the concept of tourism as a human phenomenon is configured as an essential conceptual basis for the development, implementation and analysis of public policies. The application of Network Theory and Social Network Analysis serves as an analytical tool, in addition, the use of concepts of Policy Networks enabled to interpret, in distinct aspects, the social reality of tourism in a more precise and detailed way. The study had a cross-sectional with a longitudinal perspective and case study was adopted, thus enabling to apply the model of social network analysis and qualitative approach. Through the survey conducted, it was found that the drafting process of National Tourism Plans was the result of the interaction of a complex network of actors from public and private initiatives, who compose the National Council of Tourism, and that their power of influence came out simultaneously, but not symmetrically, for both their performance/intervention in the meetings, and the possession of economic and organizational resources. Hence, the establishment of partnerships and information exchanges among the actors were underlying to the PNT drafting process, both in problems perception and insertion in the government agenda, as in making proposals to solve them, thus guiding the construction of large programs and programs contained in both investigated plans.

GESTÃO AMBIENTAL E COMPETITIVIDADE EM DESTINOS TURÍSTICOS: percepção dos gestores de pequenos meios de hospedagem de Natal/RN sobre o uso de práticas ambientais como fator de competitividade

The present work aimed at investigating the small hotel managers perceptions from Natal/RN concerning the environmental practice uses as a competitive factor. This study is characterized as a descriptive exploratory research that used an aleatory probabilistic sample followed by the application of collect data instrument (questionnaire). The small hotels located in Natal/RN were the study participants and the specific location where 35 questionnaires were answered. Based on the data and on the mangers point of view, it is possible to comprehend that, among the presented indicators, the development of environmental programs in the hotel enterprise is showed as the least important for the client s choice. As the main conclusion it is relevant to argue that, according to the small hotel managers, the guests do not still search for hotels that implement environmental practices. On the other side, the interviewed managers believe that the use of these practices can generate a great competitive advantage in relation to their competitors. The information obtained by this present research will be able to contribute to establish a contemporary panorama in relation to the importance attributed by the managers concerning the use of environmental practices in small hotel enterprises in Natal/RN. In addition the correct use of this information can generate possibilities of major competitiveness in this segment

Determinantes de competitividade de destinos turísticos aplicados aos roteiros regionais: uma avaliação do roteiro Seridó/RN

The tourism industry is gaining representation by move and stimulate the economy, especially by allowing the generation of employment and income, thus allowing growth opportunities for localities where tourism develops. Therefore, the present study entitled determinants of competitiveness of tourist destinations applied to regional routes: an evaluation of the Route of Seridó/RN, discusses the issue of competitiveness in tourism and tries to understand the scenery of this Route. The main objective of the study is to assess the conditions of competitiveness in the Route of Seridó/RN according to benchmarks and global determinants of competitiveness for tourist destinations. The study has also as specifics objectives: define dimensions of the reference model for use in evaluating the competitiveness of the Route of Seridó/RN; identify levels of governance and competitiveness in the municipalities that make up the sample set above the Route, and analyze to what extent the competitiveness of the Route correspond to the global reference of competitiveness of tourism destinations. Regarding the methodology, it is a search for an exploratory- descriptive and used a combination of quantitative and qualitative research method as expected and required in the implementation of the evaluation tool called Compet&enible Model. For data collection, it has been taken technical visits and also analysis of documents and materials. Data analysis was based on the records and documents and the use of simple descriptive statistics for the scores of the elements offered by Compet&enible Model. The results allowed us to know the real conditions of competitiveness of the Seridó/RN Route forward to the attributes of tourist destinations for global competitiveness: the dimension I, Governance, reached 17 points, classified as "in structuring" and dimension II, Competitiveness, reached 10 points, ranking "weak". These results highlight the need for greater involvement of the actors in the supply chain of tourism in Polo Seridó/RN for the actions, programs and projects are put into practice. It is expected that tourism is considered an important activity for the local and global development, serving as a reference for the future management of Seridó/RN Route, guiding new policy guidelines, planning and organization to better competitiveness

Dinâmica da paisagem na Microbacia do Riacho Cajazeiras no semiárido potiguar

The semi-arid Northeast region are coming through changes since its formation causing changes in the landscape and increased degradation. The economic dynamics which was established at the Potiguar semiarid had for a long time settled in livestock, subsistence agriculture and cotton, however, these economies decline from the year 1970. Thus, the Potiguar spaces are undergoing by a process of space reordering marked by the growth of agricultural activities and the process of urbanization. In the Potiguar western region these changes weaken significantly transform the landscape. In these areas, the process of urbanization and agricultural activities have caused changes in the hinterland landscape changing the natural dynamics of the caatinga biome that has been subject to negative interference with the indiscriminate removal of vegetation. In this case, the specific study area of the watershed of Cajazeiras Creek located in the cities of Pau dos Ferros, Água Nova, Encanto and Rafael Fernandes, changes in the landscape has led to degradation and environmental fragility. From this perspective, the research objective is to assess the dynamics of the landscape of the watershed of Cajazeiras Creek, semiarid region of the state of Rio Grande do Norte, identifying the degrading factors, the most degraded areas and/or susceptible to degradation and environmental fragility. The research investigated the phenomena of light geosystems theory that emphasizes the integration of elements in shaping the landscape. During this reporting period, it was carried out exploratory and bibliographical research, and geoprocessing techniques to assess the social and environmental conditions of the researched area and its environmental fragility. To do so, first, it was made an multitemporal analisis on the basis of the years 1984, 1996 and 2009 demonstrating that the dynamics of use and land cover in the watershed of Cajazeiras Creek showed a significant change in the landscape, especially in the caatinga vegetation. This has been recovering in various areas of the watershed, especially in its upper course in the mountains of Bom Sera, in Encanto city. The analysis showed the need to develop policies and programs for the maintenance, restoration and preservation of the caatinga vegetation of the river network and of water bodies. In addition, it was identified the most degraded areas of the watershed, environmental fragility and potential emerging that take into account the landscape components such as climate, topography, geology, pedology, geomorphology and the use and occupation of the soil in an integrated manner. The results show that the landscape of the watershed has medium and high environmental fragility throughout its area, especially on the banks of the river network provided by the use and occupation of the soil in an inadequate way with the environmental conditions of the watershed

Redesenho das configurações estruturais na gestão universitária: ações derivadas da inovação e flexibilidade na legislação pós-LDB 1996

This paper is set in a scenario in which higher education institutions suffer from external pressure to increase efficiency. The legislation after the Law of Directives and Bases for Education (LDBE), from 1996, is characterized by the fragmentation in its implementation, raising a concern with flexibility and innovation in several normative devices as well as aspects that must be incorporated to its organizational structure. The policies examined in this thesis are: Distance Education (DE); Law of Innovation and the Program of Support to Restructuring and Expansion of Federal Universities (PSREFU). This thesis aims to observe to what extent the characteristics of innovation and flexibility, which mark the new post- LDBE educational legislation, influence the organizational redesign of the Federal University of Ceará (UFC). For being about implementation policies, using contingency approach in order to collect the internal dynamics permeating the redesign of higher education institutions, the thesis focuses on the impacts caused by flexibility and innovation. This is a qualitative research, with case study methods, archive research and semi-structured interviews with members of the university administration. The results don t allow us to confirm the adoption of a more flexible and innovative configuration in the university but it is possible to identify the presence of those elements in the implementation changes, characterizing the hybrid structure. The changes mainly expose the extension of the management of projects to the administrative and academic components related to the institution. In terms of projection, the study found changes in the elements which characterize the current setting and the tendency of the university for adopting a diverse organizational structure. However, if the decentralization of management persists, the academic units may adopt their own structural solutions, but with no evidence of changes in the professional organization in most units. In this perspective, this thesis states that there are difficulties when incorporating innovation and flexibility to their organizational structure, which lead to improvised solutions, superposing skills through the redundancy of structures created with the same purpose or copying exogenous solutions

Por uma pedagogia do oprimido midiático: meios de comunicação e suas intervenções na escola

En este trabajo nos ocupamos de la convergencia de la fotografía, el vídeo y la música, intermediado por una estación de radio en la escuela, instalada en la escuela Municipal de Djalma Maranhão, Natal, Rio Grande do Norte, en una clase de 5º año de jóvenes y adultos en el año escolar 2007. Se analizan las intervenciones causados los que participan en la vida escolar, a partir de las actividades realizadas por ellos, en la producción de programas de radio. Los procedimientos metodológicos sobre la base de la etnometodologia (COULON, 1995a, 1995b), en la investigación cualitativa (BOGDAN, BIKLEN, 1999, DENZIN y LINCOLN, 2006), participante como observador (MAY, 2004) y la investigación-acción (THIOLLENT, 1992). La comprensión de Paulo Freire en la comunicación e la educación es nuestro principal referente teórico. Los experimentos citados en los medios de comunicación revelaron varias posibilidades de mejora en la enseñanza y el aprendizaje, como el aumento de la autoestima de los estudiantes, social y de inclusión educativa de personas con discapacidad, disminución de la timidez y facilitar la comunicación entre los sujetos, lo que permite el diálogo entre ellos, intervino en sus relaciones sociales, más allá de los límites de la escuela. La investigación confirma, entonces, que la comunicación y la educación son parte de la misma naturaleza

Síntese e caracterização de pós Ba(x)Sr(1-x)Co0,8Fe0,2O3- através do método de coprecipitação via oxalato

Ceramic powders based on oxides of perovskite-type structure is of fundamental interest nowadays, since they have important ionic-electronic conductivity in the use of materials with technological applications such as gas sensors, oxygen permeation membranes, catalysts and electrolytes for solid oxide fuel cells (SOFC). The main objective of the project is to develop nanostructured ceramic compounds quaternary-based oxide Barium (Br), Strontium (Sr), Cobalt (Co) and Iron (Fe). In this project were synthesized compounds BaxSr(1-x)Co0, 8Fe0,2O3- (x = 0.2, 0.5 and 0.8) through the oxalate co-precipitation method. The synthesized powders were characterized by thermogravimetric analysis and differential thermal analysis (TGADTA), X-ray diffraction (XRD) with the Rietveld refinement using the software MAUD and scanning electron microscopy (SEM). The results showed that the synthesis technique used was suitable for production of nanostructured ceramic solid solutions. The powders obtained had a crystalline phase with perovskite-type structure. The TGA-DTA results showed that the homogeneous phase of interest was obtained temperature above 1034°C. It was also observed that the heating rate of the calcination process did not affect the elimination of impurities present in the ceramic powder. The variation in the addition of barium dopant promoted changes in the average crystallite size in the nanometer range, the composition being BSCF(5582) obtained the lowest value (179.0nm). The results obtained by oxalate co-precipitation method were compared with those synthesis methods in solid state and EDTA-citrate method

Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos

Predição em modelos de tempo de falha acelerado com efeito aleatório para avaliação de riscos de falha em poços petrolíferos

We considered prediction techniques based on models of accelerated failure time with random e ects for correlated survival data. Besides the bayesian approach through empirical Bayes estimator, we also discussed about the use of a classical predictor, the Empirical Best Linear Unbiased Predictor (EBLUP). In order to illustrate the use of these predictors, we considered applications on a real data set coming from the oil industry. More speci - cally, the data set involves the mean time between failure of petroleum-well equipments of the Bacia Potiguar. The goal of this study is to predict the risk/probability of failure in order to help a preventive maintenance program. The results show that both methods are suitable to predict future failures, providing good decisions in relation to employment and economy of resources for preventive maintenance.

PEWS-RT, um sistema de tempo de execução para a linguagem PEWS

Web services are loosely coupled applications that use XML documents as a way of integrating distinct systems on the internet. Such documents are used by in standards such as SOAP, WSDL and UDDI which establish, respectively, integrated patterns for the representation of messages, description, and publication of services, thus facilitating the interoperability between heterogeneous systems. Often one single service does not meet the users needs, therefore new systems can be designed from the composition of two or more services. This which is the design goal behind the of the Service Oriented Architecture. Parallel to this scenario, we have the PEWS (Predicate Path-Expressions for Web Services) language, which speci es behavioural speci cations of composite web service interfaces.. The development of the PEWS language is divided into two parts: front-end and back-end. From a PEWS program, the front-end performs the lexical analysis, syntactic and semantic compositions and nally generate XML code. The function of the back-end is to execute the composition PEWS. This master's dissertation work aims to: (i) reformulate the proposed architecture for the runtime system of the language, (ii) Implement the back-end for PEWS by using .NET Framework tools to execute PEWS programs using the Windows Work ow Foundation

Gestão Sustentável da água: um estudo da conscientização ambiental em atividades residenciais urbanas

The search for sustainable solutions through an appropriate environmental administration of the available natural resources, that comes from encounter to the aspirations of preservation of the environment and of the human being, in way to diagnose and to solve the environmental and social problems with the smallest possible impact to the nature and the man, it is the great challenge, so much for that generation, as for the future generations. The study of the environmental problems of the water and the participation and the social actors' environmental understanding as a whole, interferes in the field of the thematic environmental international, contemplating the strategic need of an appropriate administration of that very natural one, through a program returned to the diagnosis of the problems and in the search of compatible maintainable solutions, in a social and environmental politics of planning and environmental education, centered above all in the citizen's voice , user of that system. The present thesis she seeks to study the problem of the maintainable administration of the water, focusing the participation and the citizen's environmental understanding in the use of that very natural one for urban residential activities, in what concerns the approach and analyses of variables that treat of the measurement of general knowledge and you adapt, sense of community of the access to the means of information and of the attitudes and environmental behaviors, besides the variables of partner-demographic characterization or personal identification of the interviewed ones of an exploratory research of the type " survey ", accomplished through a stratified aleatory sampling, being the strata each one of the 4 (four) Political-Administrative Areas of the Natal city, having happened the collection of the data in the period of february to april/2002. The methodology used in this work it constitutes in the application of questionnaires with scales of the type Likert to measure the echo-varied of the study, besides a partner-demographic scale for the characterization of the studied sample. For the analysis of the results, it was made an exploratory descriptive study initially, followed by the use of techniques statistical multivariate s, such as, factorial analysis through the application of main components, besides the accomplishment of studies of multiple lineal regression. To complement this study, the accomplishment of Tests of Independence was proceeded through the Qui-square of Pearson, in way to verify the dependence of the associations between the partner-demographic variables and the principal selected variables and presents in the resulting factors of the factorial analysis. The results appear for a low level of environmental knowledge, of access to the information and community's sense, besides the verification that the principal factors resultants send for the need of feeling emphasis in the programs and administration actions addressed for the environmental understanding, the behaviors and attitudes that approach the information and the environmental education, besides the reuse of the water

Estudo sísmico no açude Tucunduba, Senador Sá, CE

The Tucunduba Dam, is west of Fortaleza, Ceará State. The seismic monitoring of the area, with an analogical station and seven digital stations, had beginning on June 11, 1997. The digital stations, operated from June to November 1997. The data collected in the period of digital monitoring was analyzed for determination of hypocenters, focal mechanisms, and shear-wave anisotropy analysis. For determination of hypocenters, it was possible to find an active zone of nearly 1 km in length, with depth between 4.5 and 5.2 km. A 60AZ/88SE fault plane was determined using the least-squares method and hypocenters of a selected set of 16 earthquakes recorded. Focal mechanisms were determined, in the composite fault plane solution, a strike-slip fault, trending nearly E-W, was found. Single fault plane solutions were obteined to some earthquakes presented mean values of 65 (azimuth), and 80 (dip). Shear-wave anisotropy was found in the data. Polarization directions and travel time delays, between S spliting waves, were determined. It was not possible to obtain any conclusion on the cause of the observed anisotropy. It is not clear if there is correlation between seismicity and mapped faults in the area, although the directions obtained starting from the hipocentros and focal mechanism are they are consistent with directions, observed in the area, photo, topographic and fractures directions observed in the area