A Generic Library for GUI Reasoning and Testing

Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI's code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper presents a generic model for language-independent reverse engineering of graphical user interface based applications, and we explore the integration of model-based testing techniques in our approach, thus allowing us to perform fault detection. A prototype tool has been constructed, which is already capable of deriving and testing a user interface behavioral model of applications written in Java/Swing.

Development of a library for clients of ONVIF video cameras: challenges and solutions

The interoperability of IP video equipment is a critical problem for surveillance systems and other video application developers. ONVIF is one of the two specifications addressing the standardization of networked devices interface, and it is based on SOAP. This paper addresses the development of an ONVIF library to develop clients of video cameras. We address the choice of a web services toolkit, and how to use the selected toolkit to develop a basic library. From that, we discuss the implementation of features that ...

Organisational and professional commitments: the influence in nurses´organizational citizenship behaviours

The way an employee behaves in his work can be influenced by the organisational and professional commitment. Nurses are professionals who are guided by organisational and professional goals and values. Among nurses, professional commitment may be an important antecedent of organisational citizenship behaviours. The study shows how organisational and professional commitment is related with nurses’ organisational citizenship behaviours. Data from a sample of 420 nurses working in two hospitals --- the Hospital of St. Marcos, Braga and the Hospital Centre of Alto Ave, Guimarães and Fafe units were collected. The main findings are as follows: (a) organisational commitment and professional commitment contribute to the explanation of nurses’ organisational citizenship behaviours, (b) affective organisational commitment, continuance organisational commitment --- personal sacrifice, affective professional commitment and continuance professional commitment explain 28.6% of variance of organisational citizenship behaviours. © 2013 Instituto Politécnico do Cávado e do Ave (IPCA). Published by Elsevier España, S.L.U. All rights reserved.

XAdES4J: a java library for XAdES signature services

