Goals Software Construction Process

Generalized hyper competitiveness in the world markets has determined the need to offer better products to potential and actual clients in order to mark an advantagefrom other competitors. To ensure the production of an adequate product, enterprises need to work on the efficiency and efficacy of their business processes (BPs) by means of the construction of Interactive Information Systems (IISs, including Interactive Multimedia Documents) so that they are processed more fluidly and correctly.The construction of the correct IIS is a major task that can only be successful if the needs from every intervenient are taken into account. Their requirements must bedefined with precision, extensively analyzed and consequently the system must be accurately designed in order to minimize implementation problems so that the IIS isproduced on schedule and with the fewer mistakes as possible. The main contribution of this thesis is the proposal of Goals, a software (engineering) construction process which aims at defining the tasks to be carried out in order to develop software. This process defines the stakeholders, the artifacts, and the techniques that should be applied to achieve correctness of the IIS. Complementarily, this process suggests two methodologies to be applied in the initial phases of the lifecycle of the Software Engineering process: Process Use Cases for the phase of requirements, and; MultiGoals for the phases of analysis and design. Process Use Cases is a UML-based (Unified Modeling Language), goal-driven and use case oriented methodology for the definition of functional requirements. It uses an information oriented strategy in order to identify BPs while constructing the enterprise’s information structure, and finalizes with the identification of use cases within the design of these BPs. This approach provides a useful tool for both activities of Business Process Management and Software Engineering. MultiGoals is a UML-based, use case-driven and architectural centric methodology for the analysis and design of IISs with support for Multimedia. It proposes the analysis of user tasks as the basis of the design of the: (i) user interface; (ii) the system behaviour that is modeled by means of patterns which can combine Multimedia and standard information, and; (iii) the database and media contents. This thesis makes the theoretic presentation of these approaches accompanied with examples from a real project which provide the necessary support for the understanding of the used techniques.

Geração automática de interfaces com o utilizador: uma abordagem baseada em MDA para a plataforma PHP

Os modelos e as técnicas de modelação são, hoje em dia, fundamentais na engenharia de software, devido à complexidade e sofisticação dos sistemas de informação actuais.A linguagem Unified Modeling Language (UML) [OMG, 2005a] [OMG, 2005b] tornou-se uma norma para modelação, na engenharia de software e em outras áreas e domínios, mas é reconhecida a sua falta de suporte para a modelação da interactividade e da interface com o utilizador [Nunes and Falcão e Cunha, 2000].Neste trabalho, é explorada a ligação entre as áreas de engenharia de software e de interacção humano-computador, tendo, para isso, sido escolhido o processo de desenvolvimento Wisdom [Nunes and Falcão e Cunha, 2000] [Nunes, 2001]. O método Wisdom é conduzido por casos de utilização essenciais e pelo princípio da prototipificação evolutiva, focando-se no desenho das interfaces com o utilizador através da estrutura da apresentação, com a notação Protótipos Abstractos Canónicos (PAC) [Constantine and Lockwood, 1999] [Constantine, 2003], e do comportamento da interacção com a notação ConcurTaskTrees (CTT) [Paternò, 1999] [Mori, Paternò, et al., 2004] em UML.É proposto, também, neste trabalho um novo passo no processo Wisdom, sendo definido um modelo específico, construído segundo os requisitos da recomendação Model Driven Architecture (MDA) [Soley and OMG, 2000] [OMG, 2003] elaborada pela organização Object Managent Group (OMG). Este modelo específico será o intermediário entre o modelo de desenho e a implementação da interface final com o utilizador. Esta proposta alinha o método Wisdom com a recomendação MDA, tornando possível que sejam gerados, de forma automática, protótipos funcionais de interfaces com o utilizador a partir dos modelos conceptuais de análise e desenho.Foi utilizada a ferramenta de modelação e de metamodelação MetaSketch [Nóbrega, Nunes, et al., 2006] para a definição e manipulação dos modelos e elementos propostos. Foram criadas as aplicações Model2Model e Model2Code para suportar as transformações entre modelos e a geração de código a partir destes. Para a plataforma de implementação foi escolhida a framework Hydra, desenvolvida na linguagem PHP [PHP, 2006], que foi adaptada com alguns conceitos de modo a suportar a abordagem defendida neste trabalho.

Tábula: uma framework para o desenvolvimento de aplicações REST

