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.

Design and implementation of a behaviorally typed programming system for web services

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática.

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.

A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

A system verification strategy based on the BST infrastructure

A good verification strategy should bring near the simulation and real functioning environments. In this paper we describe a system-level co-verification strategy that uses a common flow for functional simulation, timing simulation and functional debug. This last step requires using a BST infrastructure, now widely available on commercial devices, specially on FPGAs with medium/large pin-counts.

Petri net model decomposition - a model based approach supporting distributed execution

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica, Especialidade de Sistemas Digitais, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

A calculus for modeling and analyzing conversations in service-oriented computing

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Infracções ambientais: a eficácia das entidades de controlo formal

Dissertação apresentada com vista à obtenção do grau de Mestre em Direito e Segurança

Logic-based schedulability analysis for compositional hard real-time embedded systems

Over the past decades several approaches for schedulability analysis have been proposed for both uni-processor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for mis-interpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by-construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uni-processor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal.

Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems

Presented at SEMINAR "ACTION TEMPS RÉEL:INFRASTRUCTURES ET SERVICES SYSTÉMES". 10, Apr, 2015. Brussels, Belgium.