Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

Abstract. 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 describes our approach to reverse engineer an abstract model of a user interface directly from the GUI’s legacy code. We also present results from a case study. These results are encouraging and give evidence that the goal of reverse engineering user interfaces can be met with more work on this technique.

Qualifound – a modular tool developed for quality improvement in foundries

Purpose – Castings defects are usually easy to characterize, but to eradicate them can be a difficult task. In many cases, defects are caused by the combined effect of different factors, whose identification is often difficult. Besides, the real non-quality costs are usually unknown, and even neglected. This paper aims to describe the development of a modular tool for quality improvement in foundries, and its main objective is to present the application potential and the foundry process areas that are covered and taken into account. Design/methodology/approach – The integrated model was conceived as an expert system, designated Qualifound, which performs both qualitative and quantitative analyses. For the qualitative analyses mode, the nomenclature and the description of defects are based on the classification suggested by the International Committee of the Foundry Technical Association. Thus, a database of defects was established, enabling one to associate the defects with the relevant process operations and the identification of their possible causes. The quantitative analysis mode deals with the number of produced and rejected castings and includes the calculation of the non-quality costs. Findings – The validation of Qualifound was carried out in a Portuguese foundry, whose quality system had been certified according to the ISO 9000 standards. Qualifound was used in every management area and it was concluded that the application had the required technological requisites to provide the necessary information for the foundry management to improve process quality. Originality/value – The paper presents a successful application of an informatics tool on quality improvement in foundries.

A generic model for integration of Quality, Environment and Safety Management Systems

Purpose – The purpose of this paper is to propose a generic model of Integrated Management System of Quality, Environment and Safety (IMS-QES) that can be adapted and progressively to assimilate various Management Systems, of which highlights: ISO 9001 for Quality; ISO 14001 for Environment; OHSAS 18001 for Occupational Health and Safety. Design/methodology/approach – The model was designed in the real environment of a Portuguese Organization and 160 employees were surveyed. The rate response was equal to 86 percent. The conceived model was implemented in a first phase for the integration of Quality, Environment and Safety Management Systems. Findings – Among the main findings of the survey the paper highlights: the elimination of conflicts between individual systems with resources optimization; creation of added value to the business by eliminating several types of wastes; the integrated management of sustainability components in a global market; the improvement of partnerships with suppliers of goods and services; reducing the number of internal and external audits. Originality/value – This case study is one of the first Portuguese empirical researches about IMS-QES and the paper believes that it can be useful in the creation of a Portuguese guideline for integration, namely the Quality Management Systems; Environmental Management Systems and Occupational Health and Safety Management Systems among others.

Controlo postural em adolescentes com défice cognitivo

Introdução: O controlo postural é base do movimento humano, e pode ser estudado através das tarefas como o levantar e o alcance. Nestas, observam-se frequentemente alterações neuromotoras em indivíduos com défice cognitivo. Objetivo: descrever as alterações na relação entre os segmentos corporais na sequência de movimento levantar-para-alcançar, em adolescentes com défice cognitivo, face à aplicação de um programa de intervenção em fisioterapia baseado no Conceito de Bobath/ Tratamento do Neurodesenvolvimento (TND). Métodos: antes e após a intervenção em fisioterapia, filmou-se as vistas lateral e posterior da sequência de movimento de levantar-para-alcançar, a qual foi posteriormente dividida em 5 fases, para a análise observacional e quantitativa. A análise quantitativa foi realizada através da distância entre tragus-acrómio, crista ilíaca-acrómio, espinha ilíaca postero-superior homolateral-T1, ângulos inferiores da omoplata e ângulo inferior da omoplata homolateral-T1, recorrendo-se ao software de Avaliação Postural - SAPo. Face à avaliação inicial e evolução dos participantes foram estabelecidos planos de intervenção, tendo em conta aspectos como o contexto, a tarefa e a motivação. Resultados: no geral, foram detetadas alterações na relação entre os segmentos corporais na análise observacional e quantitativa, após a intervenção. Conclusão: As alterações na relação entre os segmentos corporais poderão indicar uma possível reorganização motora.

A trust model for cloud computing environment

This paper presents a proposal for a management model based on reliability requirements concerning Cloud Computing (CC). The proposal was based on a literature review focused on the problems, challenges and underway studies related to the safety and reliability of Information Systems (IS) in this technological environment. This literature review examined the existing obstacles and challenges from the point of view of respected authors on the subject. The main issues are addressed and structured as a model, called "Trust Model for Cloud Computing environment". This is a proactive proposal that purposes to organize and discuss management solutions for the CC environment, aiming improved reliability of the IS applications operation, for both providers and their customers. On the other hand and central to trust, one of the CC challenges is the development of models for mutual audit management agreements, so that a formal relationship can be established involving the relevant legal responsibilities. To establish and control the appropriate contractual requirements, it is necessary to adopt technologies that can collect the data needed to inform risk decisions, such as access usage, security controls, location and other references related to the use of the service. In this process, the cloud service providers and consumers themselves must have metrics and controls to support cloud-use management in compliance with the SLAs agreed between the parties. The organization of these studies and its dissemination in the market as a conceptual model that is able to establish parameters to regulate a reliable relation between provider and user of IT services in CC environment is an interesting instrument to guide providers, developers and users in order to provide services and secure and reliable applications.

