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

Tvoice :um sistema de manipulação de linguagens para auxiliar portadores de necessidades especiais através da web

This work presents the tVoice, software that manipulates tags languages, extracting information and, being integral part of the VoiceProxy system, it aids bearers of special needs in the access to the Web. This system is responsible for the search and treatment of the documents in the Web, extracting the textual information contained in those documents and preceding the capability of generating eventually through translation techniques, an audio script, used by the of interface subsystem of VoiceProxy, the iVoice, in the process of voice synthesis. In this stage the tVoice, besides the treatment of the tag language HTML, processes other two formats of documents, PDF and XHTML. Additionally to allow that, besides the iVoice, other interface subsystems can make use of the tVoice through remote access, we propose distribution systems techniques based in the model Client-Server providers operations of the fashion of a proxy server treatment of documents

Reengenharia do framework cosmos: uma solução para prover suporte e adaptações abertas.

Self-adaptive software system is able to change its structure and/or behavior at runtime due to changes in their requirements, environment or components. One way to archieve self-adaptation is the use a sequence of actions (known as adaptation plans) which are typically defined at design time. This is the approach adopted by Cosmos - a Framework to support the configuration and management of resources in distributed environments. In order to deal with the variability inherent of self-adaptive systems, such as, the appearance of new components that allow the establishment of configurations that were not envisioned at development time, this dissertation aims to give Cosmos the capability of generating adaptation plans of runtime. In this way, it was necessary to perform a reengineering of the Cosmos Framework in order to allow its integration with a mechanism for the dynamic generation of adaptation plans. In this context, our work has been focused on conducting a reengineering of Cosmos. Among the changes made to in the Cosmos, we can highlight: changes in the metamodel used to represent components and applications, which has been redefined based on an architectural description language. These changes were propagated to the implementation of a new Cosmos prototype, which was then used for developing a case study application for purpose of proof of concept. Another effort undertaken was to make Cosmos more attractive by integrating it with another platform, in the case of this dissertation, the OSGi platform, which is well-known and accepted by the industry

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

Sustentabilidade ambiental do cultivo intensivo de Tilápias (Oreochromis niloticus) em tanques-rede e a capacidade de suporte de quatro reservatórios em uma região semi-árida tropical

Intensive production of tilápias, in cages or net tanks, has been proposed as an alternative to increase fish production, that would generate income and offer animal protein in different tropical and subtropical countries. However, this system of production enriches the aquatic environment with nutrients, principally nitrogen and phosphor derived from the dejections of the metabolism of food and eventual food surpluses consumed by the fishes; the alimentation of the fishes in this production modality is dependent on fish food. The emission of these nutritions in levels above the limit that the system is capable metabolize can provoke a phenomenon called eutrofization, putting in risk the quality of water for public and for fish production activities. In this context the work had as a goal to evaluate the trófico state of the four reservoirs for intensive production of tilapias in net-tanks, in other words, he maximum fish production that the reservoirs are able to hold, keeping the desired quantity of nutrient concentrations in water for public use. The results of the four ecosystems in the Boqueirão de Parelhas reservoir showed that it s possible to have an intensive production of tilapias in net tanks, in this environment the annual average concentration of phosphor, was below the considered critical limits to deflagrate the process of eutrofization in semi-arid regions. The carrying capacity of the Boqueirão de Parelhas reservoir depends on the conversion of the feeding facts and phosphor content in the food but it should vary between 100 and 300 tons per year over a variation in the conversion feeding factor of 1,7 to 2,0:1 and a variation in the P in the food of 0,7 to 0,9%

Zoneamento ambiental do Município de Aquiraz-CE

