Avaliação microscópica dos fragmentos ósseos obtidos por diferentes métodos de osteotomia e de irrigação em aloenxertos irradiados e congelados de coelho

Oral and facial bone defects can undertake appearance, psychosocial well-being and stomathognatic function of its patients. Over the yerars several strategies for bone defect regeneration have arised to treat these pathologies, among them the use of frozen and irradiated bone allograft. Manipulation of bone grafts it s not determined yet, and several osteotomy alternatives can be observed. The present work evaluated with a microscope the bone fragments obtained from different osteotomy methods and irrigation on rings and blocks allografts irradiated and frozen at 80° negative in a rabbit model. The study is experimental in vitro and it sample was an adult male New Zealand rabbit. The animal was sacrificed to obtain long bones, that were submitted to freezing at 80º negative and irradiated with Cobalt- 60. Then the long bones were sectioned into 24 bone pieces, divided into 4 groups: G1 (n=06) osteotomy was performed with bur No. 6 forming rings with 5 mm thickness with high-speed handpiece with manual irrigation; G2 (n=06) osteotomy was performed with bur No. 6 forming rings with 5 mm thick with surgical motor with a manual irrigation rotation 1500 rpm; GA (n=06), osteotomy with trephine using manual irrigation with saline; and GB (n=06), osteotomy with trephine using saline from peristaltic pumps of surgical motor. Five bone pieces of each group were prepared for analysis on light microscopy (LM) and one on electronic scan electronic microscopy (SEM). On the SEM analysis edges surface, presence of microcracks and Smear Layer were evaluated. Analyzing osteotomy technics on SEM was observed: increased presence of microcracks cutting with high speed; increased presence of areas covered by Smear Layer when cutting with motor implant. The irrigation analysis with SEM was observed: that the presence of microcracks does not depend on the type of irrigation; on manual irrigation, there was greater discrepancy between the cutting lines. The descriptive analysis of the osteotomy and irrigation process on LM showed: histological analysis showing the bony margins with clear tissue changed layer, composed of blackened tissue of charred appearance near to the cortical bone; on the edges of the bony part, bone fragments that were displaced during the bone cut and bone irregularities were observed. After analysis of results we can conclude: that there was greater regularity of the bone cut using high-speed handpiece than using motor implant; the cut with trephine using saline irrigated from peristaltic pumps of surgical motor showed greater homogeneity when compared with manual irrigation; charred tissue was found in all obtained bone samples, whit no significant statistically difference on the proportion of carbonization of the two analysed technics

Uma abordagem sistemática para implementação, gerenciamento e customização de testes de linhas de produto de software

Through the adoption of the software product line (SPL) approach, several benefits are achieved when compared to the conventional development processes that are based on creating a single software system at a time. The process of developing a SPL differs from traditional software construction, since it has two essential phases: the domain engineering - when common and variables elements of the SPL are defined and implemented; and the application engineering - when one or more applications (specific products) are derived from the reuse of artifacts created in the domain engineering. The test activity is also fundamental and aims to detect defects in the artifacts produced in SPL development. However, the characteristics of an SPL bring new challenges to this activity that must be considered. Several approaches have been recently proposed for the testing process of product lines, but they have been shown limited and have only provided general guidelines. In addition, there is also a lack of tools to support the variability management and customization of automated case tests for SPLs. In this context, this dissertation has the goal of proposing a systematic approach to software product line testing. The approach offers: (i) automated SPL test strategies to be applied in the domain and application engineering, (ii) explicit guidelines to support the implementation and reuse of automated test cases at the unit, integration and system levels in domain and application engineering; and (iii) tooling support for automating the variability management and customization of test cases. The approach is evaluated through its application in a software product line for web systems. The results of this work have shown that the proposed approach can help the developers to deal with the challenges imposed by the characteristics of SPLs during the testing process

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Criação de empresas à luz do modelo de decisão effectuation: um estudo com mulheres empreendedoras no município de Currais Novos/RN

This study analysed the creation of businesses by entrepreneur women in the Currais Novos city, looking for verifying if they used making decision processes aligned to the Effectuation logic throughout the creation of their companies. To this, was accomplished a multiple cases and exploratory study, whit a qualitative approach of analyse, using the thematic life history technique that match accounts and semi-structured interview route, being accomplished like a long interview, where the researcher interact with the informer continuously. The semi-structured interview route was created by the adaptation of the interview route used by Tasic (2007). The present study appealed to a intentional selection of individuals in function of their importance in relation to the boarded theme. This means that the individuals were chosen in function of their social and theoretical representatively inside the considered situation. The participant individuals of this research were five entrepreneur women that act in the Currais Novos city, owners of five different companies. To the data treatment and analyse, was chosen the content analyse technique. This study worked with a priori theoretical categories. The categories of analyse in this study was obtained with base in the Effectuation approach (SARASVATHY, 2001a, 2001b, 2008), that is an alternative model of making decision to the classic model based in the causality principle. These categories are Clarity of Initial Aims , Tolerance to the Lost and Initials Investments , Control of Resources ( who I am , what I know and who I know ) and Promoting Over Contingencies . As result, the entrepreneur women researched, in a general way, hadn t clear initial aims at the companies creation moment, hadn t aversion to the risk to lose the time and the money that they were investing in the company in formation, they highlighted the products and services identity that offered with a strong link with Seridó region, they had experience in the field of activity in which they decided to open their companies, had the commitment of partners in the beginning of the business and they knew to transform the initial difficulties in opportunities. By the end, this study conclude that the entrepreneur women studied used, in a big part, making decision processes aligned to the Effectuation logic throughout the creation of their companies