As comunicações electrónicas são cada vez mais o meio de eleição para negócios entre entidades e para as relações entre os cidadãos e o Estado (e-government). Esta diversidade de transacções envolve, muitas vezes, informação sensível e com possível valor legal. Neste contexto, as assinaturas electrónicas são uma importante base de confiança, fornecendo garantias de integridade e autenticação entre os intervenientes. A produção de uma assinatura digital resulta não só no valor da assinatura propriamente dita, mas também num conjunto de informação adicional acerca da mesma, como o algoritmo de assinatura, o certificado de validação ou a hora e local de produção. Num cenário heterogéneo como o descrito anteriormente, torna-se necessária uma forma flexível e interoperável de descrever esse tipo de informação. A linguagem XML é uma forma adequada de representar uma assinatura neste contexto, não só pela sua natureza estruturada, mas principalmente por ser baseada em texto e ter suporte generalizado. A recomendação XML Signature Syntax and Processing (ou apenas XML Signature) foi o primeiro passo na representação de assinaturas em XML. Nela são definidas sintaxe e regras de processamento para criar, representar e validar assinaturas digitais. As assinaturas XML podem ser aplicadas a qualquer tipo de conteúdos digitais identificáveis por um URI, tanto no mesmo documento XML que a assinatura, como noutra qualquer localização. Além disso, a mesma assinatura XML pode englobar vários recursos, mesmo de tipos diferentes (texto livre, imagens, XML, etc.). À medida que as assinaturas electrónicas foram ganhando relevância tornou-se evidente que a especificação XML Signature não era suficiente, nomeadamente por não dar garantias de validade a longo prazo nem de não repudiação. Esta situação foi agravada pelo facto da especificação não cumprir os requisitos da directiva 1999/93/EC da União Europeia, onde é estabelecido um quadro legal para as assinaturas electrónicas a nível comunitário. No seguimento desta directiva da União Europeia foi desenvolvida a especificação XML Advanced Electronic Signatures que define formatos XML e regras de processamento para assinaturas electrónicas não repudiáveis e com validade verificável durante períodos de tempo extensos, em conformidade com a directiva. Esta especificação estende a recomendação XML Signature, definindo novos elementos que contêm informação adicional acerca da assinatura e dos recursos assinados (propriedades qualificadoras). A plataforma Java inclui, desde a versão 1.6, uma API de alto nível para serviços de assinaturas digitais em XML, de acordo com a recomendação XML Signature. Contudo, não existe suporte para assinaturas avançadas. Com este projecto pretende-se desenvolver uma biblioteca Java para a criação e validação de assinaturas XAdES, preenchendo assim a lacuna existente na plataforma. A biblioteca desenvolvida disponibiliza uma interface com alto nível de abstracção, não tendo o programador que lidar directamente com a estrutura XML da assinatura nem com os detalhes do conteúdo das propriedades qualificadoras. São definidos tipos que representam os principais conceitos da assinatura, nomeadamente as propriedades qualificadoras e os recursos assinados, sendo os aspectos estruturais resolvidos internamente. Neste trabalho, a informação que compõe uma assinatura XAdES é dividia em dois grupos: o primeiro é formado por características do signatário e da assinatura, tais como a chave e as propriedades qualificadoras da assinatura. O segundo grupo é composto pelos recursos assinados e as correspondentes propriedades qualificadoras. Quando um signatário produz várias assinaturas em determinado contexto, o primeiro grupo de características será semelhante entre elas. Definiu-se o conjunto invariante de características da assinatura e do signatário como perfil de assinatura. O conceito é estendido à verificação de assinaturas englobando, neste caso, a informação a usar nesse processo, como por exemplo os certificados raiz em que o verificador confia. Numa outra perspectiva, um perfil constitui uma configuração do serviço de assinatura correspondente. O desenho e implementação da biblioteca estão também baseados no conceito de fornecedor de serviços. Um fornecedor de serviços é uma entidade que disponibiliza determinada informação ou serviço necessários à produção e verificação de assinaturas, nomeadamente: selecção de chave/certificado de assinatura, validação de certificados, interacção com servidores de time-stamp e geração de XML. Em vez de depender directamente da informação em causa, um perfil — e, consequentemente, a operação correspondente — é configurado com fornecedores de serviços que são invocados quando necessário. Para cada tipo de fornecedor de serviços é definida um interface, podendo as correspondentes implementações ser configuradas de forma independente. A biblioteca inclui implementações de todos os fornecedores de serviços, sendo algumas delas usadas for omissão na produção e verificação de assinaturas. Uma vez que o foco do projecto é a especificação XAdES, o processamento e estrutura relativos ao formato básico são delegados internamente na biblioteca Apache XML Security, que disponibiliza uma implementação da recomendação XML Signature. Para validar o funcionamento da biblioteca, nomeadamente em termos de interoperabilidade, procede-se, entre outros, à verificação de um conjunto de assinaturas produzidas por Estados Membros da União Europeia, bem como por outra implementação da especificação XAdES.

Peculiarities of the professional education and qualification appraisal of assistants of pharmacists in Lithuania

Following the alterations and additions to the pharmaceutical law of Lithuanian Republic the pharmaceutical activity in Lithuanian pharmacies is carried out by pharmacy specialists – pharmacists and pharmacy assistants (pharmacy technicians). The ability of pharmacy specialists to adapt, to improve and to develop their competencies is one of the success preconditions for Lithuanian health care pharmacy sector. Work aim: to investigate the changes among the specialists employed in pharmacies and pharmacy sector as well as to highlight the necessity to develop the qualification of pharmacy assistants (pharmacy technicians) according to the modern pharmaceutical legal basis in Lithuania. In 2008–2011 the research in Lithuanian pharmacy sector was performed which identified the changes in the numbers of pharmacies and their staff: the number of pharmacies decreased, while the number of pharmacists increased and the number of the assistants of pharmacists (pharmacy technicians) decreased. The decrease in the number of the assistants of pharmacists (pharmacy technicians) and the danger of their extinction in the future has been identified. The qualification appraisal for pharmacy assistants (pharmacy technicians) is implemented through the leveling studies at the Pharmacy technique department at the Health care faculty of Kauno Kolegija University of applied sciences and pharmacy study programme at the faculty of Pharmacy of Medical Academy at Lithuanian University of Health Sciences. 75 % of respondents use their own money to pay for the qualification appraisal, and 25 % of respondents get financial support for the qualification appraisal activities from the pharmacy managers.