The Metropolitan Region of Fortaleza (RMF) is composed by thirteen cities, where is call the attention of Aquiraz. The city has a excellent resort area and a big importance in socioculture and historics aspects. It was one of the first village of Ceará, and it was founded in 1699, with was also the capital of the state until 1726. The urban local development has been disorganized in the last decades, the fact is, insert of turismon in its coast, and it is unable with alow capacity of the natural suppots, configuring unsustainable and et environment ambience. Considering as a turistic region, it is preoccupy, been necessart to create a better control of the nature of the region by the users. The environmental zoning in this work it is to plan of adequate form the use of the ground based in the management of the interests and the social and economic necessities in accord with the preservation of the environment and the natural characteristics of the city. The same is one great instrument planning where use to be analized in differents ways: social, ambiental, economical and institucional, and promove alternatives of use and occupation of the land to recreate the city. The methodo used to get the real objective, englobed zonal maps in ambiental unities and others themes (geologic/geomorphologic) since than the images from satelities LANDSAT and SPOT and fotografies under position of maps, secundaries listes gets in publics department, bibliographie, informations by the local populations. This prociduries mede easy to create maps, geologic/geomorphologic, of use and occupation the earth and the environmental zoning to analize the dynamic and the working of each ambiental unity of the city Aquiraz wich is located by map of this job. As a result of this job was confectionated the environmental zoning map of Aquiraz wich was divided in five ambiental unities and restrictions areas of occupation: unit I Littoral Plain (zoning with serious restrictions to the occupation); unit II Sub-Littoral Plain (improper zoning to the occupation); unit III between tray zoning Pré-Littoral and Peripheral Depression (improper zoning to the occupation); unit IV Strativism reserve of the plug (zoning used more under control in its occupation) and unit V Fluvial Plain Localities of the Indians Jenipapo-Kaninde/ locality Quilombolas (zoning used more without official regulation). With proposal in the ambient units above one expects that it has a reduction of the ambient degradation and protection of the local biodiversity of the city of Aquiraz in the State of the Ceará

Ações de cuidado nas relações intrageracionais em crianças em acolhimento institucional

According to the Statute of Children and Adolescents (1990) children and adolescents are conceived as subjects of rights, with absolute priority and development peculiar condition. Thus, if these rights were violated or threatened, will be applied protection measures. Within these measures, in that Statute, the foster institutional is proposed, with transitional and exceptional character. When the child goes out from family and community life, and she is upheld in an institution, the child is placed in a new development context, therefore, with new people, new places, and new relationships. According with Socio-Historical Psychology, theoretical support of this study, each context presents specific demands of socialization that influence child development and her subjectivity is constituted through the relations that the subject establishes in each context. These contexts bring challenges and proposals for the child and she needs to respond these. Then, whereas he is in relation to the other, in this moment, the subject is constituted, the interactions established during the foster institutional will be of paramount importance to the child. Among these interactions, we can cite situations involving aspects of moral development, specifically those that can ask (or not) the exercise of the virtues. About the intersection between these actions can then arise care actions beyond those involving the attending of an emerging need. The objective of this study is to investigate the presence of relation everyday permeated by care actions among children in foster institutional. For the scope of the objective three children were participated, with three years old and in foster care measure. The research is qualitative and the procedure for building the corpus was, mainly, the participant observation. Procedures with video and history in books were also used as supplementary procedures. The analysis of the corpus was made through Thematic Content Analysis, the episodes were grouped into analysis categories pre-and post-established. The preestablished were care actions related to body care, care actions related to socio affective aspects, and care actions related to body care and socio affective aspects simultaneously. The two post-established categories were dismemberment of the preceding categories, called care actions developed in child-child interaction, without the intervention of an adult, and care actions developed in child-child interaction, with direct intervention of the educator. The analysis indicated that in the everyday interaction between foster children, they identify the physical and emotional needs of each other foster member, and they are willing to help them in whatever way they can, emphasizing the importance of play and playful moments like mediators about these interactions. The care actions observed are based on children´s concepts and interpretations made from their experiences and largely refer to maternal care. The condition of being away from their family life can be an element that enables these actions. Finally, this study reaffirms the importance of designing the foster institution as a socialization and care space. It follows the importance of valuing and strengthening the positive aspects that arise in the relationships established by the children in this context, including the care actions, the research objective, which are components of the subjectivity of these children

