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

Analysable software language translations

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

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.

Software languages engineering: experimental evaluation

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

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

Estudo de caso de adultos ucranianos em contexto de ensino formal: uma abordagem lexical

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ensino do Português, Língua Segunda e Língua Estrangeira

Parallel run-time for CO-OPN

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Empirical analysis of the lending decisions of Chinese formal financial institutions in rural areas

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Finance from the NOVA – School of Business and Economics

O Papel da Idade na Aprendizagem de uma Língua Estrangeira em Contexto Formal

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ensino do Português como Língua Segunda e Estrangeira

Quality of process modeling using BPMN: a model-driven approach

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

Contributos para a educação ambiental no Pré- Escolar: promoção de parcerias comunitárias no planeamento de um projecto de educação não-formal a implementar no Parque das Conchas e dos Lilases - Lumiar

Na década que foi proclamada como a “Década da Educação para o Desenvolvimento Sustentável” (DEDS), a sensibilização para a problemática ambiental deverá assumir crescente importância e ser desenvolvida o mais precocemente possível, no sentido de se contribuir para melhorar a “literacia ambiental”. Pretende-se que esta possa concorrer para uma elevada competência de acção e participação, atendendo à mudança de atitudes e aquisição de valores pró-ambientais. No presente trabalho de investigação pretendemos planificar um Projecto a que chamamos “EcoConchas”- Centro de Recursos de Educação Ambiental, a desenvolver no Parque da Quinta das Conchas e dos Lilases, Freguesia do Lumiar, Lisboa, com o intuito de promover a consciência para a Educação Ambiental (EA) em crianças do Ensino Pré-escolar. Queremos ainda averiguar se um Projecto de Educação Ambiental, de carácter não-formal, poderá ser facilitador da criação de sinergias entre um espaço verde, famílias, escolas, agentes de Administração Local e Regional (Junta de Freguesia, CML) e Organismos Públicos (como a Agência Portuguesa do Ambiente). Partimos de um breve historial relativo à EA, delimitando o tema atendendo à sua abordagem na Infância, considerando as Orientações e Metas para a Educação Pré-Escolar em Portugal (1997, 2010). Após essa breve introdução ao tema da EA, perspectivámos abordagens relativas à dimensão não-formal e à importância do estabelecimento de parcerias, para o desenvolvimento de Projectos e maximização da oferta de serviços de sensibilização ambiental junto da população. Debruçámo-nos sobre os processos de apreensão do conhecimento pela criança (Teoria do Desenvolvimento Social ou Sócio-Constructivista de Vygotsky, 1988), as características da criança em idade pré-escolar, bem como os conteúdos de sensibilização ambiental, transmitidos neste nível de ensino. Pretendeu-se compatibilizar constructos e processos teóricos, enquadrando-os no Modelo da Ecologia do Desenvolvimento Humano de Bronfenbrenner (1979/2000), que considera a acção das crianças como catalisadoras de mudança ambiental, na família, na escola (“microssistemas”) e na sociedade/comunidade. Foram realizadas 23 entrevistas a Crianças, Pais, Educadores, Presidente da Junta de Freguesia do Lumiar, Assistente Técnico de Projectos Ambientais da D.S.E.S.A- Câmara Municipal de Lisboa e à equipa Responsável pelo Departamento de Comunicação e Cidadania Ambiental da Agência Portuguesa do Ambiente para saber da sua opinião sobre o projecto. A análise de conteúdo dessas entrevistas permitiu perceber o interesse dos possíveis implicados na implementação deste Projecto, no Parque das Conchas e dos Lilases, que apresenta inúmeras potencialidades para o desenvolvimento de actividades de EA, com os mais novos. Também foi considerada de elevada importância o estabelecimento de parcerias entre todos os actores sociais que de alguma forma podem vir a contribuir e beneficiar da sua implementação, sendo que o trabalho desenvolvido em conjunto pode ter resultados mais eficazes. Este estudo permitiu reflectir sobre a pertinência do desenvolvimento da temática ambiental junto das crianças pré-escolares, concluindo que sendo iniciada nesta faixa etária, trará no presente e futuro, inúmeros benefícios não só para as próprias crianças, mas também para os pais, a comunidade em geral e todo o Planeta.