O computador no ensino de lígnua inglesa no CEFET/RN

The present study has as goal to analyze the aplicability of the computational technology as mediator in the english-speaking teaching in the Centro Federal de Educação Tecnológica do Rio Grande do Norte-CEFET/RN. The object of study was centered in the use of the computer incorporated in the teaching of English by four institution groups. The research was ruled metodologically in the study of case, adopting a qualitative and quantitative boarding of interpretative-reflexive mark. We support ourselves on a bibliographical literature revision that cares of the use of the computational technology matter into the class-room, aiming an education new practice, regarding the current reality conceptions in what we live in the technological education. We also use a referencial for a pedagogical action, trying to offer subsidies for a practice that provides the knowledges generation through the interaction, aiming a subject reflexive and critical education. For materialization of this study, we used esrutuctured action, as interviews for the teachers and students, besides the observations of the dayly in class-room, in order to get the necessary datas for analysis. During this study, we oserved that the use of the computer, while pedagogical support instrument in the english-speaking teaching, has acted like mediator of the teaching-learning process. The results demonstrate use of the computer use has been each more a practice adopted by other institution languages teachers. The conclusions confirm the hypothesis showed at the beginning of the work and evidence that the teachers are warden of forming thinking, reflexive and critical subjects. For that, they need to be prepared to face situations in which they can take the pedagogical practice to tune with the technological advances, consequently providing an effective technological education

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

Análise das mutações C288Y, S65C e H63D e frequência alélica do gene HFE em pacientes com hiperferritinemia, em uma cidade do Nordeste, Brasil

Background & Aims: HFE-associated Hereditary Hemochromatosis (HH) is one of the most frequent autosomal recessive disease in the caucasian population, caused by the high absorption and deposition of iron in several organs. This accumulation results in several clinical complications such as cirrhosis, arthritis, cardiopathies, diabetes, sexual disorders and skin darkening. Although most of the cases are homozygous individuals for the C282Y mutation, another two mutations, H63D and S65C, have been reported to be associated with milder forms of the disease. The objective is to avaluate the distribution of C282Y, H63D and S65C mutations in the HFE gene in patients with suspected HH in the state of Rio Grande do Norte, Brazil. Methods: Samples of peripheral blood were taken from 335 patients originating from Natal-RN, a city in northeastern Brazil with suspected of HH and which were screened for the HFE gene C282Y, H63D and S65C mutations, using molecular genetics assays (Polymerase Chain Reaction- Restriction Fragments Length Polymorphism). The main criterion for including such patients in the study was the increasing of persistent serum ferritin in individuals aged between 18 and 70 or older, both males and females. As to the exclusion criteria, individuals holding hemolytical anemia, talassemy and previously report of blood transfusion did not take part of the study. Results: Out of the 335 patients studied, 143 patients showed absence of mutation and 195 showed some kind of mutation in the HFE gene: 07/335 (2,08%) were homozigous C282Y, 25/335 heterozygous C282Y, 25/335 (7,46%) were homozigous H63D, 115/335 (34,32%) heterozygous H63D, 5/335 (1,48%) heterozygous S65D, 11/ 335 (3,28%) and were double heterozygous (H63D/C282Y). None patients were Homozygous S65D and S65D heterozygous (S65D/H63D and S65D/C282Y). Conclusions. The distribution of the HFE gene C282Y, H63D and S65C mutations found in our group matches the tendencies observed in other European countries. Due to the high prevalence of hemochromatosis, its seriousness and easy treatment, the genetic diagnosis of HH has become a dream, especially in the high risk group.