KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B

The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B specifications. For the development with BSmart to be effectively rigorous without overloading the user it is important to have a library of reusable components built in B. The goal of KitSmart is to provide this support. A first research about the composition of this library was a graduation work from Universidade Federal do Rio Grande do Norte, made by Thiago Dutra in 2006. This first version of the kit resulted in a specification of Java Card primitive types byte, short and boolean in B and the creation of reusable components for application development. This work provides an improvement of KitSmart with the addition of API Java Card specification made in B and a guide for the creation of new components. The API Java Card in B, besides being available to be used for development of applications, is also useful as a documentation of each API class. The reusable components correspond to modules to manipulate specific structures, such as date and time. These structures are not available for B or Java Card. These components for Java Card are generated from specifications formally verified in B. The guide contains quick reference on how to specify some structures and how some situations were adapted from object-orientation to the B Method. This work was evaluated through a case study made through the BSmart tool, that makes use of the KitSmart library. In this case study, it is possible to see the contribution of the components in a B specification. This kit should be useful for B method users and Java Card application developers

Biblioteca digital de teses e dissertaçoes: uma referência fundamental

OLIVEIRA, Raimundo Muniz de. Biblioteca digital de teses e dissertaçoes: uma referencia fundamental. In: CINFORM ENCONTRO NACIONAL DE ENSINO E PESQUISA DA INFORMAÇAO,HUMANISMO E DESENVOLVIMENTO CIENTIFICO E TECNOLOGICO,7.,2007,Salvador. Anais...Salvador:UFBA, 2007.Disponivel em:www.cinform.ufba.br>. Acesso em: 27 set. 2007. Acesso em: 27 set. 2010.

A cultura organizacional influenciando o comportamento do capital humano na biblioteca universitária

DUARTE, E. N. ; CARVALHO, Andréa Vasconcelos ; PINHEIRO, E. G. ; CARVALHO, Luciana Moreira ; NOGUEIRA, N. M. F. . A cultura organizacional influenciando o comportamento do capital humano na biblioteca universitária. Informação & Sociedade. Estudos, João Pessoa - PB, v. 10, n. 2, p. 190-210, 2000

Impacto das tecnologias digitais nas bibliotecas universitárias: reflexões sobre o tema

MOREIRA, Luciana Moreira; SILVA, Armando Malheiro da. Impacto das tecnologias digitais nas bibliotecas universitarias: reflexões sobre o tema. Informaçao e sociedade: estudos. Joao Pessoa, v.19, n.3, p. 125-132,2009.

Estudo de usuários em bibliotecas públicas e universitárias: em foco as dissertações defendidas no CMCI/UFPB

CARVALHO, Andréa Vasconcelos ; DINIZ, I. C. S. ; MEDEIROS, J. B. . Estudo de usuários em bibliotecas públicas e universitárias: em foco as dissertações defendidas no CMCI/UFPB. Informação & Sociedade. Estudos, João Pessoa, v. 12, n. 2, 2002

O bibliotecário como mediador no processo de transferência da informação para pessoas com deficiência visual

MAIA, Maria Aniolly Queiroz et al. O bibliotecário como mediador no processo de transferência da informação para pessoas com deficiência visual. In: CONGRESSO BRASILEIRO DE BIBLIOTECONOMIA, 24., DOCUMENTAÇÃO E CIÊNCIA DA INFORMAÇÃO, 2011, Maceió. Anais... Maceió: CBBD, 2011

Análise da indexação da Biblioteca Setorial de Química da Universidade Federal do Rio Grande do Norte através de um estudo informétrico