Accounting logic and new professional in healthcare: a case study

The central place hospitals occupy in health systems transforms them into prime target of healthcare reforms. This study aims to identify current trends in organizational structure change in public hospitals and explore the role of accounting in attempts to develop controls over professionals within public hospitals. The analytical framework we proposed crosses the concept of “new professionalism” (Evetts, 2010), with the concept of “accounting logic” for controlling professionals (Broadbent and Laughlin, 1995). Looking for a more holistic overview, we developed a qualitative and exploratory study. The data were collected trough semi-structured interviews with doctors of a clinical hospital unit. Content analysis suggests that, although we cannot say that there is a complete and generalized integration of accounting information in the clinical decisions, important improvement has been made in that area. Despite the extensive literature developed on this topic, there is any empirical studies of authors are aware that allow us to realize how real doctors in reals day-to-day work integrated these trends of change in theirs clinical decisions.

Inter-professional partnership: a case study

O estudo caso apresentado neste artigo aborda a colaboração entre profissionais de múltiplas áreas disciplinares. Este estudo descreve como foi realizada a parceria entre a equipa de enfermagem e a equipa de psicologia clinica nas visitas domiciliárias com familias em risco. Igualmente, discute as dificuldades enfrentadas quando os profissionais não partilhavam os mesmos modelos de praticas colaborativas.

Methodology for in-game certification in serious games

Serious games are starting to attain a higher role as tools for learning in various contexts, but in particular in areas such as education and training. Due to its characteristics, such as rules, behavior simulation and feedback to the player's actions, serious games provide a favorable learning environment where errors can occur without real life penalty and students get instant feedback from challenges. These challenges are in accordance with the intended objectives and will self-adapt and repeat according to the student’s difficulty level. Through motivating and engaging environments, which serve as base for problem solving and simulation of different situations and contexts, serious games have a great potential to aid players developing professional skills. But, how do we certify the acquired knowledge and skills? With this work we intend to propose a methodology to establish a relationship between the game mechanics of serious games and an array of competences for certification, evaluating the applicability of various aspects in the design and development of games such as the user interfaces and the gameplay, obtaining learning outcomes within the game itself. Through the definition of game mechanics combined with the necessary pedagogical elements, the game will ensure the certification. This paper will present a matrix of generic skills, based on the European Framework of Qualifications, and the definition of the game mechanics necessary for certification on tour guide training context. The certification matrix has as reference axes: skills, knowledge and competencies, which describe what the students should learn, understand and be able to do after they complete the learning process. The guides-interpreters welcome and accompany tourists on trips and visits to places of tourist interest and cultural heritage such as museums, palaces and national monuments, where they provide various information. Tour guide certification requirements include skills and specific knowledge about foreign languages and in the areas of History, Ethnology, Politics, Religion, Geography and Art of the territory where it is inserted. These skills are communication, interpersonal relationships, motivation, organization and management. This certification process aims to validate the skills to plan and conduct guided tours on the territory, demonstrate knowledge appropriate to the context and finally match a good group leader. After defining which competences are to be certified, the next step is to delineate the expected learning outcomes, as well as identify the game mechanics associated with it. The game mechanics, as methods invoked by agents for interaction with the game world, in combination with game elements/objects allows multiple paths through which to explore the game environment and its educational process. Mechanics as achievements, appointments, progression, reward schedules or status, describe how game can be designed to affect players in unprecedented ways. In order for the game to be able to certify tour guides, the design of the training game will incorporate a set of theoretical and practical tasks to acquire skills and knowledge of various transversal themes. For this end, patterns of skills and abilities in acquiring different knowledge will be identified.

Exploração da Point Cloud Library aplicada à percepção em sistemas autónomos