O desenvolvimento de aplicações web nos nossos dias é uma área importante, devido à disseminação do acesso à Internet e à utilização do browser como uma aplicação cliente universal. A aplicação web típica em HTML está sendo desafiada por tecnologias que permitem interfaces ricas que comunicam com um backend através de serviços. As ferramentas existentes para criar aplicações web ainda não adoptaram esta abordagem e o suporte existente é omissa em oferecer programadores ferramentas dinâmicas e fáceis de usar. Web Services tradicionais baseados em SOAP e Representacional State Transfer (REST) são alternativas para a comunicação entre o frontend e no backend. O REST ganhou recentemente visibilidade e a sua menor dificuldade de aprendizagem parece adequada para muitas aplicações. No entanto, a falta de normas leva a implementar serviços REST de muitas formas diferentes, mesmo na mesma plataforma, não existindo um acordo comum sobre como descrevê-los. Nesta dissertação, propomos uma nova framework para o desenvolvimento rápido de aplicações baseadas em REST. Para esse efeito, especificações e serviços de administração são apresentadas a fim de resolver os problemas de configuração de uma camada de serviços baseada em REST. Além disso, é apresentada uma nova abordagem para processar os pedidos, permitindo também a aplicação dos princípios AOP. Finalmente, é apresentada a implementação de uma framework que suporte estas especificações. Neste âmbito, temos por objectivo expor as potencialidades dinâmicas desta framework, tendo em vista a maximização da produtividade do programador na criação de aplicações baseadas em REST, minimizando o reinício do servidor e suportando dinamicamente uma ampla gama de mudanças.

Gestão de conhecimento e comunidade de prática: aplicações escolares

Neste trabalho de investigação pretende-se fazer uma análise crítica sobre o que são Comunidades de Prática (CoP), Gestão de Conhecimento e Conhecimento. Nesta análise identificamos ferramentas de gestão de conhecimento a serem aplicadas nas Comunidades de Prática. Como corolário desta investigação, disponibilizamos uma aplicação informática para dinamizar uma comunidade de prática numa escola secundária.

Estudos de microsatélites em humanos: aplicações na identificação de indivíduos, genética de populações, datação de mutações e diagnóstico de doenças

Os microsatélites, também chamados STRs (Short Tandem Repeat), são pequenas sequências de DNA que consistem numa sequência de repetições de um motivo que varia de um a seis pares de bases. Existem em quase todos os cromossomas humanos e podem situar-se nos exões ou nos intrões. Estes últimos são altamente polimórficos e são por isso utilizados na identificação de indivíduos em testes de paternidade e também em estudos de genética de populações. A combinação dos vários genótipos possíveis faz com que cada indivíduo possua um perfil único, que permite a sua identificação. Existem também microsatélites associados a exões ou a regiões promotoras dos genes, normalmente repetições trinucleotídicas CGG/CCG ou CAG/CTG, associados a doenças neurodegenerativas como a síndrome do X-frágil e a doença de Huntington. Neste trabalho caracterizaram-se geneticamente várias populações humanas dos arquipélagos da Madeira, Açores e Cabo Verde. A partir do estudo dos microsatélites do cromossoma Y, foram definidas idades de coalescência que permitiram concluir que as cópias do gene DAZ situado no cromossoma Y são o resultado de um processo evolutivo estando a sua evolução associada a alguns haplogrupos. Verificou-se também a ocorrência de possíveis mutações nos SNPs que definem os haplogrupos, através da comparação dos microsatélites do cromossoma Y dentro de cada haplogrupo, especialmente no haplogrupo E3b. Verificou-se existir uma associação entre o número de repetições CAG e GGC do gene Receptor de Androgénios (AR), situado no cromossoma X, e a infertilidade especialmente quando combinados os dois polimorfismos, parecendo haver um efeito protector dos alelos maiores e alguma susceptibilidade para os alelos menores. Quando se estudou o número de repetições GGC do gene FMR1 em doentes com suspeita de síndrome de X-frágil observaram-se diferenças significativas quando comparadas com a população em geral e com um grupo de sobredotados. Essa diferença deveu-se principalmente à presença do alelo 29 em quase todos os indivíduos do primeiro grupo o que por si só não constitui um factor de risco mas poderá ser uma indicação da associação deste alelo com outra mutação no mesmo gene que possa ser responsável por este fenótipo.

Distribuições hiperbólicas generalizadas: aplicações ao mercado português

