Gestão documental da informação jurídica

Este artigo apresenta uma nova performance da gestão documental, voltada para o desenvolvimento das coleções no âmbito da informação jurídica, estabelecendo critérios de qualidade para os processos de seleção, aquisição e avaliação das informações. Para esse propósito, é feita uma avaliação das várias dimensões que permeiam a gestão documental da informação jurídica como um todo. A rapidez com que a informação jurídica se inova torna a literatura (ainda que recente) ultrapassada e obsoleta, ocasionando, assim, uma maior dificuldade das bibliotecas permanecerem com suas publicações sempre atualizadas. Por isso, é preciso que sejam elaborados mecanismos de controle e que seja efetuado um bom desenvolvimento dos serviços prestados pelas mesmas. Esses mecanismos são criados por meio da política de desenvolvimento de coleções, pois, quando bem fundamentada, assegura o bibliotecário na tomada de decisões, tanto em relação ao processo de seleção, aquisição e descarte do acervo,como na sustentação da qualidade na atualização da coleção. O processo de desenvolvimento da coleção é visto sob o viés da abordagem sistêmica das organizações.

O ensino de portugês para crianças estrangeiras: reflexões sobre um fazer docente.

La presencia de personas extranjeras radicadas en la província de Rio Grande del Norte trae a la escuela el desafio de recibir alumnos hablantes de otros idiomas. En esa perspectiva, el estudio tiene como objetivo investigar la practica pedagógica desarrollada por una profesora de Pipa - RN, con destaque en la enseñanza de Portugués para niños inmigrantes en la Enseñanza Fundamental. Esa temática se hace relevante al proponer posibles alternativas para el desarrollo de una acción docente reflexiva y mediatizadora de la enseñanza de una língua segunda. Para la concretización de este trabajo disertativo, se há realizado un estudio de caso de tipo etnográfico y de naturaleza qualitativa en una institución privada de la playa de Pipa - RN, en el período de noviembre de 2007 a agosto de 2008. Se há utilizado como procedimientos, la observación participante, la entrevista semiestruturada gravadaen áudio, la análise documental, el registro en diário de campo y el registro fotográfico. Se há elegido como referencial teórico las discusiones de Almeida Filho (1992, 1997, 2002, 2005), Cunha (1999, 2002), Freire (1996, 2004), Moita Lopes (1996), Vygotsky (1998), Wachowicz (1995) y Zabala (1998). La análise revela que, aunque la profesora observada no tenga conocimientos específicos sobre la enseñanza de PL2 en la escuela regular, su acción educativa há demonstrado avanzos, especialmente, al considerar los aprendizes como sujetos del processo de enseñanza aprendizaje, entre ellos los niños extranjeros; contemplar la identidad y las diferencias culturales y linguísticas de estos educandos; incluyese el aspecto lúdico en la preparación de las actividades; articular vínculos sociales, afectivos y cognitivos, entre otros aspectos destacados. Sin embargo, evidenciase la necesidad de una formación pedagógica específica para el trabajo con niños inmigrantes, a través de la interlocución entre los currículuns de los cursos de Filología y Pedagogia de las Universidades brasileñas, a partir del cual estudios y debates podran ser fomentados en la busqueda por uma enseñanza de PL2 verdaderamente comunicativo y democrático.

Uma ferramenta de análise automatizada de técnicas de seleção de testes de regressão baseada em mineração de repositórios de software

The main goal of Regression Test (RT) is to reuse the test suite of the latest version of a software in its current version, in order to maximize the value of the tests already developed and ensure that old features continue working after the new changes. Even with reuse, it is common that not all tests need to be executed again. Because of that, it is encouraged to use Regression Tests Selection (RTS) techniques, which aims to select from all tests, only those that reveal faults, this reduces costs and makes this an interesting practice for the testing teams. Several recent research works evaluate the quality of the selections performed by RTS techniques, identifying which one presents the best results, measured by metrics such as inclusion and precision. The RTS techniques should seek in the System Under Test (SUT) for tests that reveal faults. However, because this is a problem without a viable solution, they alternatively seek for tests that reveal changes, where faults may occur. Nevertheless, these changes may modify the execution flow of the algorithm itself, leading some tests no longer exercise the same stretch. In this context, this dissertation investigates whether changes performed in a SUT would affect the quality of the selection of tests performed by an RTS, if so, which features the changes present which cause errors, leading the RTS to include or exclude tests wrongly. For this purpose, a tool was developed using the Java language to automate the measurement of inclusion and precision averages achieved by a regression test selection technique for a particular feature of change. In order to validate this tool, an empirical study was conducted to evaluate the RTS technique Pythia, based on textual differencing, on a large web information system, analyzing the feature of types of tasks performed to evolve the SUT