Information systems assessment in pathologic anatomy service

Information technologies changed the way of how the health organizations work, contributing to their effectiveness, efficiency and sustainability. Hospital Information Systems (HIS) are emerging on all of health institutions, helping health professionals and patients. However, HIS are not always implemented and used in the best way, leading to low levels of benefits and acceptance by users of these systems. In order to mitigate this problem, it is essential to take measures able to ensure if the HIS and their interfaces are designed in a simple and interactive way. With this in mind, a study to measure the user satisfaction and their opinion was made. It was applied the Technology Acceptance Model (TAM) on a HIS implemented on various hospital centers (AIDA), being used the Pathologic Anatomy Service. The study identified weakness and strengths features of AIDA and it pointed some solutions to improve the medical record.

Interacting and making personalized recommendations of places of interest to tourists

Advances in Intelligent Systems and Computing, 353

Biocatalysis in micellar systems

[Excert] Biocatalysis and biotransformations are environmentally friendly, and allow the development of sustainable production processes on a large scale. Thus, these processes are becoming important alternatives to conventional chemistry in the drug, biochemical, and emerging biorenewable energy industries. Biocatalysts are required to function under non-conventional conditions, such as in organic solvents, being competitive in terms of cost and efficiency. In fact, the technological utility of enzymes can be enhanced greatly by using them in the presence of organic solvents, rather than in their natural aqueous reaction media. Multiphase systems are more complex but offer a new field of possibilities. The presence of hydrophobic solvents in biocatalysis allows the conversion of poorly water soluble substrates more efficiently. The accessibility of hydrophobic substrates to enzymes or whole cells presents an interesting challenge for researchers and technologists. In this context, microemulsions are a promising tool in enzyme technology. This chapter presents an overview of the characterization of biphasic and microemulsion systems and their applications in biotransformation processes (...).

Memòria del projecte GAS

L'objectiu d'aquest Treball Final de Carrera consisteix en la realització del desenvolupament d'un Gestor d'Administració de Sistemes (GAS). El desenvolupament d'aquest gestor tindrà ús real i vindrà a cobrir una necessitat del departament de Sistemas Informàtic de l'Hospital Americà de la Base Naval de Trencada on treball com a administradora de sistemes.

El reclutamiento de personal en la nueva sociedad informacional

El artículo plantea un análisis empírico sobre las posibilidades de aplicación de las nuevas tecnologías de la información al proceso de reclutamiento de personal. Las competencias sociales y cognitivas que requieren las nuevas formas de organización de la producción plantean nuevos métodos de aprendizaje y la actualización del desarrollo de capacidades y comportamientos. Se trata de renovar y completar las competencias profesionales en un proceso permanente, que implica la adopción de una política de reclutamiento orientada por la consideración del conocimiento como elemento diferenciador de competitividad empresarial y de creación de riqueza.

Question Waves: A multicast query routing algorithm for social search

This paper describes Question Waves, an algorithm that can be applied to social search protocols, such as Asknext or Sixearch. In this model, the queries are propagated through the social network, with faster propagation through more trustable acquaintances. Question Waves uses local information to make decisions and obtain an answer ranking. With Question Waves, the answers that arrive first are the most likely to be relevant, and we computed the correlation of answer relevance with the order of arrival to demonstrate this result. We obtained correlations equivalent to the heuristics that use global knowledge, such as profile similarity among users or the expertise value of an agent. Because Question Waves is compatible with the social search protocol Asknext, it is possible to stop a search when enough relevant answers have been found; additionally, stopping the search early only introduces a minimal risk of not obtaining the best possible answer. Furthermore, Question Waves does not require a re-ranking algorithm because the results arrive sorted

Institutional legacies, employment and professional integration of non EU/EEA doctors in France

