1000 resultados para Linguagem de especificação SDL
Resumo:
Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
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.
Resumo:
Recensão de: José Gil, Arte como Linguagem – A “última lição”
Resumo:
Relatório de estágio de mestrado em Ensino de Informática
Resumo:
Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação
Resumo:
Tese de Doutoramento em Ciências da Comunicação (área de especialização em Sociologia da Comunicação e da Informação).
Resumo:
Número temático: A semântica cognitiva em foco
Resumo:
Dissertação de mestrado em Ciências da Comunicação (área de especialização em Informação e Jornalismo)
Resumo:
A publicidade sabe que tem de procurar as estratégias mais diretas e mais eficientes na construção das suas mensagens. A ser assim, pode parecer que o imediatismo das imagens ligado às facilidades tecnológicas tenderá a secundarizar o poder da componente verbal na elaboração dos anúncios. O presente texto procura mostrar como a componente verbal é uma dimensão imprescindível da linguagem publicitária, utilizando estratégias diversificadas que podem ir da ausência (quase) absoluta de palavras até a usos em que é a própria mensagem verbal o principal elemento estruturador do anúncio.
Resumo:
Dissertação de mestrado em Estudos da Criança (área de especialização em Intervenção Psicossocial com Crianças, Jovens e Famílias)
Resumo:
Dissertação de mestrado em Teoria da Literatura e Literaturas Lusófonas