O objectivo desta tese é discutir o uso das distribuições hiperbólicas generalizadas como modelo para os retornos logarítmicos de 4 activos do mercado de capitais Português. Os activos em análise são o índice Português PSI 20 e as 3 maiores empresas pertencentes ao PSI 20: PT, EDP e BCP. Os dados são constituidos pelos valores de fecho diário durante mais de 8 anos. Utilizando o software R procederemos à estimação dos parâmetros das distribuições para ajustamento aos dados empíricos. Para medir o grau de ajustamento das distribuições aos dados empíricos usamos os gráficos QQ-plots e 4 distâncias: Kolmogorov-Smirnov, Kuiper, Anderson-Darling e Fajardo-Farias-Ornelas. Os resultados obtidos permitem concluir que o melhor ajustamento é feito pela hiperbólica generalizada e em seguida a distribuição normal inversa gaussiana. Todas as distribuições desta família ajustam-se muito melhor que a distribuição normal. Por último temos uma aplicação ao cálculo do preço de derivados financeiros, nomeadamente a fórmula de uma opção de compra Europeia no modelo discutido.

Equações de diferenças e aplicações

Sistemas dinâmicos são todos os sistemas que evoluem no tempo, qualquer que seja a sua natureza, isto é, sistemas fisícos, biológicos, químicos, sociais, económicos, etc.. Esta evoluçãoo pode ser descrita (modelada) por equaçõess de diferenças, uma vez que esse tempo é muitas vezes medido em intervalos discretos. As equações de diferenças aparecem também quando se estuda métodos para a discretização de equações diferenciais. Assim, este trabalho tem por principal objectivo estudar as soluções de alguns tipos de equações de diferenças. Para isso, começa-se por introduzir o conceito de diferença e a sua relação com as equações de diferenças. Em seguida, determina-se a solução geral das todas as equações lineares de primeira ordem, bem como o estudo do seu comportamento assimptótico. Prossegue-se, desenvolvendo as principais técnicas para determinar a soluçãoo de equações de diferenças lineares de qualquer ordem. Em particular, estudam-se as equações com coeficientes constantes. Depois de se desenvolver a teoria básica dos sistemas lineares de equações de diferenças, particulariza-se aos sistemas lineares autónomos,com apenas duas variáveis dependentes, fazendo assim o estudo do comportamento das soluções no plano de fases. Por fim, utiliza-se a transformada Z como uma ferramenta que permite resolver equações de diferenças, em especial as equações de tipo convolução.

Framework para o desenvolvimento e integração de aplicações de realidade virtual, realidade aumentada e multimédia

Os ambientes virtuais têm sido cada vez mais utilizados nas mais diferentes áreas, quer na medicina, engenharia civil ou até mesmo em áreas terapêuticas. Devido à sua emergente utilização foi estabelecido em parceria com o Museu da Baleia, através de várias reuniões, que seria viável a modelação de cenários virtuais, onde se desenvolvessem animações, com o intuito de que representassem o ciclo de vida das baleias cachalotes. Esta escolha foi efectuada de forma a envolver várias temáticas relacionadas com as baleias cachalotes, desde a migração, os problemas relacionados com o lixo no fundo do mar, etc. De seguida, foi construída uma Framework para incorporação destas animações (vídeos) e realização de actividades utilizando diferentes tipos de médias, Realidade Virtual e Realidade Aumentada, tornando desta forma as actividades mais interactivas, estimulantes e atractivas. Para a execução destas etapas do projecto foi decidido utilizar a ferramenta 3ds Max para a modelação dos objectos que iriam compor os cenários virtuais, bem como a sua animação. Para a implementação da Framework foi decidido utilizar o Adobe Flash visto ser uma ferramenta que permite a incorporação de diferentes tipos de médias, de Realidade Virtual, Realidade Aumentada e possibilita a construção de uma interface simples e atractiva. Esta Framework foi desenvolvida para que no futuro seja possível ser modificada, isto é, para que seja capaz de efectuar a incorporação de outros tipos de conteúdos, assim como a edição dos que já estão implementados.

Novos vectores baseados em dendrímeros com aplicações em terapia antisense