Internationally, policies for attracting highly-skilled migrants have become the guidelines mainly used by the Organisation for Economic Co-operation and Development (OECD) countries. Governments are implementing specific procedures to capture and facilitate their mobility. However, all professions are not equal when it comes to welcoming highly-skilled migrants. The medical profession, as a protective market, is one of these. Taking the case of non-EU/EEA doctors in France, this paper shows that the medical profession defined as the closed labour market, remains the most controversial in terms of professional integration of migrants, protectionist barriers to migrant competition and challenge of medical shortage. Based on the path-dependency approach, this paper argues that non-EU/EEA doctors' issues in France derive from a complex historical process of interaction between standards settled in the past, particularly the historical power of medical corporatism, the unexpected long-term effects of French hospital reforms of 1958, and budgetary pressures. Theoretically, this paper shows two significant findings. Firstly, the French medical system has undergone a series of transformations unthinkable in the strict sense of a path-dependence approach: an opening of the medical profession to foreign physicians in the context of the Europeanisation of public policy, acceptance of non-EU/EEA doctors in a context of medical shortage and budgetary pressures. Secondly, there is no change of the overall paradigm: significantly, the recruitment policies of non-EU/EEA doctors continue to highlight the imprint of the past and reveal a significant persistence of prejudices. Non-EU/EEA doctors are not considered legitimate doctors even if they have the qualifications of physicians which are legitimate in their country and which can be recognised in other receiving countries.

Can affinity interactions influence the partitioning of glucose-6-phosphate dehydrogenase in two-phase aqueous micellar systems?

In this work, we provide an investigation of the role and strength of affinity interactions on the partitioning of the glucose-6-phosphate dehydrogenase in aqueous two-phase micellar systems. These systems are constituted of micellar surfactant solutions and offer both hydrophobic and hydrophilic environments, providing selectivity to biomolecules. We studied G6PD partitioning in systems composed of the nonionic surfactants, separately, in the presence and absence of affinity ligands. We observed that G6PD partitions to the micelle-poor phase, owing to the strength of excluded-volume interactions in these systems that drive the protein to the micelle-poor phase, where there is more free volume available.

Social Presence Approach Within the Question and Answering eLearning Model: An Experiment with a Multi-Agent System

The model of Questions Answering (Q&A) for eLearning is based on collaborative learning through questions that are posed by students and their answers to that questions which are given by peers, in contrast with the classical model in which students ask questions to the teacher only. In this proposal we extend the Q&A model including the social presence concept and a quantitative measure of it is proposed; besides it is considered the evolution of the resulting Q&A social network after the inclusion of the social presence and taking into account the feedback on questions posed by students and answered by peers. The social network behaviorwas simulated using a Multi-Agent System to compare the proposed social presence model with the classical and the Q&A models

Amorçage cognitif pour amélioration de l’acquisition de la connaissance dans un système tutoriel intelligent

Cette thèse vise à définir une nouvelle méthode d’enseignement pour les systèmes tutoriels intelligents dans le but d’améliorer l’acquisition des connaissances. L’apprentissage est un phénomène complexe faisant intervenir des mécanismes émotionnels et cognitifs de nature consciente et inconsciente. Nous nous intéressons à mieux comprendre les mécanismes inconscients du raisonnement lors de l’acquisition des connaissances. L’importance de ces processus inconscients pour le raisonnement est bien documentée en neurosciences, mais demeure encore largement inexplorée dans notre domaine de recherche. Dans cette thèse, nous proposons la mise en place d’une nouvelle approche pédagogique dans le domaine de l’éducation implémentant une taxonomie neuroscientifique de la perception humaine. Nous montrons que cette nouvelle approche agit sur le raisonnement et, à tour de rôle, améliore l’apprentissage général et l’induction de la connaissance dans un environnement de résolution de problème. Dans une première partie, nous présentons l’implémentation de notre nouvelle méthode dans un système tutoriel visant à améliorer le raisonnement pour un meilleur apprentissage. De plus, compte tenu de l’importance des mécanismes émotionnels dans l’apprentissage, nous avons également procédé dans cette partie à la mesure des émotions par des capteurs physiologiques. L’efficacité de notre méthode pour l’apprentissage et son impact positif observé sur les émotions a été validée sur trente et un participants. Dans une seconde partie, nous allons plus loin dans notre recherche en adaptant notre méthode visant à améliorer le raisonnement pour une meilleure induction de la connaissance. L’induction est un type de raisonnement qui permet de construire des règles générales à partir d’exemples spécifiques ou de faits particuliers. Afin de mieux comprendre l’impact de notre méthode sur les processus cognitifs impliqués dans ce type de raisonnement, nous avons eu recours à des capteurs cérébraux pour mesurer l’activité du cerveau des utilisateurs. La validation de notre approche réalisée sur quarante-trois volontaires montre l’efficacité de notre méthode pour l’induction de la connaissance et la viabilité de mesurer le raisonnement par des mesures cérébrales suite à l’application appropriée d’algorithmes de traitement de signal. Suite à ces deux parties, nous clorons la thèse par une discussion applicative en décrivant la mise en place d’un nouveau système tutoriel intelligent intégrant les résultats de nos travaux.