Avaliação da eficiência da técnica de obturação pela compressão hidrùlica vertical após instrumentação automatizada

The purpose of this study was to evaluate through radiographic and microscopic analysis the efficiency of the filling techniques by vertical hidraulic compression after the root canal mechanical instrumentation in vitro as well to evaluate the marginal apical leakage through macroscopic and microscopic analysis. Thirty human mandibular molars were used , they were divided on three groups, these were subdivided on six subgroups with five specimens each, come down to 106 root canals filled. Initially, the teeth were instrumented with Profile system series 29 and filled with two ways: single accessory cone or single cone associated with gutta-percha secundary cone, with Fill Canal sealer or Sealer 26. Completed the filling, the teeth were coated with araldit and finger -nail polish except for the apical 2 mm and dried for 3 hours, thep radiographs were taken of the teeth in orto and disto-radiai directions. Next, the coronal seal was carried out with composite resin photopolymerized and with their process of making impermeable. Teeth of positive controls were used without araldit and finger-nail polish whereas the negative controls were used with total coat of araldit and finger-nail polish. The specimens were placed in 2% Methylene Blue dye for 24 hours and thermocycled for 7 days. Afterwards, sections were made of each tooth at mesial and distal roat, after this the teeth were radiographed at buccolíngual direction for a macroscopic analysis and at buccolingual and mesiodistal directions for assessment of the marginal apical leakage. Cross sections were made 3 mm to 3mm since the tooth apice. The sections obtained for each group were observed with a stereomicroscope to evaluate the quality of the root canal filling and the marginal apical leakage. The results showed that: In the four techniques the marginal dye leakage was present in the apical third; in all groups the quality of the root canal filling in the radiography was better at mesial root canal and the single cone technique showed inefficient when only a single distal root canal was present. In the radiographic evaluation the best quality of the root canal filling was observed in the 1A group (single accessory cone + FiIl Canal), as in the mesial root as in the distal root wich Shcwed twe root canals: when the distaI root had only one canal. the best result was showed by 28 group (single accessory cone associated with secundary cone + Fill Canal) In the macroscopic analysis of longitudinal !eaKage (outside surface). less leakage was showed as In the mesial root as in the distal root in the negative control group (3) followed 2A group (single accessory cone + Sealer 26). When the microscopic analysis of tranversal leakage of both roots (inside surface) was carried out. the groups that showed less dye leakage were the negative control (38) followed the 28 group (single acessory cone associated with secundary cone + Sealer 26). The homogeneity o filling was best noted in the 1 A group (.single accessoty cone + Fill Canal). The groups that showed less dye penetration in the tranversal leakage (total area) were negative control (3B) and 2B

Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos

Gestão documental da informação jurídica

Este artigo apresenta uma nova performance da gestão documental, voltada para o desenvolvimento das coleções no âmbito da informação jurídica, estabelecendo critérios de qualidade para os processos de seleção, aquisição e avaliação das informações. Para esse propósito, é feita uma avaliação das várias dimensões que permeiam a gestão documental da informação jurídica como um todo. A rapidez com que a informação jurídica se inova torna a literatura (ainda que recente) ultrapassada e obsoleta, ocasionando, assim, uma maior dificuldade das bibliotecas permanecerem com suas publicações sempre atualizadas. Por isso, é preciso que sejam elaborados mecanismos de controle e que seja efetuado um bom desenvolvimento dos serviços prestados pelas mesmas. Esses mecanismos são criados por meio da política de desenvolvimento de coleções, pois, quando bem fundamentada, assegura o bibliotecário na tomada de decisões, tanto em relação ao processo de seleção, aquisição e descarte do acervo,como na sustentação da qualidade na atualização da coleção. O processo de desenvolvimento da coleção é visto sob o viés da abordagem sistêmica das organizações.