A terapia genética tem se revelado uma ferramenta potente na Medicina, na tentativa de revolucionar o tratamento de várias doenças hereditárias e adquiridas. A introdução de genes em células pretende a expressão estável e prolongada de proteínas com efeitos terapêuticos. O silenciamento de genes, através da terapia genética que faz uso de oligonucleótidos antisense, pequenos RNA de interferência (siRNA) ou ribozimas, visa o decréscimo ou anulação do funcionamento de um gene cuja expressão amplificada, por algum motivo, leva ao desenvolvimento de umapatologia. A internalização de material genético nas células, usualmente, carece de métodos e/ou sistemas de entrega (vectores). Estes podem pertencer a duas categorias, designadamente, métodos virais e métodos não-virais. O primeiro é considerado o mais eficiente, apresentando porém, sérias desvantagens como o risco de carcinogénese. A solução é a utilização de métodos não virais,que podem ser físicos ou químicos. O objectivo principal desta dissertação foi a utilização de dendrímeros para o silenciamento do gene da proteína fluorescente optimizada (EGFP) em células HeLa, previamente modificadas para expressarem esta proteína. Dendrímeros poli(amidoamina) geração 5 (PAMAM G5) modificados com 4 ou 8 moléculas de ácidos gordos de diferentes comprimentos foram complexados com oligonucleótidos antisense. A vantagem que estes apresentam em relação aos dendrímeros nativos é que são capazes de interagir com os lípidos da membrana celular, esperando-se, por isso, uma melhor eficiência de transfecção e efeitos antisense. Isto foi efectivamente verificado, sendo que o nível de silenciamento do gene da EGFP obtido, está directamente relacionado com o aumento da razão NP, o número e o comprimento das cadeias hidrofóbicas. O silencimento de genes tem sofrido grandes avanços, havendo actualmente uma série de ensaios clínicos para a sua utilização no tratamento de doenças como cancros de origem hereditária ou viral, prevendo-se que venha para ficar, juntamente com o silenciamento mediado por siRNA.

Aplicações pedagógicas para terminais móveis

Esta tese descreve o desenvolvimento de duas aplicações de software cujo objetivo consiste em demonstrar o funcionamento de duas ferramentas base de Sistemas Digitais. A primeira aplicação, denominada KarnUMa, pretende demonstrar o funcionamento dos Mapas de Karnaugh, que são utilizados na simplificação de expressões algébricas Booleanas. Esta aplicação está disponível em duas versões com destino a duas plataformas distintas: a primeira KarnUMa, disponível para computador, e a segunda Pocket KarnUMa, disponível para terminais móveis sob a forma de Midlet ou Android Package. A segunda aplicação desenvolvida, denominada ParTec, terá como objetivo demonstrar o funcionamento da Técnica das Partições, que é utilizada na eliminação de estados redundantes nas máquinas de estados. Esta segunda aplicação tem apenas o computador como plataforma de destino. Este documento conta com um levantamento das aplicações atualmente existentes nas áreas de interesse, uma descrição das tecnologias utilizadas no desenvolvimento do software, uma apresentação desse mesmo software descrevendo o que este tem de inovador e por fim uma descrição da forma como as aplicações foram publicadas.

Aplicações de instrumentação virtual em metrologia e qualidade

Com a evolução constante da tecnologia, também a ciência da medição, ou Metrologia, necessita de processos de medição mais exatos e fiáveis, por vezes automatizados, de modo a ser possível fornecer informações mais corretas sobre uma determinada grandeza física. Entre estas informações destaca-se a incerteza de medição, que permite ao utilizador ter uma estimativa sobre qual o valor final da grandeza física medida, que com processos de medição mais complexos, tornam a sua obtenção mais difícil, sendo necessário, por vezes, a utilização de métodos computacionais. Tendo isto em conta, com esta dissertação pretende-se abordar o problema da automatização de processos de medição, bem como da obtenção de incertezas de medição que reflitam a natureza da grandeza física medida através de métodos computacionais. De modo a automatizar um processo de medição, mais concretamente da calibração de manómetros, utilizou-se o LabView para criar um instrumento virtual que permitisse ao utilizador, de forma simples e intuitiva, realizar o procedimento de calibração. Também se realizou outro instrumento virtual, de modo a permitir a obtenção simultânea de dados provenientes de dois equipamentos diferentes. Relativamente às incertezas de medição, utilizou-se o Método de Monte Carlo, implementado em MATLAB e Excel, de modo a obter o valor destas para a calibração de manómetros, de uma câmara geradora de humidade relativa e de um higrómetro de ponto de orvalho, sendo que os dois últimos possuem um modelo matemático complexo, sendo a análise analítica mais complexa e morosa. Tendo em conta os resultados obtidos, é possível afirmar que a criação de instrumentação virtual permite a adaptação, de uma forma simples, de vários processos de medição, tornando-os mais eficientes para além de reduzirem o erro do operador. Por outro lado, também é possível observar que a utilização de métodos computacionais, neste caso o Método de Monte Carlo, para estudo de incertezas de medição é uma mais valia, comparativamente ao GUM, permitindo umaa análise rápida e fiável de modelos matemáticos complexos.

