Linguagem de especificação leve Hoare-separação para java

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

Novos modelos e instrumentos de gestão da informação arquivística na administração pública : a macroestrutura funcional (MEF)

Comunicação apresentada no 8º Congresso Nacional de Administração Pública – Desafios e Soluções, em Carcavelos de 21 a 22 de Novembro de 2011.

Metropolização e reestruturação urbana: o território do grande Maputo

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Gestão do Território, especialização em Planeamento e Ordenamento do Território

Projecto e realização de sensores de temperatura analógicos e digitais

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Electrotécnica e Computadores

Automatização de testes à framework myMIS

Atualmente, verifica-se um aumento na necessidade de software feito à medida do cliente, que se consiga adaptar de forma rápida as constantes mudanças da sua área de negócio. Cada cliente tem os seus problemas concretos que precisa de resolver, não lhe sendo muitas vezes possível dispensar uma elevada quantidade de recursos para atingir os fins pretendidos. De forma a dar resposta a estes problemas surgiram várias arquiteturas e metodologias de desenvolvimento de software, que permitem o desenvolvimento ágil de aplicações altamente configuráveis, que podem ser personalizadas por qualquer utilizador das mesmas. Este dinamismo, trazido para as aplicações sobre a forma de modelos que são personalizados pelos utilizadores e interpretados por uma plataforma genérica, cria maiores desafios no momento de realizar testes, visto existir um número de variáveis consideravelmente maior que numa aplicação com uma arquitetura tradicional. É necessário, em todos os momentos, garantir a integridade de todos os modelos, bem como da plataforma responsável pela sua interpretação, sem ser necessário o desenvolvimento constante de aplicações para suportar os testes sobre os diferentes modelos. Esta tese debruça-se sobre uma aplicação, a plataforma myMIS, que permite a interpretação de modelos orientados à gestão, escritos numa linguagem específica de domínio, sendo realizada a avaliação do estado atual e definida uma proposta de práticas de testes a aplicar no desenvolvimento da mesma. A proposta resultante desta tese permitiu verificar que, apesar das dificuldades inerentes à arquitetura da aplicação, o desenvolvimento de testes de uma forma genérica é possível, podendo as mesmas lógicas ser utilizadas para o teste de diversos modelos distintos.

População e Enriquecimento de Ontologias através de Web Scraping

O surgir da World Wide Web providenciou aos utilizadores uma série de oportunidades no que diz respeito ao acesso a dados e informação. Este acesso tornou-se um ato banal para qualquer utilizador da Web, tanto pelo utilizador comum como por outros mais experientes, tanto para obter informações básicas, como outras informações mais complexas. Todo este avanço tecnológico permitiu que os utilizadores tivessem acesso a uma vasta quantidade de informação, dispersa pelo globo, não tendo, na maior parte das vezes, a informação qualquer tipo de ligação entre si. A necessidade de se obter informação de interesse relativamente a determinado tema, mas tendo que recorrer a diversas fontes para obter toda a informação que pretende obter e comparar, torna-se um processo moroso para o utilizador. Pretende-se que este processo de recolha de informação de páginas web seja o mais automatizado possível, dando ao utilizador a possibilidade de utilizar algoritmos e ferramentas de análise e processamento automáticas, reduzindo desta forma o tempo e esforço de realização de tarefas sobre páginas web. Este processo é denominado Web Scraping. Neste trabalho é descrita uma arquitetura de sistema de web scraping automático e configurável baseado em tecnologias existentes, nomeadamente no contexto da web semântica. Para tal o trabalho desenvolvido analisa os efeitos da aplicação do Web Scraping percorrendo os seguintes pontos: • Identificação e análise de diversas ferramentas de web scraping; • Identificação do processo desenvolvido pelo ser humano complementar às atuais ferramentas de web scraping; • Design duma arquitetura complementar às ferramentas de web scraping que dê apoio ao processo de web scraping do utilizador; • Desenvolvimento dum protótipo baseado em ferramentas e tecnologias existentes; • Realização de experiências no domínio de aplicação de páginas de super-mercados portugueses; • Analisar resultados obtidos a partir destas.

