Optimizações numa linguagem para desenvolvimento de aplicações web

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 filosofia no ensino secundário: um ponto de vista

Relatório de Estágio apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ensino de Filosofia no Ensino Secundário

Mimesis e Alteridade na obra de Jean Painlevé

Dissertação de mestrado para obtenção do grau de mestre em Ciências da Comunicação, Arte e Comunicação.

O silêncio em Paula Rego

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Filosofia, especialidade de - Estética

Relação entre Filosofia e Arte no processo ensino - aprendizagem

Relatório de Estágio apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ensino de Filosofia no Ensino Secundário

Ensinar filosofia realizando a avaliação formativa e o ensino diferenciado: uma construção de sentido

Relatório de Prática de Ensino Supervisionada apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ensino da Filosofia no Ensino Secundário

A Recuperação da Filosofia Política Clássica no Pensamentode Leo Strauss

Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Filosofia, especialidade em Filosofia Moral e Política

Filosofia e Teoria da Imagem em Gilles Deleuze

O objectivo deste estudo é elucidar o estatuto da noção de imagem na filosofia de Gilles Deleuze. Para o atingir, começaremos por situar o nosso inquérito no problema que determina a sua primeira aparição no sistema – a «imagem do pensamento» –, seguindo de perto a sua acidentada trajectória em Nietzsche e a Filosofia, Proust e os Signos e Diferença e Repetição. Depois de clarificado o equívoco sentido do apelo de Deleuze, no magnum opus Diferença e Repetição, a um «pensamento sem Imagem» – que interpretamos, à luz das suas publicações ulteriores, menos como um rejeição do mundo das imagens do que como uma crítica da representação –, analisaremos a teoria da imagem-simulacro que, na mesma obra, se constitui como uma das principais formas de executar o programa do empirismo transcendental e de realizar aquela que é maior ambição da sua filosofia: instaurar um plano de univocidade e imanência desprovido de instâncias transcendentes. Na segunda metade deste estudo, que incide sobre os livros que Deleuze consagrou ao cinema – A Imagem-Movimento e a A Imagem-Tempo - examinaremos a singular aliança estabelecida pelo filósofo francês entre a teoria das imagens de Matéria e Memória de Bergson e a natureza do médium cinematográfico. Numa tentativa de pôr em evidência o aspecto sistemático do pensamento de Deleuze, a nossa análise desta nova filosofia da imagem – que não visa apenas as imagens cinematográficas mas pretende designar igualmente a própria textura do universo – deixar-se-á guiar pelo horizonte teórico e pelos principais problemas recortados no comentário a Diferença e Repetição que a precede: uma doutrina das faculdades renovada; uma filosofia do tempo distribuída em três sínteses passivas; a função da arte no empirismo transcendental e, acima de tudo, o papel atribuído à noção de imagem na instauração de um plano de imanência.

Linguagem e crueldade : Artaud e Wittgenstein

Com esta dissertação parte-­‐se de uma evolução cronológica do pensamento de Artaud salientando a inequívoca relação entre o autor e a sua obra como uma e a mesma coisa. Artaud procurou sempre uma nova linguagem para o seu teatro, uma linguagem que não tivesse aparência de ficção, que fosse viva. Neste sentido, Wittgenstein emerge nesta relação através das suas considerações acerca da linguagem, espraiando-­‐se num sentido mais amplo, a própria vida. Partimos da análise do próprio pensar para a origem e finalidade da criação artística. Na apologia da apresentação em detrimento da representação as palavras parecem ser insuficientes e parte-­‐se na busca de uma linguagem sólida, física, que culmina no corpo-­‐sem-­‐órgãos, conceito desenvolvido por Deleuze. Do corpo liberto, em acção, surge-­‐nos agora a palavra-­‐sem-­‐órgãos, pautada por uma revolução da sintaxe e da gramática; é a linguagem mutável e viva que renasce. Através de Wittgenstein procura-­‐se o sentido desta linguagem e a sua receptividade. É nesta íntima relação entre a ética e a estética, na lucidez, na determinação e no rigor com que ambos os autores abordam a linguagem enquanto vida, que vemos espelhada a crueldade, essa força inelutável de viver sempre mais.

Simulador de linguagem em texto estruturado para autómato TSX3721

Os controladores lógicos programáveis (PLC) são muito ,e cada vez mais, utilizados na indústria. Este tipo de equipamento, além de ser inerentemente caro, pode causar situações perigosas e perda de produtividade caso sejam incorretamente programados. Existem programas de alguns fabricantes que permitem a simulação de linguagens utilizadas na programação de autómatos (segundo a norma internacional IEC 61131-3), mas uma simulação da linguagem em Texto Estruturado (ST) em particular, é complicada e de difícil acesso. O principal objetivo deste projeto é a realização de um simulador em tempo real, capaz de realizar testes e simulações prévias de código de Texto Estruturado, a testar posteriormente no autómato TSX Micro 3721 da Schneider. É necessário a construção de um compilador e interpretador de linguagens de programação, para realização do simulador e interface gráfica. Os dois sistemas utilizados para gerar as regras formais gramaticais e de produção em linguagens de programação são o Lex e o Yacc. O Lex gera um analisador léxico dividindo o ficheiro de linguagem em texto estruturado em tokens (símbolos significativos). O Yacc, através desses símbolos recebidos, forma as regras de produção e a respetiva estrutura hierárquica do programa. A partir da interpretação desta estrutura gerada é possível traduzir ou compilar qualquer linguagem de programação, neste caso o texto estruturado, e criar um simulador correspondente numa outra linguagem. O simulador recebe o código ST e através de funções definidas pelo sistema de compilação, interpretação e tradução, reconhece as instruções em linguagem de texto estruturado correspondente e realiza o conjunto de ações propostas. Analisando os testes no autómato e os resultados apresentados pela interface, podemos concluir que é possível realizar compiladores e respetivos simuladores, utilizando análises gramaticais das linguagens de programação, em particular, podemos concluir que o simulador para linguagem em Texto Estruturado foi realizado com sucesso.