Concepções de mulheres com deficiência física sobre a maternidade

The study aimed to understand the concept of women with physical disabilities about their ability to gestate, give birth or care a child. This is an exploratory, descriptive study with qualitative approach developed in three non-governmental organizations in Natal, Rio Grande do Norte, Brazil. The data collection occurred in the period from April to June, 2014, through semi-structured interviews, using a script composed by sociodemographic questions and a guiding one. It was obtained a priori the permission from the association’s directors, the approval from the Research Ethics Committee, of the Federal University of Rio Grande do Norte, CAAE nº 27442814.7.0000.5537 and the assent n° 618.045, as well as the participant’s formal authorization by signing the Informed Consent Statement. Participated in the study 12 women, selected according to the following inclusion criteria: to have physical disability, to be aged 18 to 49 years old, and to affirm the existence of limiting characteristics from early childhood (0-3 years). The information obtained in the interviews were subjected to the precepts of Content Analysis according to Bardin, under the thematic analysis technique. From this process, three categories emerged: Conceiving motherhood in front of disability; Conceiving the capacity to be mother with disability; and Conceiving the support during pregnancy and puerperium period. As the theoretical framework we adopted the principles of symbolic interactionism proposed by Blumer. The discussion was supported by literature findings on women's health care in the context of reproduction. The interviewees conceive motherhood as an accomplishment and believe in their own ability to gestate, give birth and care a child. However, the desire for the maternal role tends to be influenced by adverse feelings and limitations raised by disability, social barriers and prejudices. They also referred the importance of support from partner, family and health professionals in the care of child. Upon these findings, it is understood that although there are barriers to the realization of their desire, these barriers were not enough to make them give up on becoming a mother. Therefore, it is necessary that health professionals, highlighted the nurse, be trained to care for women with disabilities in the context of reproductive health care in order to offer adequate support to their needs

Uma máquina de redução de grafos extensível para a implementação de fluxos de trabalho

Graph Reduction Machines, are a traditional technique for implementing functional programming languages. They allow to run programs by transforming graphs by the successive application of reduction rules. Web service composition enables the creation of new web services from existing ones. BPEL is a workflow-based language for creating web service compositions. It is also the industrial and academic standard for this kind of languages. As it is designed to compose web services, the use of BPEL in a scenario where multiple technologies need to be used is problematic: when operations other than web services need to be performed to implement the business logic of a company, part of the work is done on an ad hoc basis. To allow heterogeneous operations to be part of the same workflow, may help to improve the implementation of business processes in a principled way. This work uses a simple variation of the BPEL language for creating compositions containing not only web service operations but also big data tasks or user-defined operations. We define an extensible graph reduction machine that allows the evaluation of BPEL programs and implement this machine as proof of concept. We present some experimental results.

As necessidades formativas de professores para o trabalho com a educação integral

In Brazil, since the 1990, the country has been operating an extensive transformation in the education system. This situation is justified, among other reasons, the search for answers to the new demands that modern society gives to school, to new technologies and information and communication systems. To better put the Brazilian school that context, the federal government, through the Ministerial Decree No. 17/2007, created the More Education Program as a measure to combat low levels of development of basic education in the capital cities and metropolitan areas, aiming at the implementation of comprehensive education in schools. After the first year since the implementation of the program, there are advances in the permanence of students within the school. But as for the teachers, there is a gap on ownership and consequent acceptance. Considering the reality of the state system of schools of Basic Education in Natal - RN, this study investigates the training needs of teachers in institutions working with More Education Program, envisioning the educational relationship with Macrocampos contained in this national project. Answering this question allows us to absorb the concept of such needs in teachers, as well as to check priority in relation to the continuing education of teachers for this new pedagogical reality.

Modelagem computacional para avaliação da interação entre painéis de alvenaria e estrutura de suporte em concreto armado

