JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java

This dissertation aims at extending the JCircus tool, a translator of formal specifications into code that receives a Circus specification as input, and translates the specification into Java code. Circus is a formal language whose syntax is based on Z s and CSP s syntax. JCircus generated code uses JCSP, which is a Java API that implements CSP primitives. As JCSP does not implement all CSP s primitives, the translation strategy from Circus to Java is not trivial. Some CSP primitives, like parallelism, external choice, communication and multi-synchronization are partially implemented. As an aditional scope, this dissertation will also develop a tool for testing JCSP programs, called JCSPUnit, which will also be included in JCircus new version. The extended version of JCircus will be called JCircus 2.0.

Programa de aquisição de alimentos (2003-2010): avaliação da implementação pela CONAB no Rio Grande do Norte

This thesis aimed to evaluate the implementation of the Food Acquisition Program(PAA) through CONAB RN in the period of 2003-2010 with the perception of all agents involved in the implementation of the government program.For the methodological trajectory it was adopted a descriptive bibliographical and documentary approach with triangular qualitative and quantitative, also called evaluative research.The theoretical model was supported by the authors Draibe (2001), Aguilar and Ander-Egg (1994) and Silva(2001), among others, that focused on family farming and evaluation of implementation of public policy having as a category of analysis the size implementation of policy and the latter divided into 10 theoretical dimensions.The universe consisted of three groups: the first were the managers and technicians from CONAB(RN and Brasilia), totaling 15 subjects. The second group was of associations/cooperatives that participated in the programin 2010, totaling a sample in each access of 15 representatives. The third group of subjects totaled with 309 representatives of governmental and non-governmental organizations that received donations of food for the same period. Semi-structured interviews and forms were adopted as instruments of data collection.The data were processed qualitatively by the analysis of content (interviews and documents) and quantitatively by means of statistical tests that allowed inferences and adoption of frequencies. Among the key find ingests that the program is not standing as a structure supported by planning. The interests of the performers do not necessarily converge with the objectives of the Food Acquisition Program (PAA). A shockof goals was identified (within the same program) when comparingthe financial agent (Ministry of Rural Development and of Social Development and Fight Against Hunger Ministry r) and the executor, CONAB/RN. Within the assessed dimensions, the most fragileis the sub-managerial decision-making and Organizational Environment and internal assessment, still deserves attention the sizeof logistical and operational Subsystem, as this also proved weak.The focusin the quest toexpand thequantificationof the resultsof theFood Acquisition Program (PAA)by CONAB/RN does forget a quality management focused on what really should be:the compliance with the institutional objectives of the government program.Finally, the perspective for the traded implementation should be re-examined because excessive discretion by managers along with technical staff has characterized there al role of the Food Acquisition Program (PAA) as public policy. We conclude that the implementation model, which apparently aggregates values to the benefitted citizens, has weakened the context of work on family farms having the management model of the implementation process be reviewed by the Federal Government and point too ther paths, which have as a guide line the emancipation and developmentof the field or in the field andat the same time enables the reduction of nutritional deficiency of beneficiaries in a balanced and coherent way

Femininos de montar - Uma etnografia sobre experiências de gênero entre drag queens

The paper presents a discussion about gender and body in the drag queens experience at Natal city (RN). From the different concepts that characterizes the identity processes on subjects who perform gender transformation (transvestites, transsexuals and female impersonators), the justification for studying the drag character is observed as a means to understand matters that are important when you take such a position. Therefore, there is a need for a linkage between the various concepts responsible for this definition, in addition to considering the historical and cultural process responsible for the creation of such categories, identities and stereotypes among these individuals. In this sense it will be possible to carry out a critical analysis on the different social loads present in each representation, and understand what is at stake in the attribution of classifications and terminologies that are applied to different expressions of metamorphosis. This ethnography considers the debate from a field research conducted at LGBT social establishments and other performance spaces of these people, verifying their dynamics in these places and investigating relationships between performers, personas and characters and also backstage scene in which they participate

Memórias de um palhaço: O rito de passagem de Roger Avanzi para o palhaço Picolino II

This dissertaion reflects about life's trajectory of a specific clown: Roger Avanzi, who gives animus to the clown Picolino II. The main objective is to promove reflections about the insertion of the clowns in the universe of the circus, to make us comprehend the process of formation of a clown formed in a traditional circus family. In this research, we begin of the conjecture that, through the individual memory we can think about rebuild the process of a professional's integral formation.Then, we trace the itinerary of Roger Avanzi, the clown Picolino II, think that it has possibilities, in this case, to discuss about what is a clown's formation when it come from a traditional circus family. To walk on this universe, a huge numer of authors that deeply studyed about the circus ans the clowns, like: Avanzi; Tamaoki (2004), Bolognesi (2003), Castro (2005), Pantano (2007), Ruiz (1987), Silva (1997) e Torres (1998). We bring then, a theoric base that certainly, fortifies and corroborates our thoughts and reflections about the universe of circus and the trajectory of clown's formation, with special atention to Roger Avanzi, fundamentals i studies about it and with memories like Halbwachs's (2004) and Bosi's (1994). The reflections enabled to conclude that a clown doesn't born done; it becomes in the cultural trajectory, in which all the human are inserted

Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy

