CrowdProcess: design numa startup de computação distribuída

Este estágio, realizado na CrowdProcess, consistiu em integrar a equipa da empresa, trabalhando na área do Design de Comunicação, Web e Gráfico, integrado no Departamento de Comunicação da empresa. A CrowdProcess é uma plataforma de computação distribuída que utiliza o poder de processamento dos browsers ligados para correr tarefas de computação distribuída. Uma vez que se trata de um produto online, a maioria do trabalho desenvolvido diz respeito a design e desenvolvimento web e apenas uma pequena parte dedicada a design gráfico. O trabalho foi desenvolvido com as linguagens HTML, CSS e JavaScript. Foram tidos em consideração os princípios de Design, Usabilidade e Arquitectura de Informação, com principal foco na prototipagem dos vários objectos desenvolvidos.

Take Care4All: Gestor Pessoal para o Bem-Estar na Saúde, Exercício Físico e Alimentação

Este trabalho de Projecto consiste numa plataforma online que possibilita ao seu utilizador gerir simultaneamente a saúde, o exercício físico e o regime alimentar. A plataforma é uma ferramenta que ajuda a promover o bem-estar do indivíduo, porque auxilia a monitorizar a toma de medicação e a agendar consultas e/ou exames. Permite ainda identificar o exercício físico e a dieta adequada para o estado de saúde do utilizador, através do teste de aptidão física e das calculadoras de IMC, TMB e NCD. Para o desenvolvimento da plataforma foram considerados os princípios da usabilidade e acessibilidade heurística de Jacob Nielsen. O desenvolvimento do projecto assenta nas linguagens de Programação de HTML5, CSS3, PHP, MySQL, Javascript (JQuery) e na plataforma de RWD do Twitter-Bootstrap.

Avaliação da qualidade em modelos de requisitos i*

As abordagens de engenharia de requisitos orientada a objetivos oferecem mecanismos que ajudam na elicitação e modelação de requisitos. A presente dissertação centra-se no framework i*, uma das mais importantes linguagens de especificação de modelos de requisitos orientados a objetivos, que conta com grupos de trabalho em mais de vinte países e com sete edições de workshops internacionais. Existem alguns problemas que podem afetar a qualidade de modelos i*. A sua criação pode resultar em modelos complexos e/ou incompletos, assim como incorretos devido ao mau uso da notação do i*. Estes problemas contribuem para a existência de dificuldades na gestão e compreensão dos sistemas de software o que, por sua vez, leva a um aumento dos custos de desenvolvimento. A qualidade dos modelos deve, então, ser uma preocupação constante, por forma a que sejam construídos modelos corretos, completos e cuja complexidade acidental seja minimizada. Não obstante a sua importância, a gestão eficaz destes três aspetos é, ainda, um problema em aberto. Nesta dissertação é proposto um conjunto de métricas para dar suporte à avaliação quantitativa dos atributos de qualidade complexidade, completude e correção nos modelos de requisitos i*. As métricas são definidas seguindo a abordagem Goal-Question- Metric, sendo definidas tanto de modo informal, em língua natural, como formalmente, em OCL (Object Contraint Language), e incorporadas numa ferramenta de modelação i* para que possam ser recolhidas de modo automático. As métricas são avaliadas experimentalmente, através de um conjunto de casos de estudo reais e académicos, e teoricamente, através de propriedades deWeyuker.

Família de DSLs para integrated modular avionics

