Tradução e adaptação da escala de dependência de substâncias do Millon Clinical Multiaxial III para o Brasil

Millon describes the normal personality by means of adaptation styles that are effective in normal environments and personality disorders such as unadapted operating styles. To operacionalize his theoretical model, Millon has built several instruments, including the Millon Clinical Multiaxial Inventory III (MCMI-III), wich consists of a self report inventory composed by 175 true or false response items, containing four verification scales, and others scales wich evaluates 14 personality patterns and 10 clinical syndromes. The Substance Dependence scale (T) is placed along with Clinical Syndromes scales. This research is justified by the lack of a Brazilian instrument to assess personality psychopathological aspects, and aims to translate and semantically adapt the MCMI-III to the Brazilian context, checking validity elements of the Substance Dependence scale, and developing a computer application for assisting the evaluation of assessment results. To this intent, 2.588 individuals data was collected, male and female, aged between 18 and 85 years, characterized as belonging to a clinical or non-clinical group, who took part in the survey via the internet or in person. Respondents completed the MCMI-III, a socio-demographic questionnaire and a subgroup also answered to the Goldberg General Health Questionnaire (GHQ). Besides descriptive statistics, we performed the analysis using the Student t test, principal components analysis and internal consistency. Despite difficulties related to translating very specific English terms, the assessment by judges, experts on Millon´s theory, and the back translation, attested the adequacy of the Brazilian version. Factorial analysis indicated the grouping of translated T scale items into three factors (social activities prejudice, lack of impulse control, and oppositional behavior), by presenting a single item on a fourth factor (apparently related to seeking pleasurable stimuli). The Cronbach alpha for this set of items was 0,82, indicating an acceptable scale reliability. The data analysis resulted in distinction of scores between clinical and non-clinical groups and between men and women; the relationship between high scores on the scale T and the other scales; scores of drug users according to the declared used substance; and the relationship between high scores on T and the verification of disorder or risk on GHQ mental health factor, indicating the instrument´s adequate sensistivity in identifying psychopathologies and the relationship between the different disorders or psychopathological personality patterns. Although further studies are necessary to develop the scores transformation factors, the computerized correction tool was adequate.

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.

Análise de impacto baseada em rastreabilidade de artefatos para linhas de produto de software

Software Product Line (SPL) consists of a software development paradigm, whose main focus is to identify features common and variability among applications in a specific domain. An LPS is designed to attend all products requirements from its product family. These requirements and LPS may have changes over time due to several factors, such as evolution of product requirements, evolution of the market, evolution of SLP process, evolution of the technologies used to develop the products. To handle these changes, LPS should be modified and evolve in order to not become obsolete, and adapt itself to new requirements. The Changes Impact Analysis is an activity that understand and identify what consequences these changes are cause on LPS. Impact Analysis on LPS may be supported by traceability relationships, which identify relationships between artefacts created during all phases of software development. Despite the solutions of change impact analysis based on traceability for software, there is a lack of solutions for assessing the change impact analysis based on traceability for LPS, since existing solutions do not include estimates specific to the artefacts of LPS. Thus, this paper proposes a process of change impact analysis and an tool for assessing the change impact through traceability of artefacts in LPS. For this purpose, we specified a process of change impact analysis that considers artifacts produced during the development of LPS. We have also implemented a tool which allows estimating and identifying artefacts and products of LPS affected from changes in other products, changes in class, changes in features, changes between releases of LPS and artefacts related to changes in core assets and variability. Finally, the results were evaluated through metrics

Avaliação sistemática de abordagens de derivação de produto

Product derivation tools are responsible for automating the development process of software product lines. The configuration knowledge, which is responsible for mapping the problem space to the solution space, plays a fundamental role on product derivation approaches. Each product derivation approach adopts different strategies and techniques to manage the existing variabilities in code assets. There is a lack of empirical studies to analyze these different approaches. This dissertation has the aim of comparing systematically automatic product derivation approaches through of the development of two different empirical studies. The studies are analyzed under two perspectives: (i) qualitative that analyzes the characteristics of approaches using specific criteria; and (ii) quantitative that quantifies specific properties of product derivation artifacts produced for the different approaches. A set of criteria and metrics are also being proposed with the aim of providing support to the qualitative and quantitative analysis. Two software product lines from the web and mobile application domains are targets of our study

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

Reqsys-MDD: uma ferramenta para mapeamento entre modelos de features e requisitos em linhas de produto de software

