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.

50 Anos do ensino formal das profissões de diagnóstico e terapêutica em 110 anos de história

Os 50 Anos de ensino das profissões de Diagnóstico e Terapêutica tem registado uma evolução muito significativa nos últimos 30 anos. A formação tem por base as competências facultando a capacitação dos profissionais no desenvolvimento das suas atividades profissionais. A formação de profissionais de Diagnóstico e Terapêutica constitui uma mais valia para a prestação de cuidados de saúde. É necessário criar estratégias para que a procura, por parte de candidatos, seja proporcional ao número de vagas disponíveis. É nosso objetivo suscitar uma reflexão conjunta sobre estratégias a adoptar face à realidade atual!

O impacto do cuidado informal na qualidade de vida do cuidador

Numa sociedade cada vez mais envelhecida e dependente, as políticas de desinstitunalização e o cuidado informal surgem como resposta a uma procura crescente de cuidados de saúde. O cuidado informal assume assim a responsabilidade pela prestação dos cuidados à pessoa dependente. O presente estudo pretende analisar qual o impacto dessa situação na qualidade de vida do cuidador informal. O principal objetivo deste estudo foi avaliar o impacto na qualidade de vida do cuidador informal no início do processo de cuidados à pessoa dependente. Para tal procedeu-se à realização de um estudo de natureza quantitativa de caracter analítico com aplicação da escala WHOQOL-Bref a uma amostra de 82 cuidadores informais em dois momentos distintos, o primeiro antes e o segundo 2 meses após o início do processo do cuidado informal. Avaliamos a consistência interna dos quatro domínios da escala tendo-se obtido um alfa de Cronbach no domínio: físico (α=0,844), psicológico (α=0,800), ambiente (α=0,807), relações sociais (α=0,706) e a pontuação total (α=0,933). Para proceder à análise inferencial recorreu-se ao Coeficiente de correlação de Spearman, e ao teste- t. Os resultados mostram que o cuidado informal implica uma diminuição significativa na qualidade de vida do cuidador (p <0,001). Constatou-se igualmente que o cuidado informal tem maior impacto na qualidade de vida do homem cuidador do que da mulher cuidadora (p=0,036). Os resultados mostram ainda que o cuidado informal aumenta o consumo de cuidados de saúde em situações de urgência por parte dos cuidadores informais (p <0,001).

Sobrecarga do cuidador informal de idosos dependentes no concelho de Angra do Heroísmo

Dissertação de Mestrado em Gerontologia Social

Educational in a global environment: non-formal examples of learning practices at the international office

23rd SPACE AGM and Conference from 9 to 12 May 2012 Conference theme: The Role of Professional Higher Education: Responsibility and Reflection Venue: Mikkeli University of Applied Sciences, Mikkeli, Finland

Extração de informação de texto formal para a modelação expedita de edifícios monumentais

A extração de informação a partir de descrições textuais para a modelação procedimental de ambientes urbanos é apresentada com solução para os edifícios antigos. No entanto, este tipo de edifício carece de maior cuidado com os detalhes de alto nível. Este artigo descreve uma plataforma para a geração expedita de modelos 3D de edifícios monumentais, cuja arquitetura é modular. O primeiro módulo permite a extração de informação a partir de textos formais, pela integração do NooJ num Web Service. No segundo módulo, toda a informação extraída é mapeada para uma ontologia que define os objetos a contemplar na modelação procedimental, processo esse realizado pelo módulo final que gera os modelos 3D em CityGML, também como um Web Service. A partir desta plataforma, desenvolveu-se um protótipo Web para o caso de estudo da modelação das igrejas da cidade do Porto. Os resultados obtidos deram indicações positivas sobre o modelo de dados definidos e a flexibilidade de representação de estruturas diversificadas, como portas, janelas e outras características de igrejas.

Dinâmicas das relações da rede formal de saúde da criança maltratada na cidade do Barreiro