Na atualidade existe a necessidade de produzir novos aviões de forma rápida, eficiente e económica com o objetivo de abrir novas rotas de voo, expansão das já existentes e substituição de aviões em fim de vida útil. Neste contexto, e sem nunca deixar de cumprir os apertados requisitos do domínio que incluem a exigência de elevada qualidade, a indústria adotou a arquitetura IMA que permite executar várias aplicações aviónicas num único sistema de computação partilhado. Com esta arquitetura, o desenvolvimento do software para as aeronaves ganhou uma elevada relevância, sendo necessário gerar código automaticamente, reutilizar código já testado proveniente de outras aplicações anteriormente desenvolvidas e garantir o mais cedo possível que o software desenvolvido se encontra de acordo com os standards. Apesar da complexidade do domínio, desenvolveu-se uma ferramenta que permite produzir a estrutura do código de novas aplicações para a aviónica. Aferramenta lida com a variabilidade das diversas linhas de produto e reduz o tempo de desenvolvimento. Uma DSL poderia ser uma solução apropriada, pois permite cobrir diversos requisitos exigidos, no entanto, esta solução não é exequível porque seria necessário produzir uma linguagem para cada configuração de software aviónico diferente se pretendêssemos tirar partido da especificidade. Com esta dissertação, solucionou-se esta dificuldade com recurso à noção de família de DSLs. Trata-se de um conjunto de linguagens para um domínio específico, que apresentam um conjunto comum de conceitos chave, mas que adaptam alguns desses conceitos para cumprir a variabilidade dos requisitos. Utilizou-se a abordagem MDD para desenvolver um gerador automático de DSLs que é capaz de produzir a linguagem desejada de acordo com a configuração de software pretendida para a partição pertencente a um módulo aviónico. As linguagens geradas apresentam um nível de usabilidade adequada para o domínio, bem como têm a capacidade de validar as construções efetuadas usando a DSL e produzir os artefactos pretendidos.

Uma abordagem ágil para transformar modelos cognitivos em modelos comportamentais e de domínio

No processo de desenvolvimento de software, um dos problemas recorrentes é garantir que as expectativas das partes interessadas (stakeholders) estão a ser satisfeitas. Expectativas essas que correspondem ao comportamento do sistema. A disciplina de Engenharia de Requisitos estuda a melhor forma de capturar, especificar, validar e gerir requisitos. No entanto, os modelos utilizados que expressam os comportamentos, muitas das vezes, não são entendidos por parte dos stakeholders. Com a introdução das metodologias ágeis, que se baseiam no princípio de uma colaboração ativa e contínua dos stakeholders durante o desenvolvimento de software, os pressupostos da disciplina de Engenharia de Requisitos foram questionados e fizeram nascer novas práticas. Uma prática que emergiu foi o Desenvolvimento Orientado ao Comportamento (BDD). Surgiu com a finalidade de dar a capacidade aos stakeholders de expressarem, sob a forma textual, o comportamento que desejam para o seu software, de forma simples e sucinta. No entanto, não existindo restrições nem validações automáticas na escrita dos stakeholders, é criada a possibilidade de introdução de ambiguidade e perda de informação quando a equipa de desenvolvimento utiliza os cenários descritos. Dado este problema, propomos uma abordagem em que os stakeholders consigam especificar cenários comportamentais, de forma cognitiva, com uma representação simples, clara e mais precisa. Criamos duas linguagens, o DomainMap e o BehaviorMap, que estão relacionadas entre si: uma para representar modelos de domínio e outra para representar cenários BDD, respetivamente. Foi executada uma experiência com 15 indivíduos para comparar o esforço cognitivo na compreensão entre cenários BehaviorMap e cenários textuais e os resultados mostraram que o BehaviorMap teve melhor desempenho.

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.

Especificidades da tradução para palco: o caso do espectáculo Dr. Jekyll & Mr. Hyde da Companhia do Chapitô

A tradução para palco é uma tarefa particularmente complexa, dados os problemas que coloca ao tradutor não só a nível linguístico e cultural, mas também porque envolve linguagens não-verbais e ainda a noção de performability do texto a ser levado ao palco, o que implica um conhecimento profundo dos códigos teatrais implícitos no texto e na sua performance. O presente trabalho de projecto tem por objectivo uma análise do processo de criação e tradução do guião do espectáculo Dr. Jekyll & Mr. Hyde, realizado pela Companhia do Chapitô (Lisboa) entre 2013 e 2014. Através de um processo de adaptação peculiar, inspirado na commedia dell’arte, a Companhia do Chapitô criou a peça através de uma improvisação sobre o texto original em língua inglesa, o que conduziu à criação de um guião-base em inglês que foi posteriormente traduzido para a língua portuguesa pela mestranda. O trabalho que aqui se apresenta descreve tal processo, que se reveste de características especiais devido ao método de trabalho colaborativo seguido pela referida companhia de teatro que acolheu este projecto

