Quantitative assessment of modularity of caesarJ components

Dissertação apresentada no âmbito do Mestrado em Engenharia Informática para obtenção do grau de Mestre em Engenharia Informática

Implementação de uma linguagem concorrente com tipos comportamentais

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Integração modular em visualizadores médicos e aposição da marcação CE do Dispositivo Médico

Neste documento ´e feita a descrição detalhada da integração modular de um script no software OsiriX. O objectivo deste script ´e determinar o diâmetro central da artéria aorta a partir de uma Tomografia Computorizada. Para tal são abordados conceitos relacionados com a temática do processamento de imagem digital, tecnologias associadas, e.g., a norma DICOM e desenvolvimento de software. Como estudo preliminar, são analisados diversos visualizadores de imagens médica, utilizados para investigação ou mesmo comercializados. Foram realizadas duas implementações distintas do plugin. A primeira versão do plugin faz a invocação do script de processamento usando o ficheiro de estudo armazenado em disco; a segunda versão faz a passagem de dados através de um bloco de memória partilhada e utiliza o framework Java Native Interface. Por fim, é demonstrado todo o processo de aposição da Marcação CE de um dispositivo médico de classe IIa e obtenção da declaração de conformidade por parte de um Organismo Notificado. Utilizaram-se os Sistemas Operativos Mac OS X e Linux e as linguagens de programação Java, Objective-C e Python.

Um middleware independente da plataforma para computação paralela

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Single operation multiple data - paralelismo de dados ao nível da sub-rotina

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Tolerância a falhas com base em comutação de controladores – implementação em autómatos programáveis

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

EWDY: uma plataforma online para planeamento de viagens

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Novos Media e Práticas Web

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.

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.

Reverse engineering of web applications

The MAP-i Doctoral Program of the Universities of Minho, Aveiro and Porto

Sistema de Inscrição para Prova de Ingresso Online

Este trabalho visa apresentar o desenvolvimento de um Sistema de Inscrição Para a Prova de Ingresso Online, dando um especial enfoque à inscrição e selecção dos candidatos para a prova de ingresso na Uni-CV. A situação actual da gestão de inscrição para prova de ingresso era efectuada manualmente, sendo que isto causa alguns constrangimentos. Considera-se que deve primar para uma gestão mais eficiente. Neste sentido, define-se como objectivo o desenvolvimento desse Sistema de Inscrição para Prova de Ingresso Online na Uni-CV. Para o efeito, analisa-se neste trabalho o sistema actual numa perspectiva de concepção de uma aplicação que atenda as necessidades específicas e reais desta Instituição. Várias abordagens foram conceptualmente discutidas num referencial teórico para elaboração do sistema, tendo sido privilegiados os conhecimentos apreendidos durante a formação académica designadamente nas disciplinas Técnicas de Programação, Base de Dados, Sistemas de Informação, Desenvolvimento de Projectos Informáticos, Desenvolvimento avançado de aplicações internet, Planeamento e gestão de projectos, Projectos e Metodologias de Desenvolvimento de Sistemas de Informação. A análise do sistema e a geração de documentação da base de dados foram realizadas com os recursos das ferramentas de desenvolvimento. Para o desenvolvimento do sistema foram utilizados as linguagens de programação PHP, HTML, UML. Para a base de dados que elegeu-se o MySQL. Fundamentou-se essa opção, pelo facto de serem tecnologias modernas e que proporcionam ao sistema uma grande fiabilidade e também porque a Instituição utiliza-se as mesmas tecnologias, o que facilita as coisas.

Sistema de Gestão de Conteúdos – Estudo de Caso “Projecto de Desenvolvimento do Site do Ministério da Saúde”

Este trabalho foi desenvolvido no âmbito do Curso de Licenciatura em Informática – Ramo Educacional e tem por objecto estudar e avaliar o Sistema de Gestão de Conteúdos no Projecto de Desenvolvimento do Site do Ministério da Saúde cujo o objectivo é a implementação de um sistema de informação para a divulgação das actividades realizadas pelo Ministério da Saúde de Cabo Verde. Com o desenvolvimento das tecnologias de informação e comunicação, uma das mais populares formas de divulgação da informação tem sido através de criação de sites e aplicações web. Nessa óptica torna-se de extrema importância que uma instituição como o Ministério da Saúde disponha de um sistema de recolha, tratamento e divulgação de informação utilizando as tecnologias de informação e comunicação. No primeiro momento do trabalho fiz-se uma analise das tecnologias de comunicação, a web, os protocolos utilizados, linguagens de programação, base de dados MYSQL, servidores web, e especialmente o Sistema de Gestão de Conteúdos, seguido de um levantamento dos requisitos e uma análise das necessidades em matéria de infra-estruturas tecnológicas, e escolha de ferramentas de desenvolvimento de sites. Passou-se á recolha de informações através de contactos com todos os departamentos e estruturas do Ministério da Saúde. Segue-se a modelação e análise das informações de acordo com as estruturas dessa Instituição. Seguiu-se para a codificação que consiste praticamente na instalação e configuração dos elementos do joomla que são os templates, componente, módulos, mambots. Após as configurações, fez-se as ligações ou links para os documentos e páginas do site e finalmente os testes do site. Serviram de apoio nesse trabalho disciplinas do curso como Organização Interactiva, Sistemas de Informação, Metodologias de Sistema de Informação, Desenho Software, Desenvolvimentos de Projectos Informáticos e Base de Dados. Com o desenvolvimento deste espaço passa-se a divulgar e publicar todas as actividades relacionadas com a saúde, nomeadamente campanhas de sensibilização e informação, publicação de documentos, dados estatísticos, fóruns de discussões sobre a saúde, inquéritos on-line, entre outros. De salientar que o site neste momento se encontra funcionando e com uma grande audiência.