Analisa a indexação dos documentos da Biblioteca Setorial de Química através de um estudo informétrico na ferramenta de busca do Sistema de Bibliotecas (SISBI) da Universidade Federal do Rio Grande do Norte (UFRN). Descreve um estudo informétrico realizado na ferramenta de busca do SISBI da UFRN, sendo feita direcionada para os documentos Biblioteca Setorial de Química. Enfoca a importância do estudo informétrico para analisar a recuperação da informação relacionada à indexação. Aborda a relação da informetria com a indexação e recuperação da informação com o intuito de que o profissional bibliotecário seja mais analítico e tenha uma compreensão maior do campo da ciência da informação. Utiliza de uma metodologia de consultas de assuntos pré-definidos, sendo feita uma filtragem de forma quantitativa com o objetivo de verificar se a indexação dos documentos está sendo satisfatória para a recuperação da informação na ferramenta de busca do SISBI. Constata a relevância dos documentos em cada busca sua precisão e revocação, mostrando que para haver uma boa recuperação da informação tem que a indexação seja feita de forma que não haja ambiguidade com outros termos, com isso mostra a importância de sempre ser feito um estudo informétrico com que verifique a recuperação da informação para que possa sempre haver uma melhora na mesma.

Estudo do usuário com deficiência visual: um importante instrumento sócio-inclusivo de pesquisa e formação para o profissional de biblioteconomia perante as necessidades informacionais de pessoas com deficiência

SANTOS, Christiane Gomes; ALMEIDA, Edson Marques. Estudo do usuário com deficiência visual: um importante instrumento sócio-inclusivo de pesquisa e formação para o profissional de biblioteconomia perante as necessidades informacionais de pessoas com deficiência. In: SEMINÁRIO DE PESQUISA DO CCSA, 16., 2010, Rio Grande do Norte. Anais eletrônicos... Natal: UFRN, 2010. Disponível em:

As minudências da Biblioteca Olegário Vale (Caicó – RN, 1918-1920)

ARAÚJO, M. M. ; MEDEIROS, M. D. . AS minundências da Biblioteca Olegário Vale (Caicó - RN, 1918-1920). Educação em Questão, v. 31, p. 186-208, jan./abr. 2008

O ambiente de pesquisas virtuais na biblioteca acadêmica: da implantação à consolidação, um longo percurso.

O ambiente da pesquisa acadêmica nas bibliotecas universitárias se apresenta em constante evolução. Nesta perspectiva, as construções de novos espaços se fazem necessários na promoção e acesso à informação, via vários tipos de suportes. Atualmente, antigos paradigmas são sobrepostos com uma velocidade luz. Neste artigo, apresenta-se a implantação, manutenção e consolidação do Setor de Pesquisas Virtuais em uma biblioteca universitária, com vistas à democratização do acesso à informação eletrônica, como também à criação de uma rede de comunicação rápida, eficaz, tendo como foco central as novas Tecnologias da Informação e Comunicação (TICs). Assim, enfoca-se a construção do espaço físico do Setor de Pesquisas Virtuais, através da criação de normas, produtos, serviços e divulgação desse novo recurso. A consolidação deste espaço encontra-se em pleno desenvolvimento, via aquisição de produtos específicos, consorciamentos junto às redes especializadas, geração de novos produtos e, principalmente, a presença direta de um profissional bibliotecário intervindo e mediando o processo da busca e do acesso às informações com segurança e confiabilidade das fontes. Consequentemente, essas ações estão trazendo benefícios à comunidade atendida.

Biblioteca Digital de Teses e Dissertações: grau de utilização pelos mestrandos do curso de Ciência da Informação das Universidades Públicas Brasileiras