The developed study proposes a new computer modeling efficient and easy to apply in usual project situations to evaluate the interaction between masonry panels and support structure. The proposed model simulates the behavior of the wall exclusively using frame finite elements, thus compounding an equivalent frame. The validation was performed in two ways: firstly, through the analysis of various panels of generic plans, comparing the results obtained from equivalent frame model with the ones from a reference model, which uses shell finite elements in discretization of the walls; and in a second step, comparing with the results of the experimental model of Rosenhaupt. The analyzes considered the linear elastic behavior for materials and consisted basically in the evaluation of vertical displacements and efforts in support beams, and tensions at the base of walls. Was also evaluated, from flat and threedimensional modeling of some walls from a real project, important aspects of the wall-beam interaction, e.g.: the presence of openings of doors and windows, arranged in any position; conditions of support and linking of beams; interference of moorings between walls; and consideration of wind action. The analysis of the achieved results demonstrated the efficiency of the proposed modeling, since they have very similar aspects in the distribution of stresses and efforts, always with intensities slightly larger than those of the reference and experimental models.

A atuação dos núcleos de apoio às pessoas com necessidades educacionais especiais no IFRN

The aim of this study was to evaluate the reality of the Service Centers for People with Special Educational Needs (NAPNEs) implanted at Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte (IFRN) through a Professional Education Program in Technology for People with Special Educational Needs (TEC NEP Program). To reach the proposal we opted for an exploratory research with a qualitative approach characterized as a field of study. Data were obtained from questionnaires answered by thirteen (13) NAPNEs coordinators of different IFRN campuses and examined using content analysis. The survey results show that the creation of the TEC NEP program was an important step for inclusion policies in IFRN. However, difficulties were also identified by participants as coordinators: lack of physical infrastructure, human and material resources and financial matters, among others, as barriers to implementation and performance of NAPNEs. Keywords: TEC NEP Program, Professional Education, Inclusion, People with disabilities.

Filogenia molecular do gênero Morganella Zeller (Fungi, Basidiomycota) utilizando marcadores ITS

With the development and improvement of techniques for molecular studies and their subsequent application to the systematic, significant changes occurred in the classification of gasteroid fungi. The genus Morganella belongs to the family Lycoperdaceae, and is characterized mainly by lignicolous habit and presence of paracapilicium. Recent data demonstrate the discovery of new species for the group and the existence of a wide variety of species occurring in tropical ecosystems. However, the phylogenetic relationships of the genus, as well as the taxonomic classification, still require revisions to be better understood, the literature studies that address this issue are still very scarce. Thus, the objective of this study was to conduct studies of molecular phylogeny with species of the genus Morganella, to enhance understanding of the phylogeny of the group by including tropical species data. For this, the specimens used both for DNA extractions as for morphological review were obtained from Brazilian and foreign herbaria. For morphological analysis were observed characters relevant to the group's taxonomy. For phylogenetic analysis the Maximum Parsimony and Bayesian Analyzes were used, using the internal transcribed spacer (ITS) of nuclear ribosomal DNA. In phylogenetic analyzes, representatives from Morganella form a monophyletic clade with good support value and based on these results the genus should not be included as subgenus of Lycoperdon. The analysis indicated that M. pyriformis was not grouped with other representatives of Morganella, and therefore should not be included in the group as representative of Apioperdon subgenus because it is a Lycoperdon representative. Moreover, M. fuliginea, M. nuda, M. albostipitata, M. velutina, M. subincarnata are grouped with high support values within the genus Morganella. Morganella arenicola based on morphological and molecular studies does not aggregate in Morganella. Morganella nuda was grouped with M. fuliginea giving indications that can be treated as an intraspecific variation. The results of the analyzes favor to a better understanding of the species of Morganella. However, additional studies using a greater number of species, as well as other molecular markers are needed for a better understanding of the phylogenetic of Morganella.

Características dos programas de residência médica em cardiologia do estado do Rio Grande do Norte