Sistema de gestão para uma clínica dentária

Os sistemas de gestão tornaram-se um dos principais componentes dos sistemas de informação das empresas. Levando em consideração a importância de as empresas terem um sistema de gestão da informação, este projecto apresenta um protótipo de um sistema para uma clínica odontológica. O projecto foi realizado seguindo a metodologia de engenharia de software. Para o desenvolvimento do protótipo no padrão de sistemas web, foram utilizadas as linguagens de programação Html, PHP e Java, banco de dados MySQL, UML para a modelação do sistema e Joomla para a gestão de conteúdos. Na análise do sistema foram identificados os requisitos funcionais e os requisitos não funcionais, foram desenvolvidos os casos de usos necessários, os diagramas de casos de uso, diagramas de sequência e de classes. Este sistema deve ser capaz de garantir a segurança dos dados, atendimento de qualidade aos pacientes, reduzir custos operacionais e melhorar a qualidade de funcionamento, proporcionando assim ao profissional da área maior controlo sobre suas actividades.

Adaptivity in programming languages

A programming style can be seen as a particular model of shaping thought or a special way of codifying language to solve a problem. An adaptive device is made up of an underlying formalism, for instance, an automaton, a grammar, a decision tree, etc., and an adaptive mechanism, responsible for providing features for self-modification. Adaptive languages are obtained by using some programming language as the device’s underlying formalism. The conception of such languages calls for a new programming style, since the application of adaptive technology in the field of programming languages suggests a new way of thinking. Adaptive languages have the basic feature of allowing the expression of programs which self-modifying through adaptive actions at runtime. With the adaptive style, programming language codes can be structured in such a way that the codified program therein modifies or adapts itself towards the needs of the problem. The adaptive programming style may be a feasible alternate way to obtain self-modifying consistent codes, which allow its use in modern applications for self-modifying code.

Recuperação com base em Checkpointing : uma abordagem orientada a objetos

Independentemente do modelo de programação adotado, no projeto e implementação de aplicações de alta disponibilidade, faz-se necessário usar procedimentos de tolerância a falhas. Dentre as atividades que trazem consigo interesse de pesquisa na área de Tolerância a Falhas, estão os mecanismos de recuperação em um sistema computacional. Do ponto de vista prático, estes mecanismos buscam manter próximo do mínimo o tempo total de execução de aplicações computacionais de longa duração, ao mesmo tempo em que as preparam para não sofrerem perdas significativas de desempenho, em caso de falhas. Paralelamente à evolução dos sistemas computacionais, foi possível observar também a evolução das linguagens de programação, principalmente as que utilizam o paradigma orientado a objetos. O advento da área de tolerância a falhas na orientação a objetos resultou em novos problemas na atividade de recuperação quanto aos mecanismos de salvamento de estados e retomada da execução, principalmente no que se refere às dificuldades de gerenciamento e controle sobre a alocação de objetos. Entretanto, observa-se que a complexidade de implementação dos mecanismos de recuperação, por parte dos programadores, exige deles conhecimentos mais especializados para o salvamento dos estados da aplicação e para a retomada da execução. Portanto, a simplificação do trabalho do programador, através do uso de uma biblioteca de checkpointing que implemente os mecanismos de salvamento de estados e recuperação é o ponto focal deste trabalho. Diante do contexto exposto, nesta dissertação, são definidas e implementadas as classes de uma biblioteca que provê mecanismos de checkpointing e recuperação. Esta biblioteca, denominada de Libcjp, visa aprimorar o processo de recuperação de aplicações orientadas a objetos escritas na linguagem de programação Java. Esta linguagem foi escolhida para implementação devido à presença dos recursos de persistência e serialização. Para a concepção do trabalho, são considerados ambos os cenários no paradigma orientado a objetos: objetos centralizados e distribuídos. São utilizados os recursos da API de serialização Java e a tecnologia Java RMI para objetos distribuídos. Conclui-se o trabalho com a ilustração de casos de uso através de diversos exemplos desenvolvidos a partir de seus algoritmos originais inicialmente, e incrementados posteriormente com os mecanismos de checkpointing e recuperação. Os componentes desenvolvidos foram testados quanto ao cumprimento dos seus requisitos funcionais. Adicionalmente, foi realizada uma análise preliminar sobre a influência das ações de checkpointing nas características de desempenho das aplicações.