Gestão da informação utilizando o método infomapping

A gestão da informação é extremamente importante para as organizações. O mapeamento informacional é um instrumento que pode ser utilizado no âmbito da gestão da informação. Para realizar o mapeamento informacional, pode-se utilizar o método denominado Infomapping, criado por Burk Jr. e Horton Jr., que se constitui em uma valiosa ferramenta para gerenciar os recursos de informação de uma organização. Ele permite descobrir com exatidão o grau de desconhecimento que se tem sobre as fontes, serviços e sistemas com os quais se desenvolve o trabalho informacional da organização. O processo consiste em criar um levantamento de todas as informações, que supostamente constituem-se num recurso informacional gerado internamente ou produzido externamente, que impactam diretamente as atividades corporativas.

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Dos requisitos à arquitetura em linhas de produtos de software: uma estratégia de transformações entre modelos

The tracking between models of the requirements and architecture activities is a strategy that aims to prevent loss of information, reducing the gap between these two initial activities of the software life cycle. In the context of Software Product Lines (SPL), it is important to have this support, which allows the correspondence between this two activities, with management of variability. In order to address this issue, this paper presents a process of bidirectional mapping, defining transformation rules between elements of a goaloriented requirements model (described in PL-AOVgraph) and elements of an architectural description (defined in PL-AspectualACME). These mapping rules are evaluated using a case study: the GingaForAll LPS. To automate this transformation, we developed the MaRiPLA tool (Mapping Requirements to Product Line Architecture), through MDD techniques (Modeldriven Development), including Atlas Transformation Language (ATL) with specification of Ecore metamodels jointly with Xtext , a DSL definition framework, and Acceleo, a code generation tool, in Eclipse environment. Finally, the generated models are evaluated based on quality attributes such as variability, derivability, reusability, correctness, traceability, completeness, evolvability and maintainability, extracted from the CAFÉ Quality Model

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

Prophylaxis of deep-vein thrombosis after lower extremity amputation: Comparison of low molecular weight heparin with unfractionated heparin

OBJETIVO: Comparar a eficácia e segurança da profilaxia com heparina de baixo peso molecular (enoxaparina) versus heparina não fracionada (HNF). MÉTODOS: Setenta e cinco pacientes (59 homens e 16 mulheres ), submetidos a amputação maior dos membros inferiores (30 acima do joelho e 45 abaixo do joelho ), foram tratados ao acaso com HNF subcutânea (5,000 IU -2x/dia ) ou enoxaparina subcutânea (40mg/dia ) durante a hospitalização . A profilaxia teve início 12 horas antes da cirurgia ou , em casos emergenciais , no primeiro dia de pós-operatório. RESULTADOS: Os dois grupos de tratamento foram comparáveis em termos de características gerais . A avaliação da TVP foi feita por meio de exame clínico diário e pelo mapeamento dúplex antes e 5-8 dias após a cirurgia . A TVP foi documentada no lado operado em 9,75% dos pacientes tratados com enoxaparina e em 11,76% dos pacientes tratados com HNF (p=0,92) e houve um caso de TVP bilateral em cada grupo . Sangramentos não foram verificados nos 2 grupos . CONCLUSÃO: A enoxaparina e HNF foram igualmente eficientes e seguras para a profilaxia da TVP em pacientes submetidos à amputação de membros inferiores .

Uso de modelos i* para enriquecer requisitos em métodos ágeis

The activity of requirements engineering is seen in agile methods as bureaucratic activity making the process less agile. However, the lack of documentation in agile development environment is identified as one of the main challenges of the methodology. Thus, it is observed that there is a contradiction between what agile methodology claims and the result, which occurs in the real environment. For example, in agile methods the user stories are widely used to describe requirements. However, this way of describing requirements is still not enough, because the user stories is an artifact too narrow to represent and detail the requirements. The activities of verifying issues like software context and dependencies between stories are also limited with the use of only this artifact. In the context of requirements engineering there are goal oriented approaches that bring benefits to the requirements documentation, including, completeness of requirements, analysis of alternatives and support to the rationalization of requirements. Among these approaches, it excels the i * modeling technique that provides a graphical view of the actors involved in the system and their dependencies. This work is in the context of proposing an additional resource that aims to reduce this lack of existing documentation in agile methods. Therefore, the objective of this work is to provide a graphical view of the software requirements and their relationships through i * models, thus enriching the requirements in agile methods. In order to do so, we propose a set of heuristics to perform the mapping of the requirements presented as user stories in i * models. These models can be used as a form of documentation in agile environment, because by mapping to i * models, the requirements will be viewed more broadly and with their proper relationships according to the business environment that they will meet

GeOntoQuery - um mecanismo de busca em bancos de dados geográficos baseado em ontologias

Geographic Information System (GIS) are computational tools used to capture, store, consult, manipulate, analyze and print geo-referenced data. A GIS is a multi-disciplinary system that can be used by different communities of users, each one having their own interest and knowledge. This way, different knowledge views about the same reality need to be combined, in such way to attend each community. This work presents a mechanism that allows different community users access the same geographic database without knowing its particular internal structure. We use geographic ontologies to support a common and shared understanding of a specific domain: the coral reefs. Using these ontologies' descriptions that represent the knowledge of the different communities, mechanisms are created to handle with such different concepts. We use equivalent classes mapping, and a semantic layer that interacts with the ontologies and the geographic database, and that gives to the user the answers about his/her queries, independently of the used terms

