Adaptação da abordagem theme para linhas de produtos de software

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

Adaptação da framework i* para linhas de produtos

Dissertação de Mestrado em Engenharia Informática

Adaptar abordagem KAOS para especificar linhas de produtos de software

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção de grau de Mestre

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.

Culturas de células em suspensão de medicago truncatula expressando L-PGDS humana: estabelecimento de linhas transgénicas estáveis e purificação do produto recombinante

Dissertação para obtenção do Grau de Mestre em Biotecnologia

Software de sistema para um intercomunicador de veículos militares

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

Factores que influenciam a mortalidade de abetarda e sisão por colisão em linhas de muito alta tensão. Análises às escalas local e regional e implicações para o Ordenamento do Território

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Ordenamento do Território e Planeamento Ambiental

Novas linhas celulares humanas para produção de adenovírus com aplicação em terapia génica

Dissertação apresentada para a obtenção do Grau de Mestre em Genética Molecular e Biomedicina, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Gestão de produto PREMFIRE – sistema de informação geográfica 3D para apoio ao combate a incêndios.

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica.

Implementação do sistema SMED nas linhas de produção na “José Maria da Fonseca Vinhos, SA”

Dissertação para obtenção do Grau de Mestre em Tecnologia e Segurança Alimentar

Controlo das linhas de produção: bolachas recheadas e milfolhas

Dissertação para obtenção do Grau de Mestre em Tecnologia e Segurança Alimentar

Controlo das linhas de produção bolos e tortas

Dissertação para obtenção do Grau de Mestre em Tecnologia e Segurança Alimentar

Specification of software architecture reconfiguration

In the past years, Software Architecture has attracted increased attention by academia and industry as the unifying concept to structure the design of complex systems. One particular research area deals with the possibility of reconfiguring architectures to adapt the systems they describe to new requirements. Reconfiguration amounts to adding and removing components and connections, and may have to occur without stopping the execution of the system being reconfigured. This work contributes to the formal description of such a process. Taking as a premise that a single formalism hardly ever satisfies all requirements in every situation, we present three approaches, each one with its own assumptions about the systems it can be applied to and with different advantages and disadvantages. Each approach is based on work of other researchers and has the aesthetic concern of changing as little as possible the original formalism, keeping its spirit. The first approach shows how a given reconfiguration can be specified in the same manner as the system it is applied to and in a way to be efficiently executed. The second approach explores the Chemical Abstract Machine, a formalism for rewriting multisets of terms, to describe architectures, computations, and reconfigurations in a uniform way. The last approach uses a UNITY-like parallel programming design language to describe computations, represents architectures by diagrams in the sense of Category Theory, and specifies reconfigurations by graph transformation rules.

Biomimetismo e Ecodesign

Esta tese tem como objectivo o desenvolvimento de uma ferramenta baseada na WEB que combine informação sobre ecodesign com a selecção de ideias inspiradas na natureza. Trata-se de uma base para desenvolvimentos futuros, em que se apresentam linhas orientadoras com a intenção de apoiar os designers na escolha de opções criativas para o design dos seus produtos. Com o crescimento das preocupações ambientais, a adopção de práticas e comportamentos benéficos ambientalmente, como o ecodesign, tem conduzido ao desenvolvimento de um pensamento de ciclo de vida, relativamente a tudo o que é produzido pelo Homem. Esta abordagem holística do processo de desenvolvimento do produto deve ser considerada na criação de novos produtos. Para tal, o processo criativo do designer deve ser informado ambientalmente e deve ser devidamente induzido através de ferramentas adequadas. O protótipo de ferramenta desenvolvido pretende constituir um alerta para uma área com grande potencial e com grandes vantagens do ponto de vista ambiental e de responsabilização social. Esse alerta realiza-se através da incitação para o uso de analogias com o mundo natural contribuindo assim para a divulgação e efectiva aplicação do Biomimetismo no design de novos produtos.

Moodle sobre Moodle - caso de estudo sobre um curso breve, a distância, com tutoria online

Os autores criaram e vêm desenvolvendo um curso para aprendizagem da utilização do Moodle, software online e livre de gestão da aprendizagem e de trabalho colaborativo. Face ao crescimento da utilização do Moodle em Portugal e ao interesse suscitado entre professores e formadores, considerou-se que o cenário era favorável à oferta de um curso breve (cerca de 2 semanas, 21 horas de trabalho dos formandos) que recorresse ao Moodle num modelo de ensino a distância. A interacção, disponibilização de recursos e realização de actividades ocorreram quer de forma assíncrona, usando o Moodle, quer de forma síncrona, com comunicação por voz ou mensagens escritas utilizando o software VoIP Skype. O feedback dado pelos participantes que terminaram o curso sugere que as opções tomadas a nível do modelo de curso breve, estrutura do curso, recursos de aprendizagem e tipo de actividades apresentados, e ainda um elemento de intensa tutoria síncrona, criaram um clima positivo entre tutores e formandos, favorecendo o ambiente informal de aprendizagem e motivando formandos e tutores. Aspectos como avaliação, alguns dos recursos, carga horária sobre tutores e formandos, facilitação da interacção e apoio na concretização do produto final do curso podem ser melhorados, aumentando a eficiência e as aprendizagens no curso. Futuras edições terão estes elementos em conta, incorporarando a experiência dos autores e o feedback dos formandos.