The present study had as goal to evaluate Rio Grande do Norte state’s medical residency programs (MRP) in Cardiology. It’s a descriptive study, including a documental analysis of the program’s accreditation processes (PAP) of cardiology’s medical residency in Rio Grande do Norte state in 2014 and the analysis of the resident’s perception about his professional education as a specialist in Cardiology. Beside the documental analysis of the PAPs, it was applied a semi-structured questionnaire with closed questions Likert style and open questions to all the current and former residents of the MRPs analyzed. Two MRPs in Cardiology were identified in Rio Grande do Norte state, one hosted in a public institution and the other in a private institution. The documental analysis showed a greater amount of preceptors with a good level of ownership on the public institution in comparison with the private one, as well as a bigger number of publications, participation in congresses and in book’s publications. The private institution presents a better Urgency’s infrastructure, with emergency room and cardiologic ICU. It IS clear that the residents are aware of how a good residency must work, as well as the strengths and fragilities of their own residences. Most of Onofre Lopes Universitary Hospital’s residents point out as a strength the organization, participation and quality of the preceptors, practice activities and scientific debates, great amount of patients and the visits and debates with the preceptors on the sickrooms. As the greatest fragilities, they emphasize the lack of a urgency service of their own and a specialized ICU. In Coração Hospital of Natal (HCor), it is listed as weak points the theoretic scheduling and the few ambulatory practices. As positive aspects, they report the preceptors, the agility on the execution of exams, a good number of serious patients and procedures. In both residences, it is seen a certain difficulty in accepting the important and mandatory items imposed by the rules of the Medical Residences’ National Committee, such as: biostatistics, bioethics, medical ethic, epidemiology and research methodology. Besides that, the residents recognize that both hospitals have a good infrastructure and technological support, especially in imaging methods. The evaluation of PRMCs identifies the strengths of each program and the aspects to be improved in both programs. It also allowed the observation of difficulties in accepting some regulations contained in the CNRM resolution by the resident, such as participation in activities such as biostatistics, epidemiology and research methodology as well as the improvement needs of specific technical training, such as in emergency care. Thus, our results make possible to develop strategies for continued improvement of PRMC in RN state. In addition, it enabled the preparation of the resident’s manual in cardiology, containing even a breakdown of resident evaluation system, which could serve as a model for other residency programs.

Núcleos de acessibilidade e o atendimento a alunos com necessidades educacionais especiais nas universidades federais do nordeste brasileiro

In the current context of policies for inclusiveness in the Brazilian higher education, the accessibility centers are responsible for the organization of actions toward the fulfillment of the legal requirements regarding accessibility and the elimination of barriers that interfere with the participation and learning of persons with special learning needs (SLN), providing conditions for the full inclusion of these students in the activities of learning, research and community outreach in this learning level. This research had the goal to analyse the work developed by the accessibility centers in the federal universities in the northeastern region of Brazil towards the care of students with SLN. It is a descriptive work, with quantitative and qualitative approaches. Twelve federal universities participated through their accessibility center’s coordinators. The data - gathered by means of an electronic survey filled out in 2014 - was organized and analyzed through descriptive statistics and content analysis; their discussion was made around four topics: organization of accessibility centers for the care of students with SLN, kinds and numbers of students with SLN cared for, actions developed, and suggestions for the improvement of the accessibility centers. It was found that in the sphere of the researched universities, the accessibility centers have been taking actions involving many parts of the academic community towards the improvement of the conditions and permanence of students with SLN. However, in some institutional realities, these action need to be expanded and/or consolidated. The coordinators suggest further actions towards the betterment of these centers, regarding expansion of financial and human resources, professional qualification, awareness of the academic community, institutionalization and the formation of a collaborative network among the accessibility centers. Thus, although there are still challenges to overcome, the presence of the accessibility centers is shown to advance the realization of policies for the inclusion of students with SLN in the post-secondary education, towards the democratization of learning starting from the universal right to education.