A navegação e a interpretação do meio envolvente por veículos autónomos em ambientes não estruturados continua a ser um grande desafio na actualidade. Sebastian Thrun, descreve em [Thr02], que o problema do mapeamento em sistemas robóticos é o da aquisição de um modelo espacial do meio envolvente do robô. Neste contexto, a integração de sistemas sensoriais em plataformas robóticas, que permitam a construção de mapas do mundo que as rodeia é de extrema importância. A informação recolhida desses dados pode ser interpretada, tendo aplicabilidade em tarefas de localização, navegação e manipulação de objectos. Até à bem pouco tempo, a generalidade dos sistemas robóticos que realizavam tarefas de mapeamento ou Simultaneous Localization And Mapping (SLAM), utilizavam dispositivos do tipo laser rangefinders e câmaras stereo. Estes equipamentos, para além de serem dispendiosos, fornecem apenas informação bidimensional, recolhidas através de cortes transversais 2D, no caso dos rangefinders. O paradigma deste tipo de tecnologia mudou consideravelmente, com o lançamento no mercado de câmaras RGB-D, como a desenvolvida pela PrimeSense TM e o subsequente lançamento da Kinect, pela Microsoft R para a Xbox 360 no final de 2010. A qualidade do sensor de profundidade, dada a natureza de baixo custo e a sua capacidade de aquisição de dados em tempo real, é incontornável, fazendo com que o sensor se tornasse instantaneamente popular entre pesquisadores e entusiastas. Este avanço tecnológico deu origem a várias ferramentas de desenvolvimento e interacção humana com este tipo de sensor, como por exemplo a Point Cloud Library [RC11] (PCL). Esta ferramenta tem como objectivo fornecer suporte para todos os blocos de construção comuns que uma aplicação 3D necessita, dando especial ênfase ao processamento de nuvens de pontos de n dimensões adquiridas a partir de câmaras RGB-D, bem como scanners laser, câmaras Time-of-Flight ou câmaras stereo. Neste contexto, é realizada nesta dissertação, a avaliação e comparação de alguns dos módulos e métodos constituintes da biblioteca PCL, para a resolução de problemas inerentes à construção e interpretação de mapas, em ambientes indoor não estruturados, utilizando os dados provenientes da Kinect. A partir desta avaliação, é proposta uma arquitectura de sistema que sistematiza o registo de nuvens de pontos, correspondentes a vistas parciais do mundo, num modelo global consistente. Os resultados da avaliação realizada à biblioteca PCL atestam a sua viabilidade, para a resolução dos problemas propostos. Prova da sua viabilidade, são os resultados práticos obtidos, da implementação da arquitectura de sistema proposta, que apresenta resultados de desempenho interessantes, como também boas perspectivas de integração deste tipo de conceitos e tecnologia em plataformas robóticas desenvolvidas no âmbito de projectos do Laboratório de Sistemas Autónomos (LSA).

Demand for and availability of online support to stop smoking

OBJECTIVES: Estimate the frequency of online searches on the topic of smoking and analyze the quality of online resources available to smokers interested in giving up smoking. METHODS: Search engines were used to revise searches and online resources related to stopping smoking in Brazil in 2010. The number of searches was determined using analytical tools available on Google Ads; the number and type of sites were determined by replicating the search patterns of internet users. The sites were classified according to content (advertising, library of articles and other). The quality of the sites was analyzed using the Smoking Treatment Scale- Content (STS-C) and the Smoking Treatment Scale - Rating (STS-R). RESULTS: A total of 642,446 searches was carried out. Around a third of the 113 sites encountered were of the 'library' type, i.e. they only contained articles, followed by sites containing clinical advertising (18.6) and professional education (10.6). Thirteen of the sites offered advice on quitting directed at smokers. The majority of the sites did not contain evidence-based information, were not interactive and did not have the possibility of communicating with users after the first contact. Other limitations we came across were a lack of financial disclosure as well as no guarantee of privacy concerning information obtained and no distinction made between editorial content and advertisements. CONCLUSIONS: There is a disparity between the high demand for online support in giving up smoking and the scarcity of quality online resources for smokers. It is necessary to develop interactive, customized online resources based on evidence and random clinical testing in order to improve the support available to Brazilian smokers.