A Definição em Terminologia: Perspetivas Teóricas e Metodológicas

Este estudo tem como objetivo a delineação dos pressupostos epistemológicos subjacentes ao tratamento da definição em terminologia, enquanto atividade e produto, considerando os seguintes aspetos: a entidade a definir, a definição de definição e suas tipologias, métodos e regras de formulação de boas definições, refletindo sobre os seus limites. Começando por nos situar no período clássico, em que surgiram os primeiros questionamentos sobre a definição, avança-se para a análise das teorias terministas integradas no contexto da linguagem da mente. Percorremos, em seguida, uma época em que se deu especial atenção às questões conceptuais e na qual surgiram propostas de linguagens formais que ambicionavam ultrapassar os constrangimentos da língua natural. Não poderíamos seguir este trajeto sem nos fixarmos sobre as teorias referenciais da filosofia e da linguagem, num momento em que as ciências afirmavam o seu estatuto e metodologias. Na contemporaneidade, é estabelecida uma ponte entre os estudos epistemológicos e a terminologia, detendo-nos sobre as problemáticas teóricas e metodológicas subjacentes à formulação de definições.

Arte & Melancolia

Disponível para consulta: índice e apresentação.

Criminosos popularizados na narrativa de divulgação (De 1838 aos Alvores da República)

O presente estudo incide sobre obras impressas que tomaram como motivo central as «façanhas» de criminosos com referência histórica celebrizados em Portugal na segunda metade do século XIX e inícios de XX e mostra que, enquanto narrativas elaboradas para o grande público, os textos foram não só um reflexo da popularidade prévia dos famigerados transgressores, como também um fator incontornável da sua «lendarização» ao longo de décadas. São as seguintes as figuras dos infratores que protagonizaram as ficções em apreço: José Joaquim de Sousa Reis, ou «o Remexido» (1797-1838), Diogo Alves, ou «o Pancada» (1810-1841), Francisco de Matos Lobo (1814-1842), José Teixeira da Silva, ou «o José do Telhado» (1816-1875), João Victor da Silva Brandão, ou «o João Brandão de Midões» (1825-1880), e Vicente Urbino de Freitas (1859-1913). A tese agora apresentada aborda um corpus textual de características singulares, nunca antes coligido nem estudado. Comprova que os textos sobre as figuras criminosas tiveram uma função iminentemente noticiosa, pedagógico-edificante e política, apropriando-se de relatos orais, adotando procedimentos de atestação da veracidade (transcrição de documentos na primeira pessoa, referenciação cronológica, espacial, geográfica dos eventos, alusão às fontes) e incorporando diversas fontes do conhecimento dos crimes, quer de origem popular (geralmente designadas de «musa popular», «tradição»), quer de caráter erudito e teórico-científico («estudo», «estudo social»). Assim, foram analisadas as condições históricas excecionais nas quais as ficções emergiram: as características específicas do seu universo editorial, a apropriação a um público amplo (o formato de coleção, uso de sinopses e de outros elementos gráficos), as regularidades discursivas das obras (ocorrência de determinados dispositivos de organização textual), os procedimentos narrativos (recurso abundante a paratextos com intuito explicativo e aproximação a modalidades ficcionais conhecidas do público da época) e, ainda, as configurações imagéticas inspiradas nos discursos oficiais (influência de ciências e doutrinas epocais emergentes, como a criminologia, a antropologia criminal, a frenologia, a psiquiatria, a sociologia). Em suma, estas edições produzidas em diversos contextos e por um elenco autoral heterogéneo não só viveram da relação com as edições predecessoras, ao longo de gerações, como recriaram e ampliaram as «façanhas» dos transgressores em função de diversos propósitos e fontes: ampla divulgação dos casos criminais, condenação pública dos infratores, análise médico-científica dos sujeitos culpados, especulação política, pressão sobre o foro judiciário, edificação moral do público leitor. Trata-se, sem dúvida, de produções únicas, que erigiram a comemoração dos facínoras e sucessivamente reinscreveram as suas histórias reais na problemática do homem criminal e na consciência ética do seu tempo.