Definição e execução de computações dinâmicas numa linguagem de programação orientada-a-serviços

Os serviços inicialmente idealizados para o mundo dos negócios, têm actualmente um espectro de utilização muito mais lato, facilitando assim a incorporação de software do exterior, sob a representação de serviço, por parte das aplicações. Os principais contribuidores para a emergente utilização de serviços são a proliferação dos dispositivos móveis, a crescente popularidade da computação da nuvem e a ubiquidade da Internet. Apesar deste estado da arte, a abstracção dos serviços continua, maioritariamente, a ser relegada para a camada do middleware. Consequentemente, este confinamento obstem o programador de ter privilégios para interagir com os serviços ao nível da linguagem. A inexistência deste nível de abstracção dificulta o deployment de aplicações dinâmicas. Como medida para tal, o objectivo do nosso trabalho é garantir suporte ao dinamismo e deployment de arquitecturas orientadas a serviços. Com esse propósito, vamos endereçar os problemas de incorporação dos serviços acessíveis pela Web e permitir operações de reconfiguração dos mesmos, nomeadamente, a ligação dinâmica, substituição do fornecedor de serviços e a gestão dinâmica de conjuntos de fornecedores de serviços.

A filosofia do ensino secundário como promotora da autonomia do discente

O objectivo principal deste relatório consiste em averiguar se a Filosofia no Ensino Secundário promove a autonomia do discente. A indagação apoia-se em dois pressupostos. Primeiro, na nossa actividade lectiva desenvolvida no ano lectivo de 2013/2014 na Escola Secundária de Miraflores. E, segundo, numa reflexão apoiada, sobretudo, na pedagogia vitalista de Ortega y Gasset e na introdução da aprendizagem não-formal como modo primordial para promover a autonomia do discente.

Ensinar filosofia: O quê? Como? Para quê

Este relatório começa por se debruçar, numa primeira parte, sobre aquilo que foi a prática de ensino supervisionada desenvolvida durante o ano letivo 2013/2014 na Escola Secundária de Miraflores no âmbito do Mestrado em Ensino da Filosofia no Ensino Secundário. Na segunda parte pretendemos justificar a pertinência da Filosofia no Ensino secundário pelo que, iremos analisar aquilo que são os objetivos para este nível de ensino, contemplados na Lei de Bases do Sistema Educativo e relacioná-los com as finalidades do programa de Filosofia, na tentativa de mostrar que o ensino da Filosofia contribui para alcançar os objetivos em causa. Se o elo aglutinador dos vários objetivos referidos na Lei de Bases do Sistema Educativo é uma abertura à compreensão de si mesmo, do outro e do mundo que permita permanentemente procurar e desenvolver um espirito de reflexão crítica indispensável à continuação dos estudos e/ou à inserção na vida ativa, facilmente se reconhece que a disciplina de Filosofia tem aqui um papel fundamental de plasticidade que facilita, eleva e dá sentido às diferentes competências adquiridas através do estudo das várias disciplinas do currículo do Ensino Secundário. Refletiremos sobre a forma como o ensino da Filosofia, do modo que hoje o conhecemos, cumpre de facto o seu papel neste nível de ensino.

Exploração da linguagem Scala para suporte a aplicações paralelas

Nos anos mais recentes tem sido feita investigação no uso da Programação Orientada a Aspectos no suporte a computação paralela, nomeadamente para conseguir guardar as funcionalidades da mesma em módulos, algo que não é possível quando se utiliza Programação Orientada a Objectos. Um resultado desta investigação foi o desenvolvimento de uma aplicação, o ParJECoLi, desenvolvida usando a linguagem Java e recorrendo ao AspectJ para paralelizar a mesma. No entanto, durante essa mesma investigação, chegou-se à conclusão que o AspectJ apresenta algumas limitações na reutilização de módulos. Tendo em conta isso, surgiu a ideia de estudar uma outra linguagem de programação, conceptualmente diferente da usada na investigação. A linguagem Scala é conhecida por ter uma capacidade de composição modular flexível. Como tal parece interessante entender até que ponto é capaz de substituir AspectJ no suporte modular à computação paralela. Este projecto pretende aferir essa capacidade. Neste contexto, pretende-se usar o ParJECoLi como caso de estudo para dirigir comparações entre Scala e AspectJ.