Trombose venosa profunda de membros superiores: estudo coorte retrospectivo de 52 casos

OBJETIVO: Rever os fatores predisponentes e a evolução em série de casos de trombose venosa profunda dos membros superiores de nossa instituição. MÉTODOS: Cinqüenta e dois pacientes consecutivos, com trombose venosa profunda dos membros superiores (29 homens e 23 mulheres), idade média de 52,3 anos, documentados por mapeamento dúplex (71,1%), flebografia (11,1%) ou clinicamente (15,6%), foram incluídos no presente estudo. RESULTADOS: As manifestações clínicas foram: dor no antebraço (24 casos - 46,1%), dor no braço (27 casos - 51,9%), edema do membro superior (45 casos - 86,5%), dor à compressão do membro superior (36 casos - 70,2%) e dor à movimentação do mesmo (32 casos - 61,7%). Os principais fatores de risco foram: punção ou acesso venoso (20 casos - 39,1%) e câncer (16 casos - 32,6%). As veias envolvidas foram: umeral (n = 18), axilar (n = 27), subclávia (n = 15) e jugular (n = 11). A embolia pulmonar estava inicialmente presente em quatro casos (7,6%). O tratamento inicial foi feito com heparina não-fracionada intravenosa (64,3%), subcutânea (16,7%), ou heparina de baixo peso molecular (17,1%), seguido de varfarina. Doze pacientes morreram antes da alta, em função de causas não relacionadas à embolia pulmonar. Foram acompanhados os 40 pacientes restantes por período de 3 meses a 10 anos, sendo que dois morreram de causas não relacionadas à embolia pulmonar, um paciente desenvolveu seqüelas pós-trombóticas, como edema residual e limitações aos movimentos, e seis ficaram com discretos sintomas residuais (edema e dor). CONCLUSÕES: A trombose venosa profunda dos membros superiores foi mais freqüente em pacientes submetidos a acessos venosos e com neoplasia em atividade. Comparando com dados da literatura, a evolução dos pacientes sob tratamento exclusivo com anticoagulantes foi, no mínimo, similar a outros tratamentos propostos.

Métodos de diagnóstico não-invasivos para avaliação da insuficiência venosa dos membros inferiores

A avaliação clínica dos membros inferiores na insuficiência venosa por si só não identifica os sistemas envolvidos ou os níveis anatômicos, sendo necessários exames complementares. Esses exames podem ser invasivos ou não-invasivos. Os invasivos, como flebografia e pressão venosa ambulatória, apesar de terem boa acurácia, trazem desconforto e complicações. Dentre os não-invasivos, destacam-se: Doppler ultra-som de ondas contínuas, fotopletismografia, pletismografia a ar e mapeamento dúplex. O Doppler ultra-som avalia a velocidade do fluxo sangüíneo de maneira indireta. A fotopletismografia avalia o tempo de reenchimento venoso, fornecendo um parâmetro objetivo de quantificação do refluxo venoso. A pletismografia a ar permite quantificar a redução ou não da capacitância, o refluxo e o desempenho da bomba muscular da panturrilha. O dúplex é considerado padrão-ouro dentre os não-invasivos, porque permite uma avaliação quantitativa e qualitativa, fornecendo informações anatômicas e funcionais, dando avaliação mais completa e detalhada dos sistemas venosos profundo e superficial.

Inundações urbanas no semiarido nordestino: o caso da cidade de Pau dos Ferros - RN

The Apodi river basin, particularly within the snippet that crosses Pau dos Ferros - RN city, place anthropogenic actions that interfere in the dynamic environment by modifying the local landscape. The reflection of these actions can be seen in the floods that occur in rainy periods (February to may) virtually every year in the city. It is important to stress that the project of integration of the waters of the San Francisco basin with the northern basin of Northeastern will perennial the main channel of the river basin, and generate greater impacts in the region. This work sought to define a methodology able to delimit areas susceptible to flooding in cities of semiarid Northeast based on the Pau dos Ferros RN city. The dissertation is divided into two chapters and introduction. The introduction presents a theoretical frame based on discussion of the concept of risk, their main characteristics and subdivisions; floods; geotecnologies; Apodi River basin; municipal data Pau dos Ferros RN and design integration of Francisco basin with the northern basins Northeast. The first chapter evaluates the urban expansion process between 1987 and 2008, delimiting the flood areas and analyzes the relationship between urban growth and retention areas. The second chapter identifies the flood risk areas in the Pau dos Ferros city. The methodology used was based on tools of geographic information system GIS from software SPRING/INPE 5.1, as well as bibliographical, satellite images, aerial photographs and field activities. The results obtained enabled view the rapid expansion of the urban area of Pau dos Ferros, which has doubled in a period of 22 years. The population density checks with greater intensity in South-central portion of the city, in flood areas and not flood (Cap. 01). It was noted also that some neighborhoods along the River Apodi are susceptible to more instances of flooding ranging from minimum to maximum, while in neighborhoods near the Riacho Cajazeiras floods occur to a lesser extent because of altimetry higher and lower water volume. (Cap. 02). It is expected that this work will help in the preparation of flood risk municipal map subsidising managers in implementing public policies targeted to the softening of urban flood-related issues in Pau dos Ferros RN and serve as a model for mapping of other cities with similar characteristics analyzed in this work