Aplicações da trigonometria do 3º Ciclo na astronomia

Este relatório foi escrito no âmbito da disciplina de Prática de Ensino Supervisionado, unidade curricular pertencente ao Mestrado em Ensino da Matemática no 3º Ciclo do Ensino Básico e Secundário, durante o ano letivo de 2012/2013. Neste relatório, de forma resumida, descrevo todo o trabalho desenvolvido por mim e pelo grupo de estágio aquando da nossa formação numa escola básica e secundária da Região Autónoma da Madeira. Apresento também um enquadramento teórico que, de forma breve, corrobora as minhas ideias sobre o ensino da Matemática e o conhecimento da Ciência. Acredito que esta disciplina pode ser ensinada e aprendida com recurso a estratégias que englobam outras Ciências. O propósito está em, não só aprender Matemática, mas também desenvolver o raciocínio, pensamento crítico e interesse pelas Ciências de um modo geral nos alunos. Desta forma, neste relatório poder-se-á encontrar três métodos de ensino-aprendizagem (visitas de estudo, atividades investigativas e resolução de problemas) que utilizei nas aulas de Matemática, com o intuito de os alunos aprenderem Trigonometria com a Astronomia. O gosto e interesse pela Matemática e pelas Ciências desvanecem a cada dia que passa em grande parte dos alunos e caso os professores não encontrem estratégias para inverter esta tendência, corremos o sério risco de estar a criar gerações cientificamente iliteradas. Assim, neste relatório procurei verificar como é que a Astronomia poderá contribuir para a aprendizagem da Matemática e como é que, no ensino desta disciplina, a Astronomia poderá contribuir para uma melhor compreensão do mundo por parte dos alunos.

A mediação entre o público e o museu através das ferramentas informáticas de utilizadores: o caso do Museu de História Natural do Funchal

Este projeto estuda as possibilidades de utilização das tecnologias de Informação e Comunicação (TIC) e desenvolve uma proposta de divulgação virtual do Museu de História Natural do Funchal [MHN-Funchal], a partir da criação de artefactos digitais. De emprego comum por parte de técnicos de museus, as ferramentas informáticas poderão ser criadas sem recurso a especialistas na matéria, o que se afigura, desde logo uma mais-valia. Para responder às perguntas - como e porquê usar ferramentas informáticas de utilizadores, na organização de visitas guiadas num museu? - Estudámos o que pensam os peritos sobre este assunto. Completamos essa investigação com um inquérito aos visitantes. Comparamos o Museu Virtual e o Museu físico argumentando com as vantagens da utilização destes dois conceitos complementares. No final implementaremos um protótipo como prova das nossas conclusões.

Betões especiais: aplicações em edifícios

Atualmente o betão é o material estrutural mais utilizado a nível mundial no âmbito da construção civil. É composto por água, agregados grossos e finos, com ou sem adjuvantes, cimento e adições. Atendendo ao facto de a sua utilização ter vindo a ser bastante significativa, ao mesmo tempo torna-se uma solução dispendiosa, dada a presença de alguns dos seus constituintes, principalmente o cimento Portland. O aparecimento de novos componentes, capazes de substituírem parte do cimento e de aumentarem as capacidades do betão para responder às expectativas, nomeadamente, as adições e adjuvantes, induziram ao surgimento de betões mais resistentes, duradouros e capazes de responderem melhor às condições que lhes são exigidas em projeto. Neste contexto, desenvolveu-se o presente trabalho, com o objetivo de estudar as soluções em betão com maior viabilidade económica. Ao longo do presente estudo, pretende-se avaliar a possibilidade de recorrer à utilização de betões especiais para a construção de alguns elementos estruturais de edifícios. Nesta perspetiva, numa fase inicial do trabalho, apresenta-se uma breve introdução histórica sobre a evolução do betão, desde a sua descoberta até à atualidade, e, em seguida, discutem-se as vantagens e as desvantagens referentes a cada betão quando aplicado em diferentes elementos estruturais. Posteriormente, é feita uma breve análise, comparação e discussão de resultados referentes aos custos atualmente praticados em Portugal Continental e na Ilha da Madeira relativos a cada tipo de betão. A dissertação termina com a análise dos resultados obtidos.