The approach Software Product Line (SPL) has become very promising these days, since it allows the production of customized systems on large scale through product families. For the modeling of these families the Features Model is being widely used, however, it is a model that has low level of detail and not may be sufficient to guide the development team of LPS. Thus, it is recommended add the Features Model to other models representing the system from other perspectives. The goals model PL-AOVgraph can assume this role complementary to the Features Model, since it has a to context oriented language of LPS's, which allows the requirements modeling in detail and identification of crosscutting concerns that may arise as result of variability. In order to insert PL-AOVgraph in development of LPS's, this paper proposes a bi-directional mapping between PL-AOVgraph and Features Model, which will be automated by tool ReqSys-MDD. This tool uses the approach of Model-Driven Development (MDD), which allows the construction of systems from high level models through successive transformations. This enables the integration of ReqSys-MDD with other tools MDD that use their output models as input to other transformations. So it is possible keep consistency among the models involved, avoiding loss of informations on transitions between stages of development

Caracterizando os fluxos excepcionais em linhas de produto de software: um estudo exploratório

The Exception Handling (EH) is a widely used mechanism for building robust systems. In Software Product Line (SPL) context it is not different. As EH mechanisms are embedded in most of mainstream programming languages (like Java, C# and C++), we can find exception signalers and handlers spread over code assets associated to common and variable SPL features. When exception signalers and handlers are added to an SPL in an unplanned way, one of the possible consequences is the generation of faulty family instances (i.e., instances on which common or variable features signal exceptions that are mistakenly caught inside the system). In this context, some questions arise: How exceptions flow between the optional and alternative features an LPS? Aiming at providing answers to these questions, this master thesis conducted an exploratory study, based on code inspection and static analysis code, whose goal was to categorize the main ways which exceptions flow in LPSs. To support the study, we developed an static analysis tool called PLEA (Product Line Exception Analyzer) that calculates the exceptional flows of LPSs, and categorize these flows according to the features associated with handlers and signalers. Preliminary results showed that some types of exceptional flows have more potential to yield failures in exceptional behavior of SLPs

Squid impact analyser: uma ferramenta para análise de impacto de mudança em linhas de produto de software

Software Products Lines (SPL) is a software engineering approach to developing software system families that share common features and differ in other features according to the requested software systems. The adoption of the SPL approach can promote several benefits such as cost reduction, product quality, productivity, and time to market. On the other hand, the SPL approach brings new challenges to the software evolution that must be considered. Recent research work has explored and proposed automated approaches based on code analysis and traceability techniques for change impact analysis in the context of SPL development. There are existing limitations concerning these approaches such as the customization of the analysis functionalities to address different strategies for change impact analysis, and the change impact analysis of fine-grained variability. This dissertation proposes a change impact analysis tool for SPL development, called Squid Impact Analyzer. The tool allows the implementation of change impact analysis based on information from variability modeling, mapping of variability to code assets, and existing dependency relationships between code assets. An assessment of the tool is conducted through an experiment that compare the change impact analysis results provided by the tool with real changes applied to several evolution releases from a SPL for media management in mobile devices

Avaliações sensoriais, bioquímicas e microbiológicas do guacamole, um produto à base de abacate, sob armazenamento a frio e com adição de ácido ascórbico

The elaboration of avocado products for commercialization keeping their characteristics of fresh product has been limited. The cut avocado darkens quickly and their sensorial characteristics are modified with the storage. In the present research, the sensorial parameters, microbiological stability, and peroxidase and polyphenoloxidase activity were evaluated in guacamole added with ascorbic acid and conserved under low temperature, by using avocado variety Hass. Products were conditioned in polyethylene+nylon packages with and without vacuum application; then, they were subjected to the slow and fast freezing (-18 degrees C) and stored in freezer (-18 degrees C). Evaluations were performed at the moment of elaboration of the product (t0) and at 3, 7 and 30 days post-storage. At t30, samples were kept under refrigeration (4 +/- 1 degrees C) and evaluated at 3, 5 and 7 days. After the 30 days of storage, -18 degrees C under freezing, followed by thawing and keeping at 4 +/- 1 degrees C for 7 days, the notes for the sensorial parameters decreased. The peroxidase activity was totally inhibited in the elaborated product and the polifenol oxidase activity considerably decreased in the guacamole (20.07 mM catechol/g fresh matter) relative to those in the fruit (58.31 mM catechol/g fresh matter), however with no significant variation during storage (at -18 degrees C). The samples were microbiologically stable under the conditions of the present study. The addition of ascorbic acid contributed to the conservation of the frozen avocado product by decreasing the enzymatic activity. However, the sensorial parameters are prejudiced under thawing and storage at 4 +/- 1 degrees C.

A tradução química de experimentos alquímicos envolvendo água régia em Robert Boyle

Recentemente, alguns acadêmicos têm demonstrado que a tradução química pode auxiliar o trabalho histórico. O objetivo deste trabalho é traduzir alguns experimentos alquímicos de Robert Boyle para a química contemporânea, particularmente, aqueles que envolvem a água régia. A maior parte desses experimentos tem relação com o mecanicismo boyleano, com receitas de produção de compostos e com a padronização de procedimentos químicos. Muitos deles envolvem descrições precisas de propriedades, tais como o ponto de fusão, a mudança de gosto, a liberação de som e bolhas, a corrosão etc., que podem ser usadas como ferramentas de rastreamento para uma tradução à notação química atual.

Liofilização de fatias de abacaxi: avaliação da cinética de secagem e da qualidade do produto

O objetivo deste trabalho foi avaliar a cinética de secagem e os parâmetros de qualidade - conteúdo de vitamina C, reidratação e textura - de fatias de abacaxi liofilizadas em função da espessura e da temperatura de congelamento. Abacaxis do tipo Havaí, variedade Smooth Cayenne, foram fatiados transversalmente em espessuras de 0,5, 1,0 e 1,5 cm. As fatias foram congeladas nas temperaturas de -14, -24 e -34 °C, sendo, em seguida, conduzidas ao liofilizador. Uma parcela das amostras era destinada ao estudo da cinética de secagem pela pesagem periódica das mesmas, enquanto outra foi reservada para os testes de qualidade. O teor de vitamina C foi quantificado por adição de ácido oxálico na amostra e titulado com 2,6-diclorofenolindofenol. O parâmetro de textura avaliado foi a dureza, por testes de compressão em texturômetro, enquanto a reidratação foi obtida pela pesagem das amostras antes e após a imersão em água destilada por 5 min. Os resultados do presente trabalho mostraram que existe uma forte dependência da cinética de secagem e dos atributos de qualidade de fatias de abacaxi liofilizadas em função das condições utilizadas durante a etapa de congelamento, mesmo sendo este classificado como congelamento lento. Por outro lado, a taxa de congelamento não é a única variável que tem influência sobre a cinética de secagem e os atributos de qualidade. A combinação de temperatura e umidade, tanto durante a liofilização propriamente dita, quanto durante a etapa de reidratação, tem influência sobre a transição vítrea do material que, por sua vez, afeta a extensão do colapso estrutural sofrido pelo produto.

As modalidades de tradução no conto Laços de Família na tradução para o inglês Family Ties

Este artigo apresenta uma análise descritivo-comparativa desenvolvida a partir da tra dução de modalidades no conto Laços de Família de Clarice Lispector. Os resultados indicam até que ponto a tradução de certas modalidades mostram uma margem maior ou menor de literalidade ou individualidade.

Não há dente de coelho no problema da tradução radical

O trabalho consiste em uma tentativa de refutação do princípio quineano da indeterminação da tradução radical. A estrutura do argumento é a seguinte. A demonstração do princípio no texto de Quine assenta-se sobre certa concepção do processo de tradução radical. Esta concepção só se sustenta se são adotadas certas pressuposições a respeito da natureza da linguagem e dos falantes. Entretanto, se estas pressuposições são adotadas, não há razão para não se aceitarem também outras pressuposições - as quais invalidam a demonstração de Quine.

Uma análise de semelhanças e diferenças na tradução de textos técnicos, jornalísticos e literários

Por meio da utilização de corpus de textos técnicos, jornalísticos e literários escritos originalmente em inglês e traduzidos para o português, pode-se efetuar uma análise das soluções propostas pelos tradutores ao lidarem com semelhanças e diferenças lingüísticas e culturais dos textos de partida e de chegada. Com esse intuito, aplicou-se o modelo descritivo-comparativo sugerido por Aubert (1984, 1998), o qual se origina das categorias de Vinay e Darbelnet ([1958, 1977] 1995), a fim de, primeiramente, identificar e, depois, classificar os procedimentos ou modalidades empregadas na tradução desses gêneros textuais. Registraram-se como modalidades de maior incidência nos três corpora: a tradução literal, a transposição e a modulação. em virtude de a alta freqüência da tradução literal ocorrer em textos técnicos e, contrariamente ao esperado, incidir com proporção ainda maior em textos jornalísticos, poder-se-ia inferir uma tendência para automatismos na tradução desses dois tipos de textos. Já a necessidade de um emprego acentuado da modulação e da transposição com modulação em textos literários poderia ser decorrente de uma participação mais ativa do tradutor na tentativa de escapar da literalidade e proceder a uma maior reelaboração, a fim de passar características normalmente associadas à linguagem do romance.

As práticas de tradução redefinidas pelas relações linguísticas na economia informacional

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)