Avaliação das capacitações de Hanseníase: enfermeiros opinião de médicos e enfermeiros das equipes de saúde da família

MORENO,Cléa Maria da Costa,ENDERS,Bertha Cruz, SIMPSON, Clélia Albino. Avaliação das capacitações de Hanseníase: enfermeiros opinião de médicos e enfermeiros das equipes de saúde da família. Revista Brasileira de Enfermagem, Brasília, v.61,n.esp.p. 671-5.2008.

JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Avaliação da eficiência dos programas de pós-graduação acadêmicos em administração, contabilidade e turismo

The Triennial Evaluation of Coordination for the Improvement of Higher Education Personnel (CAPES) is made according to several indicators, divided into several issues and items, and their weights. In these it is evident the importance of scientific periodicals. This study aims to evaluate the relative efficiency of post-graduate students in Business Administration, Accounting and tourism evaluated by CAPES in Brazil. The methodology used the data envelopment analysis - DEA (Data Envelopment Analysis). The data were obtained from the site and organized by the CAPES Qualis score. The analysis was performed by the DEA variable returns to scale, product-oriented (BCC-O), with data from the three-year periods 2004-2006 and 2007-2009. Among the main results are the average increase significantly the relative efficiency of the programs in the period 2007-2009 compared to 2004-2006 period, the highest average efficiency of programs linked to public institutions in relation to private, doctoral programs with the present average efficiency sharply higher than those only with masters, and senior programs in general were more efficient. There is also moderate and significant correlation between the efficiency scores and concepts CAPES. The Malmquist index analysis showed that more than 85% of programs had increased productivity. It is noteworthy that the main effect that influences the increase of the Malmquist index is the displacement of the border (Frontier-shift)

Formal verification of PLC programs using the B Method

PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs

Formação e capacitação profissional no setor hoteleiro de Ponta Negra, Natal/RN

This paper aims to analyse and discuss the labour in hospitality industry, specially the hospitality trade in Ponta Negra Natal/RN, Brazil, since the tourism has increased in the city, by investigating if the tourism field is suitable for public politics programs and labour qualification. The choice for Ponta Negra is because it has become the focus of tourism development in Natal. The research was developed by using qualitative approach of investigation, by means of some procedures such as: bibliographic and empirical researches, by using questionnaires with workers and recruiting personnel of hotels, always following a theory and a reflexive descriptive attitude. This dissertation involves eight chapters: Neoliberalism and labour; Economical and spatial restructuring of Rio Grande do Norte; Public politics concerning tourism area; Tourism, graduation and qualification in hospitality industry; Qualification for tourism hospitality; Hotels: territorialization and unterritorialization; Social qualification reality of people involved in hospitality activities in Ponta Negra, Natal/RN, Brazil; and Final considerations and recommendations. Therefore, this paper intends to contribute for understanding professional qualification in hospitality trade, confronting the needs that the service requires, and mainly, in the tourism sector, which is increasing in our city, Natal