A pesquisa aborda o uso das Tecnologias de Informação e Comunicação, que vem revolucionando as atividades e ocasionando muitas mudanças relacionadas ao acesso e uso de informações. O objetivo foi analisar o grau de utilização do conhecimento científico produzido pelos Programas de Pós-Graduação das Universidades Públicas Brasileiras, através da BDTD, pelos mestrandos dos referidos programas. Nos procedimentos metodológicos realizados, procurou-se inicialmente analisar o amplo espectro da população do corpus da pesquisa. Em razão da impossibilidade de trabalhar com os Programas de Pós-Graduação como um todo, optou-se por fazer um recorte, elegendo os cursos de Pós-Graduação em Ciência da Informação, vez que estes representam o principal segmento social de interesse da pesquisa. Foi utilizado o método de estudo de usuários, onde se optou por adotar o grupo, “estudos orientados aos usuários”, que identifica as necessidades e comportamento de acesso e uso da informação. Para coletar os dados, elaborou-se um questionário semi-estruturado com 25 questões, que versavam sobre o uso, dificuldades de acesso e recuperação da informação, bem como a satisfação na utilização dessa fonte informacional. Dentre os vários resultados obtidos, podemos destacar o fato de que a maioria dos mestrandos (71,8%) só teve contato com a BDTD somente no momento em que se encontrava cursando o mestrado e, somente 24,3%, tiveram contato durante a graduação. Estes resultados representam um problema, que pode afetar o bom desempenho do projeto BDTD, o qual consiste em disseminar e divulgar a produção científica dos Programas de Pós-Graduação das Universidades Públicas Brasileiras para a sua comunidade. Foi observado também, que os mestrandos oriundos do curso de Biblioteconomia tende a ter contato com a BDTD bem mais cedo do que mestrandos de outros cursos de graduação. A fim de minimizar o problema detectado, propõe-se uma divulgação mais eficaz na graduação através de dois procedimentos: Primeiro, o docente deve fazer uma divulgação mais eficaz da BDTD junto aos discentes de todos os cursos de graduação; segundo: deverá ser feita a divulgação na mídia eletrônica, através da inserção de ícones da BDTD, nos portais dos Departamentos dos Cursos de Graduação das Universidades Públicas Brasileiras. Acredita-se que com estes procedimentos seja possível aperfeiçoar o uso dessa fonte de informação científica.

A Literatura de Cordel como recurso didático na orientação de usuários em uma biblioteca universitária

A Literatura de Cordel consiste numa forma de conhecimento que produz conteúdos importantes para serem inseridos nos mais diversos contextos educacionais. Através de sua linguagem simples, o cordel versa sobre os mais variados temas, proporcionando uma leitura prazerosa. Assim, o objetivo geral desse trabalho é utilizar-se do cordel, com sua característica lúdica, para educar usuários e funcionários de bibliotecas, promovendo um espaço de formadores de habilidades e competências no uso consciente do acervo. A metodologia constou de abordagem aos alunos durante a visita guiada à Biblioteca Central da Universidade Federal do Rio Grande do Norte, onde são prestadas informações dos serviços oferecidos e da importância do acervo de uma biblioteca na sua vida acadêmica, bem como de sua preservação. Ao final da visita, cada aluno recebe um folheto de cordel contendo informações sobre o uso consciente do acervo, além da recomendação de que após a leitura do cordel, o mesmo seja repassado sucessivamente para outros membros da comunidade, de forma a alcançar uma maior parcela de leitores. Os resultados apontam que o cordel destaca-se como um poderoso instrumento didático-pedagógico e disseminador de informações. Ademais, ele tem a facilidade de alcançar desde os mercados e feiras, que divulgam a ciência e a arte, bem como as tradições populares. Conclui-se que o uso do cordel, numa perspectiva educativa, permite transmitir para os usuários de uma biblioteca, bem como à comunidade em geral, as boas maneiras de utilização dos suportes informacionais.

Cordel Informativo: serviços oferecidos aos usuários de uma biblioteca universitária

Na observação prática cotidiana da Biblioteca Central Zila Mamede (BCZM), procurou-se identificar o comportamento dos usuários com relação ao uso das informações disponibilizadas. É bem possível que os usuários não se interessem pelos serviços por não conhecê-los plenamente. Tais observações levaram aos seguintes questionamentos: a) a comunidade acadêmica da Universidade Federal do Rio Grande do Norte (UFRN) sabe da existência de todas as fontes de informação disponibilizadas para pesquisa nessa unidade informacional? b) O desinteresse por algumas dessas fontes de informação tem relação com o desconhecimento das mesmas? Estes questionamentos motivaram a realização de um projeto que tem como objetivo divulgar as formas de acesso à produção científica da UFRN. Esse artigo descreve os serviços oferecidos pela BCZM, através da Literatura de Cordel, com a finalidade de estimular e sensibilizar os alunos de graduação, pós-graduação, professores e funcionários sobre a importância do acesso ao conhecimento científico disponíveis na biblioteca, acredita-se que a Literatura de Cordel, por ser um suporte informacional que alcança desde mercados e feiras, divulga a arte, a ciência e as tradições populares, ajuda, também, na disseminação das informações e estimula o prazer pela leitura. Tais requisitos capacita a nossa Comunidade Acadêmica, bem como o público em geral, o qual terá acesso às informações relevantes que servirão de insumos na construção do conhecimento. Neste artigo, serão apresentados em versos e estrofes escritos em forma rimada, os serviços que a BCZM oferece à sua comunidade. Posteriormente, serão divulgados outros serviços e as formas de acesso à produção científica da UFRN.