Mestrado em Intervenção Sócio-Organizacional na Saúde - Ramo de especialização: Qualidade e Tecnologias da Saúde

A retórica do “não-formal” e a expansão da “forma escolar” na política de escola a tempo inteiro

Na presente comunicação problematiza-se o “modelo” de operacionalização da política de escola a tempo inteiro (ETI), em particular, a tendência para uma perspetiva “escolocêntrica” que visa a monopolização, pela escola pública, da prestação de serviços educativos de caráter extracurricular e “não-formal”. Reflete-se sobre aquele “modelo” que, paradoxalmente, na sua “dimensão educativa”, se configura como preconizador de uma retórica de defesa de implementação do “não-formal” no contexto escolar, ao mesmo tempo que neutraliza essa intensão promovendo a expansão da “forma escolar” e a intensificação do “ofício de aluno”. A partir do estudo da ação do Governo na formulação e execução da política de “Escola a Tempo Inteiro”, evidencia-se que este fenómeno de “formalização” daquilo que é apresentado retoricamente como “não-formal”, emerge da tentativa de conciliação de referenciais aos quais aquela política se reporta: por um lado, o referencial de igualdade de oportunidades educativas que o Estado deve garantir através da escola pública; por outro lado, o referencial de eficácia do sistema público de educação refletido nos resultados escolares.

Orientação não formal: estudo de caso sobre uma modalidade de orientação para jovens em risco de exclusão social

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

Ser educador na comunidade: reflexão sobre as competências de um tipo de profissional de educação não- formal

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

Sucesso profissional, formação formal e experiencial: estudo de factores-chave no itinerário de um agricultor

Dissertação de mestrado em Ciências da Educação, na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa e do Diplôme d' Université François Rabelais de Tours

Professions and inter-disciplinary teamwork in socially embedded bureaucracies: Synthesis and hypotheses on the impact of informal and formal organization

In order to maximize their productivity, inter-disciplinary multi-occupation teams of professionals need to maximize inter-occupational cooperation in team decision making. Cooperation, however, is challenged by status anxiety over organizational careers and identity politics among team members who differ by ethnicity-race, gender, religion, nativity, citizenship status, etc. The purpose of this paper is to develop hypotheses about how informal and formal features of bureaucracy influence the level of inter-occupation cooperation achieved by socially diverse, multi-occupation work teams of professionals in bureaucratic work organizations. The 18 hypotheses, which are developed with the heuristic empirical case of National Science Foundation-sponsored university school partnerships in math and science curriculum innovation in the United States, culminate in the argument that cooperation can be realized as a synthesis of tensions between informal and formal features of bureaucracy in the form of participatory, high performance work systems.

Formal caregivers of older adults: reflection about their practice

OBJECTIVE To understand the job function of caregivers of older adults and contribute to the debate on the consolidation of this professional practice. METHODOLOGICAL PROCEDURES This is a descriptive, qualitative, and exploratory study. Four focal group sessions were performed in 2011 with 11 elderly companions, formal caregivers of older adults in the Programa Acompanhante de Idosos (Program for Caregivers of Older Adults), Sao Paulo, SP, Southeastern Brazil. These sessions, guided by a semi-structured script, were audio-recorded and fully transcribed. Data were analyzed using the Content Analysis technique, Thematic Modality. RESULTS In view of considering the caregivers of older adults as a new category of workers, it was difficult to define their duties. The elderly companions themselves as well as the care receivers, their families, and the professionals that comprised the team were unclear about their duties. The professional practice of these formal caregivers has been built on the basis of constant discussions and negotiations among them and other team members in Programa Acompanhante de Idosos during daily work. This was achieved via a recognition process of their job functions and by setting apart other workers’ exclusive responsibilities. CONCLUSIONS The delimitation of specific job functions for elderly companions is currently one of the greatest challenges faced by these workers to develop and consolidate their professional role as well as improve Programa Acompanhante de Idosos.