Professional and community satisfaction with the Brazilian family health strategy

OBJECTIVE: To analyze the strengths and limitations of the Family Health Strategy from the perspective of health care professionals and the community. METHODS: Between June-August 2009, in the city of Vespasiano, Minas Gerais State, Southeastern Brazil, a questionnaire was used to evaluate the Family Health Strategy (ESF) with 77 healthcare professionals and 293 caregivers of children under five. Health care professional training, community access to health care, communication with patients and delivery of health education and pediatric care were the main points of interest in the evaluation. Logistic regression analysis was used to obtain odds ratios and 95% confidence intervals as well as to assess the statistical significance of the variables studied. RESULTS: The majority of health care professionals reported their program training was insufficient in quantity, content and method of delivery. Caregivers and professionals identified similar weaknesses (services not accessible to the community, lack of healthcare professionals, poor training for professionals) and strengths (community health worker-patient communications, provision of educational information, and pediatric care). Recommendations for improvement included: more doctors and specialists, more and better training, and scheduling improvements. Caregiver satisfaction with the ESF was found to be related to perceived benefits such as community health agent household visits (OR 5.8, 95%CI 2.8;12.1), good professional-patient relationships (OR 4.8, 95%CI 2.5;9.3), and family-focused health (OR 4.1, 95%CI 1.6;10.2); and perceived problems such as lack of personnel (OR 0.3, 95%CI 0.2;0.6), difficulty with access (OR 0.2, 95%CI 0.1;0.4), and poor quality of care (OR 0.3, 95%CI 0.1;0.6). Overall, 62% of caregivers reported being generally satisfied with the ESF services. CONCLUSIONS: Identifying the limitations and strengths of the Family Health Strategy from the healthcare professional and caregiver perspective may serve to advance primary community healthcare in Brazil.

Professional situation of prosthetics and orthotics recent graduates in ESTeSL

The career of prosthetics and orthotics in Portugal have a recent formative path: need to investigate the employability and employment of the graduates in Prosthetic and Orthotics (P&O) in ESTeSL between the academic years of 2004/05 and 2012/13; approaching to socio-demographic data and also academic and professional path. The questionnaire was applied to the P&O professional population graduated in ESTeSL. The results had been important to observe the future perspectives trends for the profession.

Asthenopic symptoms and binocular vision of professional users of optical microscope

Desde 1935 que tem sido demonstrada a relação entre a execução de um trabalho de perto prolongado e o aparecimento de queixas visuais astenópicas. Anomalias da VB encontram-se significativamente aumentadas ao fim de um dia de trabalho com fixação de perto. Diminuição significativa da amplitude de acomodação e convergência depois de quatro dias a realizar uma atividade de perto. Objectivo geral: avaliar o estado da visão binocular dos profissionais de Anatomia Patológica utilizadores de microscópio ótico. Objectivos específicos: identificar as queixas astenópicas mais frequentes dos profissionais durante o trabalho com o microscópio ótico; comparar o estado da VB no início e no final de uma semana de trabalho; correlacionar o estado da VB com as queixas astenópicas sentidas pelos profissionais; correlacionar as queixas astenópicas com as horas e o número de anos de trabalho com o microscópio.

Using the TRAILER tool for managing informal learning in academic and professional contexts: the learner perspective

Informal Learning plays an important role in everyone's life and yet we often are unaware of it. The need to keep track of the knowledge acquired through informal learning is increasing as its sources become increasingly diverse. This paper presents a study on a tool developed to help keeping track of learners' informal learning, both within academic and professional contexts, This tool, developed within the European Commission funded TRAILER project, will further integrate the improvements suggested by users during the piloting phase. The two studied contexts were similar regarding the importance and perception of Informal Learning, but differed concerning tool usage. The overall idea of managing one's informal learning was well accepted and welcomed, which validated the emerging need for a tool with this purpose.