Desemprego e trajectos de exclusão social : um estágio interventivo nos bairros da vertente sul

Relatório de Estágio no âmbito do Mestrado em Sociologia, na área específica de Politicas Públicas e Desigualdades Sociais.

Engineering Temporal and Spatial Aspects in OWL using Patterns

WWW is a huge, open, heterogeneous system, however its contents data is mainly human oriented. The Semantic Web needs to assure that data is readable and “understandable” to intelligent software agents, though the use of explicit and formal semantics. Ontologies constitute a privileged artifact for capturing the semantic of the WWW data. Temporal and spatial dimensions are transversal to the generality of knowledge domains and therefore are fundamental for the reasoning process of software agents. Representing temporal/spatial evolution of concepts and their relations in OWL (W3C standard for ontologies) it is not straightforward. Although proposed several strategies to tackle this problem but there is still no formal and standard approach. This work main goal consists of development of methods/tools to support the engineering of temporal and spatial aspects in intelligent systems through the use of OWL ontologies. An existing method for ontology engineering, Fonte was used as framework for the development of this work. As main contributions of this work Fonte was re-engineered in order to: i) support the spatial dimension; ii) work with OWL Ontologies; iii) and support the application of Ontology Design Patterns. Finally, the capabilities of the proposed approach were demonstrated by engineering time and space in a demo ontology about football.

Tradução e análise do humor em “Jeeves Takes Charge” de P.G. Wodehouse

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Tradução

Luiz Pacheco : maldição e consagração no meio literário português

Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Sociologia e Economia Histórica

Espaços seguros de tuplos partilhados para redes de sensores sem fios

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

A educação social em Portugal: novos desafios para a identidade profissional

A Educação Social surge, em Portugal, devido sobretudo à exigência dos sistemas de proteção social. Enquanto profissão, a Educação Social realiza-se no âmbito das ciências da educação, enquadrada pela Pedagogia Social. A Educação Social desenvolve-se pela diversidade de categorias profissionais e de perfis de competências e áreas disciplinares. O reconhecimento da identidade profissional dos educadores sociais portugueses depende, ainda, da polivalência dos contextos de trabalho e populações com os quais interage. A sua identidade profissional deve evidenciar o compromisso educativo do seu trabalho social, que supera lógicas de ação assistencialistas e se centra em lógicas de desenvolvimento e capacitação dos sujeitos. Neste artigo, é dado destaque à Pedagogia Social, enquanto saber matricial de referência dos educadores sociais. A Pedagogia Social constitui-se como a ciência da Educação Social, conferindo-lhe a própria especificidade da profissão. Por outro lado, o exercício profissional da Educação Social requer dos seus profissionais uma formação rigorosa, inicial e contínua, de forma a incorporar novos saberes e posturas para se adaptar a novos desafios e realidades. A educação social deve ser capaz de acompanhar as políticas sociais, participando permanentemente na negociação do contrato social. Partindo destes pressupostos, é dado a conhecer alguns desafios que se colocam à Educação Social em Portugal.

Caracterização espacial utilizando indução orientada aos atributos no SOLAP+

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

Implementation of the RIF-PRD

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

Incremental Recomputation of Pig Latin’s Nest and Unnest Operators

This master’s thesis addresses the maintenance of pre-computed structures, which store a frequent or expensive query, for the nested bag data type in the high level work-flow language Pig Latin. This thesis defines a model suitable to accommodate incremental expressions over nested bags on Pig Latin. Afterwards, the partitioned normal form for sets is extended with further restrictions, in order to accommodate the nested bag model, allow the Pig Latin nest and unnest operators revert each other, and create a suitable environment to the incremental computations. Subsequently, the extended operators – extended union and extended difference – are defined for the nested bag data model with the partitioned normal form for bags (PNF Bag) restriction, and semantics for the extended operators are given. Finally, incremental data propagation expressions are proposed for the nest and unnest operators on the data model proposed with the PNF Bag restriction, and the proof of correctness is given.