A poética do corpo não-verbal: um olhar para a comicidade em cena

Throughout our history as an actor, director and teacher, we appreciate comedic performances they proposed a dialogue with the public through the body language of the performers whose performances abdicate the use of speech of the actors. This way of representing, in the silence of the stage, caught our attention and sparked our curiosity about the subject, which is directly related to the poetic constructions of the body on the scene. Before initial readings on the subject, we begin to understand that for a long time in human history, especially in the West, understanding body was constructed from various epistemological looks disregarded the body as a unit, an incarnation of the subject in all . This kind of thinking, reflecting the philosophy of modernity, reverberated strongly about the aesthetic issues of art making, here specifically in Theatre. For several centuries the theatrical make up molded from various aesthetic elements, but ignoring the potential of embodiment of the artist, ie the theatrical text, for example, was considered for a long time, as the main element of the scene and gave little emphasis on dramaturgy elaborate body. With the emergence of reflections on the subject, brought especially from the early twentieth century, the perception of the body as a creative element and creator, also began to gain ground. Over time artistic practices began to glimpse the creative possibilities of the body, including rethinking its relationship with the text written with the spoken word. And as part of these new reflections on the body in the creation process, we proposed this research, we have entitled "A poetics of non-verbal body: a look at the comic on the scene." In our research on this subject, also seek to understand how the corporeality of the actor may give us clues to realize / build nonverbal body and comical scene. From this perspective we can analyze how could the construction of a comical and non-verbal dramaturgy from the phenomenology of laughter. And with that look, we want to point out some aspects and procedures, arising from reflections on corporeality and comedy, that constitute, among other possible, non-verbal construction methodology scenic.

Programa de aquisição de alimentos (2003-2010): avaliação da implementação pela CONAB no Rio Grande do Norte

This thesis aimed to evaluate the implementation of the Food Acquisition Program(PAA) through CONAB RN in the period of 2003-2010 with the perception of all agents involved in the implementation of the government program.For the methodological trajectory it was adopted a descriptive bibliographical and documentary approach with triangular qualitative and quantitative, also called evaluative research.The theoretical model was supported by the authors Draibe (2001), Aguilar and Ander-Egg (1994) and Silva(2001), among others, that focused on family farming and evaluation of implementation of public policy having as a category of analysis the size implementation of policy and the latter divided into 10 theoretical dimensions.The universe consisted of three groups: the first were the managers and technicians from CONAB(RN and Brasilia), totaling 15 subjects. The second group was of associations/cooperatives that participated in the programin 2010, totaling a sample in each access of 15 representatives. The third group of subjects totaled with 309 representatives of governmental and non-governmental organizations that received donations of food for the same period. Semi-structured interviews and forms were adopted as instruments of data collection.The data were processed qualitatively by the analysis of content (interviews and documents) and quantitatively by means of statistical tests that allowed inferences and adoption of frequencies. Among the key find ingests that the program is not standing as a structure supported by planning. The interests of the performers do not necessarily converge with the objectives of the Food Acquisition Program (PAA). A shockof goals was identified (within the same program) when comparingthe financial agent (Ministry of Rural Development and of Social Development and Fight Against Hunger Ministry r) and the executor, CONAB/RN. Within the assessed dimensions, the most fragileis the sub-managerial decision-making and Organizational Environment and internal assessment, still deserves attention the sizeof logistical and operational Subsystem, as this also proved weak.The focusin the quest toexpand thequantificationof the resultsof theFood Acquisition Program (PAA)by CONAB/RN does forget a quality management focused on what really should be:the compliance with the institutional objectives of the government program.Finally, the perspective for the traded implementation should be re-examined because excessive discretion by managers along with technical staff has characterized there al role of the Food Acquisition Program (PAA) as public policy. We conclude that the implementation model, which apparently aggregates values to the benefitted citizens, has weakened the context of work on family farms having the management model of the implementation process be reviewed by the Federal Government and point too ther paths, which have as a guide line the emancipation and developmentof the field or in the field andat the same time enables the reduction of nutritional deficiency of beneficiaries in a balanced and coherent way

Femininos de montar - Uma etnografia sobre experiências de gênero entre drag queens

The paper presents a discussion about gender and body in the drag queens experience at Natal city (RN). From the different concepts that characterizes the identity processes on subjects who perform gender transformation (transvestites, transsexuals and female impersonators), the justification for studying the drag character is observed as a means to understand matters that are important when you take such a position. Therefore, there is a need for a linkage between the various concepts responsible for this definition, in addition to considering the historical and cultural process responsible for the creation of such categories, identities and stereotypes among these individuals. In this sense it will be possible to carry out a critical analysis on the different social loads present in each representation, and understand what is at stake in the attribution of classifications and terminologies that are applied to different expressions of metamorphosis. This ethnography considers the debate from a field research conducted at LGBT social establishments and other performance spaces of these people, verifying their dynamics in these places and investigating relationships between performers, personas and characters and also backstage scene in which they participate