Sistemas de gerenciamento de bibliotecas: riscos decorrentes do processo de migração de dados

This work aims to analyze risks related to information technology (IT) in procedures related to data migration. This is done considering ALEPH, Integrated Libray System (ILS) that migrated data to the Library Module present in the software called Sistema Integrado de Gestão de Atividades Acadêmicas (SIGAA) at the Zila Mamede Central Library at the Federal University of Rio Grande do Norte (UFRN) in Natal/Brazil. The methodological procedure used was of a qualitative exploratory research with the realization of case study at the referred library in order to better understand this phenomenon. Data collection was able once there was use of a semi-structured interview that was applied with (11) subjects that are employed at the library as well as in the Technology Superintendence at UFRN. In order to examine data Content analysis as well as thematic review process was performed. After data migration the results of the interview were then linked to both analysis units and their system register with category correspondence. The main risks detected were: data destruction; data loss; data bank communication failure; user response delay; data inconsistency and duplicity. These elements point out implication and generate disorders that affect external and internal system users and lead to stress, work duplicity and hassles. Thus, some measures were taken related to risk management such as adequate planning, central management support, and pilot test simulations. For the advantages it has reduced of: risk, occurrence of problems and possible unforeseen costs, and allows achieving organizational objectives, among other. It is inferred therefore that the risks present in data bank conversion in libraries exist and some are predictable, however, it is seen that librarians do not know or ignore and are not very worried in the identification risks in data bank conversion, their acknowledge would minimize or even extinguish them. Another important aspect to consider is the existence of few empirical research that deal specifically with this subject and thus presenting the new of new approaches in order to promote better understanding of the matter in the corporate environment of the information units

Antígenos da forma amastigota de Leishmania chagasi identificados por dupla varredura da biblioteca de cDNA

Control of human visceral leishmaniasis in endemic regions is hampered in part by the lack of knowledge with respect of the role reservoirs and vector. In addition, there is not yet an understanding of how non-symptomatic subclinical infection might influence the maintenance of infection in a particular locality. Of worrisome is the limited accessibility to medical care in places with emerging drug resistance. There is still no available protective vaccine either for humans or other reservoirs. Leishmania species are protozoa that express multiple antigens which are recognized by the vertebrate immune system. Since there is not one immunodominant epitope recognized by most hosts, strategies must be developed to optimize selection of antigens for prevention and immunodiagnosis. For this reason, we generated a cDNA library from the intracellular amastigote form of Leishmania chagasi, the causative agent of South American visceral leishmaniasis. We employed a two-step expression screen of the library to systematically identify T and T-dependent B cell antigens. The first step was aimed at identifying the largest possible number of clones producing an epitope-containing polypeptide with a pool of sera from Brazilians with documented visceral leishmaniasis. After removal of clones encoding heat shock proteins, positive clones underwent a second step screen for their ability to cause proliferation and IFN-γ responses of T cells from immune mice. Six unique clones were selected from the second screen for further analysis. The clones encoded part of the coding sequence of glutamine synthetase, transitional endoplasmic reticulum ATPase, elongation factor 1γ, kinesin K-39, repetitive protein A2, and a hypothetical conserved protein. Humans naturally infected with L. chagasi mounted both cellular and antibody responses to these protein Preparations containing multiple antigens may be optimal for immunodiagnosis and protective vaccines against Leishmania